style.css (1282B) - raw
1 body { 2 font-size: 0.8rem; 3 font-family: monospace; 4 max-width: 125ch; 5 width: max-content; 6 } 7 8 h1, h2, h3, h4, h5, h6 { 9 margin: 0; 10 } 11 12 img, h1, h2 { 13 vertical-align: middle; 14 } 15 16 img { 17 border: 0; 18 } 19 20 a:target { 21 background-color: #eee; 22 } 23 24 a.d, 25 a.h, 26 a.i, 27 a.line { 28 text-decoration: none; 29 } 30 31 article img { 32 max-width: 100%; 33 } 34 35 table thead td { 36 font-weight: bold; 37 } 38 39 table td { 40 padding: 0 0.4em; 41 } 42 43 #content table td { 44 vertical-align: top; 45 } 46 47 #branches tr:hover td, 48 #tags tr:hover td, 49 #index tr:hover td, 50 #log tr:hover td, 51 #files tr:hover td { 52 background-color: #eee; 53 } 54 55 #index tr td:nth-child(2), 56 #tags tr td:nth-child(3), 57 #branches tr td:nth-child(3), 58 #log tr td:nth-child(2) { 59 white-space: normal; 60 } 61 62 #log tr td:nth-child(3) { 63 max-width: 35ch; 64 } 65 66 #log tr td:nth-child(2) { 67 max-width: 65ch; 68 } 69 70 .desc { 71 color: #555; 72 margin: 0.5em 0; 73 } 74 75 hr { 76 border: 0; 77 border-top: 1px solid #555; 78 height: 1px; 79 } 80 81 pre a.h { 82 color: #555; 83 } 84 85 .A, 86 span.i, 87 pre a.i { 88 color: #00A000; 89 } 90 91 .D, 92 span.d, 93 pre a.d { 94 color: #A00000; 95 } 96 97 pre a.h:hover, 98 pre a.i:hover, 99 pre a.d:hover { 100 text-decoration: none; 101 } 102 103 .clone { 104 padding: 0.25em 0.5em; 105 border: 1px solid #555; 106 border-radius: 5px; 107 width: max-content; 108 margin: 0.5em 0; 109 } 110 111 .clone a { 112 color: #555; 113 } 114 115 .logo { 116 float: left; 117 padding-right: 1em; 118 }