Gilles Peskine | 882f7c7 | 2022-04-07 13:44:55 +0200 | [diff] [blame] | 1 | /* CSS overrides for the html output */ |
| 2 | |
| 3 | body { |
| 4 | font-family: Calibri, sans-serif; |
| 5 | font-size: 15px; |
| 6 | } |
| 7 | |
| 8 | div.document { |
| 9 | width: 900px; |
| 10 | } |
| 11 | |
| 12 | div.bodywrapper { |
| 13 | margin: 0 0 0 180px; |
| 14 | } |
| 15 | |
| 16 | div.sphinxsidebar { |
| 17 | width: 180px; |
| 18 | font-size: 12.5px; |
| 19 | } |
| 20 | |
| 21 | div.body h1, |
| 22 | div.body h2, |
| 23 | div.body h3, |
| 24 | div.body h4, |
| 25 | div.body h5, |
| 26 | div.body h6 { |
| 27 | font-family: Calibri, sans-serif; |
| 28 | font-weight: bold; |
| 29 | } |
| 30 | |
| 31 | div.sphinxsidebar h3, |
| 32 | div.sphinxsidebar h4 { |
| 33 | font-family: Calibri, sans-serif; |
| 34 | } |
| 35 | |
| 36 | a { |
| 37 | color: #0091BD; |
| 38 | text-decoration: none; |
| 39 | } |
| 40 | |
| 41 | a.reference { |
| 42 | border-bottom: none; |
| 43 | } |
| 44 | |
| 45 | a.reference:hover { |
| 46 | color: #00617E; |
| 47 | border-bottom: 1px solid #00617E; |
| 48 | background: unset; |
| 49 | } |
| 50 | |
| 51 | tt, code { |
| 52 | font-family: 'Consolas', 'Menlo', 'DejaVu Sans Mono', 'Bitstream Vera Sans Mono', monospace; |
| 53 | font-size: 0.85em; |
| 54 | background-color: unset; |
| 55 | } |
| 56 | |
| 57 | code.xref, a code { |
| 58 | font-weight: normal; |
| 59 | color: #0091BD; |
| 60 | background-color: unset; |
| 61 | } |
| 62 | |
| 63 | pre { |
| 64 | font-family: 'Consolas', 'Menlo', 'DejaVu Sans Mono', 'Bitstream Vera Sans Mono', monospace; |
| 65 | font-size: 0.8em; |
| 66 | background: #F7F7F7; |
| 67 | padding: 7px 10px; |
| 68 | margin: 15px 0px 15px 15px; |
| 69 | line-height: 1.3em; |
| 70 | } |
| 71 | |
| 72 | table.docutils { |
| 73 | border: 0; |
| 74 | width: 100%; |
| 75 | -moz-box-shadow: none; |
| 76 | -webkit-box-shadow: none; |
| 77 | box-shadow: none; |
| 78 | border-top: 1px solid #AAA; |
| 79 | border-bottom: 1px solid #AAA; |
| 80 | margin-bottom: 1em; |
| 81 | } |
| 82 | |
| 83 | table.titletable { |
| 84 | margin-top: 40px; |
| 85 | width: auto; |
| 86 | border-top: none; |
| 87 | border-bottom: none; |
| 88 | } |
| 89 | |
| 90 | table.docutils caption, div.figure p.caption, figcaption { |
| 91 | font-size: 90%; |
| 92 | text-align: right; |
| 93 | } |
| 94 | |
| 95 | table.docutils caption span.caption-number, div.figure p.caption span.caption-number, figcaption span.caption-number { |
| 96 | font-weight: bold; |
| 97 | font-style: normal; |
| 98 | } |
| 99 | |
| 100 | table.docutils td, table.docutils th { |
| 101 | border: 0; |
| 102 | padding: 0.3em 0.5em 0.3em 0.5em; |
| 103 | text-align: left; |
| 104 | vertical-align: top; |
| 105 | } |
| 106 | |
| 107 | table.docutils td p, table.docutils th p { |
| 108 | margin-block-start: .3em; |
| 109 | margin-block-end: .3em; |
| 110 | } |
| 111 | |
| 112 | table.docutils th > p:first-child, table.docutils td > p:first-child { |
| 113 | margin-top: 0px; |
| 114 | } |
| 115 | |
| 116 | table.docutils th { |
| 117 | font-weight: bold; |
| 118 | font-size: 90%; |
| 119 | } |
| 120 | |
| 121 | table.docutils th.stub { |
| 122 | border-bottom: none; |
| 123 | } |
| 124 | |
| 125 | table.docutils th.head { |
| 126 | border-bottom: 1px solid #AAA; |
| 127 | } |
| 128 | |
| 129 | figure { |
| 130 | margin-inline-start: 0px; |
| 131 | margin-inline-end: 0px; |
| 132 | } |
| 133 | |
| 134 | div.figure div.legend, figcaption div.legend { |
| 135 | font-size: 80%; |
| 136 | text-align: center; |
| 137 | } |
| 138 | |
| 139 | div.figure p.caption, div.figure div.legend p, figcaption p, figcaption div.legend { |
| 140 | margin-block-start: 0.2em; |
| 141 | margin-block-end: 0.5em; |
| 142 | } |
| 143 | |
| 144 | div.admonition { |
| 145 | margin: 5px 15px; |
| 146 | padding: 5px 15px; |
| 147 | background-color: unset; |
| 148 | border: 0; |
| 149 | border-left: 6px solid #DDD; |
| 150 | } |
| 151 | |
| 152 | div.admonition p.admonition-title { |
| 153 | font-family: Calibri, sans-serif; |
| 154 | font-weight: bold; |
| 155 | font-size: 90%; |
| 156 | } |
| 157 | |
| 158 | p.admonition-title:after { |
| 159 | content: ""; |
| 160 | } |
| 161 | |
| 162 | div.admonition p { |
| 163 | margin-top: 0; |
| 164 | margin-bottom: 5px; |
| 165 | } |
| 166 | |
| 167 | div.admonition tt.xref, div.admonition code.xref, div.admonition a tt { |
| 168 | background-color: unset; |
| 169 | } |
| 170 | |
| 171 | div.highlight { |
| 172 | background-color: unset; |
| 173 | } |
| 174 | |
| 175 | div.admonition div.highlight pre { |
| 176 | background-color: unset; |
| 177 | } |
| 178 | |
| 179 | div.warning { |
| 180 | border-left: 6px solid #FBB; |
| 181 | } |
| 182 | |
| 183 | div.warning p.admonition-title { |
| 184 | color: darkred; |
| 185 | } |
| 186 | |
| 187 | div.banner { |
| 188 | border: 2px solid #CC0; |
| 189 | background-color: #FFB; |
| 190 | } |
| 191 | |
| 192 | div.rationale { |
| 193 | border-left: 6px solid #BFB; |
| 194 | background-color: #EFE; |
| 195 | } |
| 196 | |
| 197 | div.rationale p.admonition-title { |
| 198 | color: darkgreen; |
| 199 | } |
| 200 | |
| 201 | div.admonition-todo { |
| 202 | border-left: 6px solid #CC0; |
| 203 | background-color: #FFB; |
| 204 | } |
| 205 | |
| 206 | div.admonition-todo p.admonition-title { |
| 207 | color: #660; |
| 208 | } |
| 209 | |
| 210 | .scterm, .sc { |
| 211 | font-variant: small-caps; |
| 212 | text-transform: lowercase; |
| 213 | } |
| 214 | |
| 215 | .license{ |
| 216 | font-size: 80%; |
| 217 | } |
| 218 | |
| 219 | .anchor { |
| 220 | color: #0091BD; |
| 221 | } |
| 222 | |
| 223 | .issue { |
| 224 | color: red; |
| 225 | } |
| 226 | |
| 227 | .term { |
| 228 | font-style: italic; |
| 229 | } |
| 230 | |
| 231 | .secref { |
| 232 | font-style: italic; |
| 233 | } |
| 234 | |
| 235 | .sectiontitle { |
| 236 | display: block; |
| 237 | margin-top: 30px; |
| 238 | font-weight: bold; |
| 239 | font-size: 180%; |
| 240 | } |
| 241 | |
| 242 | p.titlecopyright { |
| 243 | font-size: 70%; |
| 244 | text-align: right; |
| 245 | } |