golang.org/x/tools@v0.21.0/cmd/present/static/article.css (about) 1 body { 2 margin: 0; 3 font-family: Helvetica, Arial, sans-serif; 4 font-size: 16px; 5 } 6 pre, 7 code { 8 font-family: Menlo, monospace; 9 font-size: 14px; 10 } 11 pre { 12 line-height: 18px; 13 margin: 0; 14 padding: 0; 15 } 16 a { 17 color: #375eab; 18 text-decoration: none; 19 } 20 a:hover { 21 text-decoration: underline; 22 } 23 p, 24 ul, 25 ol { 26 margin: 20px; 27 } 28 29 h1, 30 h2, 31 h3, 32 h4 { 33 margin: 20px 0; 34 padding: 0; 35 color: #375eab; 36 font-weight: bold; 37 } 38 h1 { 39 font-size: 18px; 40 padding: 2px 5px; 41 } 42 h2 { 43 font-size: 16px; 44 } 45 h3 { 46 font-size: 16px; 47 } 48 h3, 49 h4 { 50 margin: 20px 5px; 51 } 52 h4 { 53 font-size: 16px; 54 } 55 56 div#heading { 57 margin: 0 0 10px 0; 58 padding: 21px 0; 59 font-size: 20px; 60 font-weight: bold; 61 } 62 63 div#heading .author { 64 padding-top: 10px; 65 font-size: 14px; 66 font-weight: normal; 67 } 68 69 div#topbar { 70 } 71 72 body { 73 text-align: center; 74 } 75 div#page { 76 width: 100%; 77 } 78 div#page > .container, 79 div#topbar > .container { 80 text-align: left; 81 margin-left: auto; 82 margin-right: auto; 83 padding: 0 20px; 84 width: 900px; 85 } 86 div#page.wide > .container, 87 div#topbar.wide > .container { 88 width: auto; 89 } 90 91 div#footer { 92 text-align: center; 93 color: #666; 94 font-size: 14px; 95 margin: 40px 0; 96 } 97 98 .author p { 99 margin: 0; 100 padding: 0 20px; 101 } 102 103 div.code, 104 div.output { 105 margin: 0; 106 } 107 108 pre { 109 margin: 20px 20px 20px 40px; 110 -webkit-border-radius: 5px; 111 -moz-border-radius: 5px; 112 border-radius: 5px; 113 } 114 115 div.output pre { 116 padding: 10px; 117 } 118 119 pre { 120 background: white; 121 } 122 div.output pre { 123 background: black; 124 } 125 div.output .stdout pre { 126 color: #e6e6e6; 127 } 128 div.output .stderr pre { 129 color: rgb(244, 74, 63); 130 } 131 div.output .system pre { 132 color: rgb(255, 209, 77); 133 } 134 135 .buttons { 136 margin-left: 20px; 137 } 138 div.output .buttons { 139 margin-left: 0; 140 margin-bottom: 10px; 141 } 142 143 #toc { 144 float: right; 145 margin: 0px 10px; 146 padding: 10px; 147 border: 1px solid #e5ecf9; 148 background-color: #eee; 149 box-shadow: 3px 3px 2px #888888; 150 151 max-width: 33%; 152 153 -webkit-border-radius: 5px; 154 -moz-border-radius: 5px; 155 border-radius: 5px; 156 } 157 158 #tochead { 159 font-weight: bold; 160 font-variant: small-caps; 161 font-size: 100%; 162 text-align: center; 163 padding-bottom: 5px; 164 } 165 166 #toc ul, 167 #toc a { 168 list-style-type: none; 169 padding-left: 0px; 170 color: black; 171 margin: 0px; 172 } 173 174 ul.toc-inner a { 175 padding-left: 10px !important; 176 } 177 178 @media print { 179 .no-print, 180 .no-print * { 181 display: none !important; 182 } 183 }