1 /* copied from $GOROOT/doc/style.css */
5 font-family: Helvetica, Arial, sans-serif;
10 font-family: Menlo, monospace;
20 pre .highlight-comment,
21 pre .selection-highlight,
22 pre .selection-highlight-comment {
26 pre .selection-comment {
36 .exampleHeading .text {
38 text-decoration: none;
41 .exampleHeading .text:hover {
42 text-decoration: underline;
54 -webkit-border-radius: 5px;
55 -moz-border-radius: 5px;
111 text-decoration: none;
123 div#topbar > .container {
149 text-decoration: none;
152 -webkit-border-radius: 5px;
153 -moz-border-radius: 5px;
158 border: 1px solid #375eab;
184 div#menu > input.inactive {