| 1 | /* For doctools/{src_tree,micro_syntax} */
|
| 2 |
|
| 3 | body {
|
| 4 | /* Arial seems thinner than the default sans-serif font */
|
| 5 | font-family: Arial, sans-serif;
|
| 6 | color: #444; /* same as base.css */
|
| 7 |
|
| 8 | /* We've designed with mobile in mind, so disable iPhone's special inflation
|
| 9 | * algorithm - https://developer.mozilla.org/en-US/docs/Web/CSS/text-size-adjust
|
| 10 | */
|
| 11 | text-size-adjust: none;
|
| 12 | /* 2023-09: essential for my phone! */
|
| 13 | -webkit-text-size-adjust: none;
|
| 14 | }
|
| 15 |
|
| 16 | /* Arbitrary threshold of 1000 pixels */
|
| 17 |
|
| 18 | @media screen and (max-width: 1000px) {
|
| 19 | body {
|
| 20 | padding: 0 1em; /* save space on small screen */
|
| 21 | }
|
| 22 | }
|
| 23 |
|
| 24 | @media screen and (min-width: 1001px) {
|
| 25 | body {
|
| 26 | font-size: large;
|
| 27 | padding: 0 3em;
|
| 28 | }
|
| 29 | }
|
| 30 |
|
| 31 | /* "Files" and "Dirs" are same size, just bold */
|
| 32 | h1 {
|
| 33 | font-size: 1.2em;
|
| 34 | }
|
| 35 |
|
| 36 | a:link {
|
| 37 | text-decoration: none;
|
| 38 | }
|
| 39 | a:hover {
|
| 40 | text-decoration: underline;
|
| 41 | }
|
| 42 |
|
| 43 | /* For highlighting specific lines. Don't need an anchor! */
|
| 44 | :target {
|
| 45 | background-color: palegoldenrod;
|
| 46 | }
|
| 47 |
|
| 48 | /* horizontal scrollbar for code, so the long lines don't make the page small */
|
| 49 | pre {
|
| 50 | overflow: auto;
|
| 51 | }
|
| 52 |
|
| 53 | #home-link {
|
| 54 | float: right; /* to the right of the breadcrumb */
|
| 55 | }
|
| 56 |
|
| 57 | #file-counts {
|
| 58 | text-align: right;
|
| 59 | font-size: medium;
|
| 60 | }
|
| 61 |
|
| 62 | table {
|
| 63 | border-collapse: collapse; /* shared borders */
|
| 64 | font-family: monospace;
|
| 65 | }
|
| 66 |
|
| 67 | td {
|
| 68 | /* For the line number */
|
| 69 | padding-right: 1em;
|
| 70 | }
|
| 71 |
|
| 72 | .listing {
|
| 73 | /* Long filenames like those in spec/ can wrap, but that seems OK */
|
| 74 | column-width: 12em;
|
| 75 | /* column-count: 3; */
|
| 76 | }
|
| 77 |
|
| 78 | .num {
|
| 79 | color: #666;
|
| 80 | text-align: right;
|
| 81 | /* Users can copy the code without copying line numbers */
|
| 82 | user-select: none;
|
| 83 | }
|
| 84 |
|
| 85 | .line {
|
| 86 | /* like <pre> tag */
|
| 87 | white-space: pre;
|
| 88 | color: #141414; /* almost black */
|
| 89 | }
|
| 90 |
|
| 91 | .spec-comment {
|
| 92 | font-weight: bold;
|
| 93 | color: #0047ab; /* cobalt */
|
| 94 | }
|
| 95 |
|
| 96 | .comm {
|
| 97 | /* Note blog uses language.css, which is 'green' */
|
| 98 | color: #0047ab; /* cobalt */
|
| 99 | /* font-style: italic; */
|
| 100 | }
|
| 101 |
|
| 102 | .str {
|
| 103 | color: brown;
|
| 104 | }
|
| 105 |
|
| 106 | .re2c {
|
| 107 | color: purple;
|
| 108 | }
|
| 109 |
|
| 110 | .preproc {
|
| 111 | color: darkgreen;
|
| 112 | }
|
| 113 |
|