2021-10-25 | Paul Boddie | file changeset files shortlog | Introduced block nodes inside tables produced by the table parser. This requires changes to any styling of the HTML output to avoid unwanted margins. |
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@308 | 55 | td p { |
paul@308 | 56 | margin: inherit; |
paul@308 | 57 | } |
paul@308 | 58 | |
paul@180 | 59 | /* Preformatted text. */ |
paul@180 | 60 | |
paul@180 | 61 | pre { |
paul@180 | 62 | border: 1pt solid #AEBDCC; |
paul@180 | 63 | background-color: #F3F5F7; |
paul@180 | 64 | padding: 5pt; |
paul@180 | 65 | font-family: courier, monospace; |
paul@180 | 66 | white-space: pre; |
paul@180 | 67 | } |
paul@180 | 68 | |
paul@180 | 69 | /* Monospace inline text frequently looks smaller than the surrounding text. */ |
paul@180 | 70 | |
paul@180 | 71 | tt { |
paul@180 | 72 | font-size: 120%; |
paul@180 | 73 | } |
paul@180 | 74 | |
paul@180 | 75 | /* Embedded objects. */ |
paul@180 | 76 | |
paul@195 | 77 | svg, object { |
paul@180 | 78 | margin: 1em 0; |
paul@180 | 79 | } |