2020-02-02 | Paul Boddie | file changeset files shortlog | Updated and expanded the documentation. |
paul@180 | 1 | html { |
paul@180 | 2 | background-color: white; |
paul@180 | 3 | color: black; |
paul@180 | 4 | font-family: sans-serif; |
paul@180 | 5 | font-size: 1em; |
paul@180 | 6 | } |
paul@180 | 7 | |
paul@180 | 8 | body { |
paul@180 | 9 | margin: 0 5em; |
paul@180 | 10 | padding: 0; |
paul@180 | 11 | border: 0; |
paul@180 | 12 | } |
paul@180 | 13 | |
paul@180 | 14 | a, img { |
paul@180 | 15 | border: 0; |
paul@180 | 16 | } |
paul@180 | 17 | |
paul@180 | 18 | /* List formatting. */ |
paul@180 | 19 | |
paul@180 | 20 | dl, ol, ul { |
paul@180 | 21 | padding: 0 1em; |
paul@180 | 22 | margin: 0 0.5em; |
paul@180 | 23 | } |
paul@180 | 24 | |
paul@180 | 25 | li p { |
paul@180 | 26 | margin: 0.1em 0; |
paul@180 | 27 | } |
paul@180 | 28 | |
paul@180 | 29 | dt { |
paul@180 | 30 | margin-top: 0.25em; |
paul@180 | 31 | font-weight: bold; |
paul@180 | 32 | } |
paul@180 | 33 | |
paul@180 | 34 | dd { |
paul@180 | 35 | margin-top: 0; |
paul@180 | 36 | margin-bottom: 0; |
paul@180 | 37 | } |
paul@180 | 38 | |
paul@180 | 39 | dd p { |
paul@180 | 40 | margin: 0.1em 0; |
paul@180 | 41 | } |
paul@180 | 42 | |
paul@180 | 43 | /* Table formatting. */ |
paul@180 | 44 | |
paul@180 | 45 | table { |
paul@180 | 46 | margin: 0.5em 0 0 0.5em; |
paul@180 | 47 | border-collapse: collapse; |
paul@180 | 48 | } |
paul@180 | 49 | |
paul@180 | 50 | th, td { |
paul@180 | 51 | padding: 0.25em 0.5em 0.25em 0.5em; |
paul@180 | 52 | border: 1pt solid #ADB9CC; |
paul@180 | 53 | } |
paul@180 | 54 | |
paul@180 | 55 | /* Preformatted text. */ |
paul@180 | 56 | |
paul@180 | 57 | pre { |
paul@180 | 58 | border: 1pt solid #AEBDCC; |
paul@180 | 59 | background-color: #F3F5F7; |
paul@180 | 60 | padding: 5pt; |
paul@180 | 61 | font-family: courier, monospace; |
paul@180 | 62 | white-space: pre; |
paul@180 | 63 | } |
paul@180 | 64 | |
paul@180 | 65 | /* Monospace inline text frequently looks smaller than the surrounding text. */ |
paul@180 | 66 | |
paul@180 | 67 | tt { |
paul@180 | 68 | font-size: 120%; |
paul@180 | 69 | } |
paul@180 | 70 | |
paul@180 | 71 | /* Embedded objects. */ |
paul@180 | 72 | |
paul@195 | 73 | svg, object { |
paul@180 | 74 | margin: 1em 0; |
paul@180 | 75 | } |