style.css (1351B)
1html { 2 overflow-y: scroll; 3} 4body { 5 background-color: #fff; 6 color: #000; 7 font-family: sans-serif; 8 margin: 0; 9 padding: 1ex; 10} 11/* HTML5 semantic tags: some (older) browsers display this inline by default */ 12article, figcaption, figure, header, main, nav { 13 display: block; 14} 15/* center images */ 16img { 17 display: block; 18 margin: 0 auto; 19} 20table, img { 21 border: 0; 22} 23hr { 24 border: 0; 25 border-bottom: 3px solid #aaa; 26 height: 3px; 27} 28h1 { 29 font-size: 140%; 30} 31h2 { 32 font-size: 120%; 33} 34h3 { 35 font-size: 120%; 36} 37h1, 38h1 a, 39h1 a:visited, 40h2, 41h2 a, 42h2 a:visited, 43h3, 44h3 a, 45h3 a:visited, 46h1 a:hover, 47h2 a:hover, 48h3 a:hover { 49 color: inherit; 50 text-decoration: none; 51} 52table tr td { 53 padding: 2px 10px 2px 0px; 54} 55pre { 56 margin: 0; 57} 58code { 59 background-color: #eee; 60 border: 3px solid #aaa; 61 display: block; 62 font-family: monospace; 63 overflow-x: auto; 64 padding: 5px; 65 word-wrap: normal; 66} 67#menu td { 68 padding: 1ex 0; 69} 70#main { 71 border-top: 3px solid #aaa; 72} 73#menuwrap, 74#menu, 75#main { 76 margin: 0px auto; 77 max-width: 80ex; 78} 79#menu a { 80 font-weight: bold; 81 vertical-align: middle; 82} 83.hidden { 84 display: none; 85} 86@media (prefers-color-scheme: dark) { 87 body { 88 background-color: #000; 89 color: #bdbdbd; 90 } 91 code { 92 background-color: #111; 93 border-color: #222; 94 } 95 hr { 96 border-color: #222; 97 } 98 a { 99 color: #56c8ff; 100 } 101 #main { 102 border-top: 3px solid #222; 103 } 104}