style.css (2842B) (plain)
1 @font-face { 2 font-family: "k.iosevka"; 3 font-style: normal; 4 font-weight: normal; 5 src: url(k.iosevka.woff2) format("woff2"); 6 font-display: swap; 7 } 8 9 @font-face { 10 font-family: "k.iosevka"; 11 font-style: normal; 12 font-weight: bold; 13 src: url(k.iosevka.bold.woff2) format("woff2"); 14 font-display: swap; 15 } 16 17 html { 18 height: 100%; 19 font-size: 16px; 20 } 21 22 html, pre, code { 23 font-family: "k.iosevka", monospace; 24 } 25 26 @media all and (min-width: 900px) { 27 html { 28 font-size: 17px; 29 } 30 } 31 32 ::selection { 33 background-color: #c1feae; 34 } 35 36 body { 37 color: #000; 38 background-color: #fff; 39 max-width: 60rem; 40 padding: 1rem 1rem; 41 margin: auto; 42 } 43 44 @media all and (max-width: 500px) { 45 body { 46 padding: 1rem 0; 47 } 48 } 49 50 #content { 51 line-height: 1.45; 52 } 53 54 h1, h2, h3, h4, h5, h6 { 55 font-size: 1em; 56 margin: 0; 57 } 58 59 img, h1, h2 { 60 vertical-align: middle; 61 } 62 63 img { 64 border: 0; 65 } 66 67 a { 68 color: #1d8240; 69 text-decoration: none; 70 } 71 72 a:hover, 73 #header a:hover { 74 font-weight: bold; 75 text-decoration: underline; 76 } 77 78 a.h:hover, 79 a.i:hover, 80 a.d:hover { 81 font-weight: normal; 82 text-decoration: none; 83 } 84 85 a:focus { 86 outline-width: 2px; 87 outline-style: dashed; 88 outline-color: #00b374; 89 } 90 91 a:target { 92 font-weight: bold; 93 background-color: #e6f6e6; 94 } 95 96 .url a { 97 word-break: break-all; 98 } 99 100 #blob a { 101 color: #777; 102 margin-right: 0.5em; 103 } 104 105 #blob a:hover { 106 color: #1d8240; 107 font-weight: bold; 108 text-decoration: none; 109 } 110 111 #plain { 112 float:right; 113 } 114 115 /* nav */ 116 .previous a { 117 color: #777; 118 display: inline-block; 119 } 120 121 .previous a:after { 122 display: inline-block; 123 color: #777; 124 content: '>'; 125 font-size: 100%; 126 font-weight: bold; 127 padding: 0 3px; 128 } 129 130 131 table thead td { 132 font-weight: bold; 133 } 134 135 table td { 136 padding: 0 0.4em; 137 } 138 139 #content table td { 140 vertical-align: top; 141 white-space: nowrap; 142 } 143 144 #branches tr:hover td, 145 #tags tr:hover td, 146 #index tr:hover td, 147 #log tr:hover td, 148 #files tr:hover td { 149 background-color: #f0fff0; 150 } 151 152 /* description */ 153 #index tr td:nth-child(2), 154 #tags tr td:nth-child(3), 155 #branches tr td:nth-child(3), 156 #log tr td:nth-child(2) { 157 white-space: normal; 158 max-width: 60ch; 159 min-width: 25ch; 160 -webkit-hyphens: auto; 161 -ms-hyphens: auto; 162 hyphens: auto; 163 } 164 165 td.num { 166 text-align: right; 167 } 168 169 .desc { 170 color: #777; 171 } 172 173 hr { 174 border: 0; 175 border-top: 1px dashed #444; 176 height: 1px; 177 } 178 179 p { 180 margin: 0 0.5em; 181 } 182 183 #content, 184 pre { 185 overflow-x: auto; 186 padding-bottom: 0.5em; 187 } 188 189 pre { 190 overflow-y: hidden; 191 line-height: 1.23; 192 -moz-tab-size: 2; 193 tab-size: 2; 194 } 195 196 pre a.h { 197 color: #00a; 198 } 199 200 .A, 201 span.i, 202 pre a.i { 203 color: #070; 204 } 205 206 .D, 207 span.d, 208 pre a.d { 209 color: #e00; 210 } 211 212 a.line, 213 .prompt { 214 user-select: none; 215 } 216 217 footer, 218 footer a { 219 color: #444; 220 } 221 222 footer a { 223 text-decoration: underline; 224 } 225 226 footer pre { 227 margin-left: 0.5em; 228 } 229 230 @media all and (max-width: 810px) { 231 footer { 232 display: none; 233 } 234 }