1/* copied from $GOROOT/doc/style.css */
2
3body {
4	margin: 0;
5	font-family: Helvetica, Arial, sans-serif;
6	font-size: 16px;
7}
8pre,
9code {
10	font-family: Menlo, monospace;
11	font-size: 14px;
12}
13pre {
14	line-height: 18px;
15}
16pre .comment {
17	color: #375EAB;
18}
19pre .highlight,
20pre .highlight-comment,
21pre .selection-highlight,
22pre .selection-highlight-comment {
23	background: #FFFF00;
24}
25pre .selection,
26pre .selection-comment {
27	background: #FF9632;
28}
29pre .ln {
30	color: #999;
31}
32body {
33	color: #222;
34}
35a,
36.exampleHeading .text {
37	color: #375EAB;
38	text-decoration: none;
39}
40a:hover,
41.exampleHeading .text:hover {
42	text-decoration: underline;
43}
44p,
45pre,
46ul,
47ol {
48	margin: 20px;
49}
50pre {
51	background: #e9e9e9;
52	padding: 10px;
53
54	-webkit-border-radius: 5px;
55	-moz-border-radius: 5px;
56	border-radius: 5px;
57}
58
59h1,
60h2,
61h3,
62h4,
63.rootHeading {
64	margin: 20px 0;
65	padding: 0;
66	color: #375EAB;
67	font-weight: bold;
68}
69h1 {
70	font-size: 24px;
71}
72h2 {
73	font-size: 20px;
74	background: #E0EBF5;
75	padding: 2px 5px;
76}
77h3 {
78	font-size: 20px;
79}
80h3,
81h4 {
82	margin: 20px 5px;
83}
84h4 {
85	font-size: 16px;
86}
87
88dl {
89	margin: 20px;
90}
91dd {
92	margin: 2px 20px;
93}
94dl,
95dd {
96	font-size: 14px;
97}
98div#nav table td {
99	vertical-align: top;
100}
101
102div#heading {
103	float: left;
104	margin: 0 0 10px 0;
105	padding: 21px 0;
106	font-size: 20px;
107	font-weight: normal;
108}
109div#heading a {
110	color: #222;
111	text-decoration: none;
112}
113
114div#topbar {
115	background: #E0EBF5;
116	height: 64px;
117}
118
119body {
120	text-align: center;
121}
122div#page,
123div#topbar > .container {
124	clear: both;
125	text-align: left;
126	margin-left: auto;
127	margin-right: auto;
128	padding: 0 20px;
129	width: 900px;
130}
131div#page.wide,
132div#topbar > .wide {
133	width: auto;
134}
135div#plusone {
136	float: right;
137}
138
139div#footer {
140	color: #666;
141	font-size: 14px;
142	margin: 40px 0;
143}
144
145div#menu > a,
146div#menu > input {
147	padding: 10px;
148
149	text-decoration: none;
150	font-size: 16px;
151
152	-webkit-border-radius: 5px;
153	-moz-border-radius: 5px;
154	border-radius: 5px;
155}
156div#menu > a,
157div#menu > input {
158	border: 1px solid #375EAB;
159}
160div#menu > a {
161	color: white;
162	background: #375EAB;
163}
164
165div#menu {
166	float: right;
167	min-width: 590px;
168	padding: 10px 0;
169	text-align: right;
170}
171div#menu > a {
172	margin-right: 5px;
173	margin-bottom: 10px;
174
175	padding: 10px;
176}
177div#menu > input {
178	position: relative;
179	top: 1px;
180	width: 60px;
181	background: white;
182	color: #222;
183}
184div#menu > input.inactive {
185	color: #999;
186}
187