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