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