Gilles Peskine | 6c723a2 | 2020-04-17 16:57:52 +0200 | [diff] [blame] | 1 | /* CSS overrides for the html output */ |
| 2 | |
| 3 | body { |
| 4 | font-family: Calibri, sans-serif; |
| 5 | font-size: 17px; |
| 6 | } |
| 7 | |
| 8 | div.document { |
| 9 | width: 1080px; |
| 10 | } |
| 11 | |
| 12 | div.body h1, |
| 13 | div.body h2, |
| 14 | div.body h3, |
| 15 | div.body h4, |
| 16 | div.body h5, |
| 17 | div.body h6 { |
| 18 | font-family: Calibri, sans-serif; |
| 19 | font-weight: bold; |
| 20 | } |
| 21 | |
| 22 | div.sphinxsidebar h3, |
| 23 | div.sphinxsidebar h4 { |
| 24 | font-family: Calibri, sans-serif; |
| 25 | } |
| 26 | |
| 27 | a { |
| 28 | color: #0091BD; |
| 29 | text-decoration: none; |
| 30 | } |
| 31 | |
| 32 | a.reference { |
| 33 | border-bottom: none; |
| 34 | } |
| 35 | |
| 36 | tt, code { |
| 37 | font-family: 'Consolas', 'Menlo', 'DejaVu Sans Mono', 'Bitstream Vera Sans Mono', monospace; |
| 38 | font-size: 0.85em; |
| 39 | background-color: white; |
| 40 | } |
| 41 | |
| 42 | code.xref, a code { |
| 43 | font-weight: normal; |
| 44 | color: #0091BD; |
| 45 | background-color: white; |
| 46 | } |
| 47 | |
| 48 | pre { |
| 49 | font-family: 'Consolas', 'Menlo', 'DejaVu Sans Mono', 'Bitstream Vera Sans Mono', monospace; |
| 50 | font-size: 0.8em; |
| 51 | background: #F7F7F7; |
| 52 | padding: 7px 10px; |
| 53 | margin: 15px 0px 15px 15px; |
| 54 | line-height: 1.3em; |
| 55 | } |
| 56 | |
| 57 | table.docutils { |
| 58 | border: 0; |
| 59 | width: 100%; |
| 60 | -moz-box-shadow: none; |
| 61 | -webkit-box-shadow: none; |
| 62 | box-shadow: none; |
| 63 | border-top: 1px solid #AAA; |
| 64 | border-bottom: 1px solid #AAA; |
| 65 | } |
| 66 | |
| 67 | table.docutils td, table.docutils th { |
| 68 | border: 0; |
| 69 | padding: 0.3em 0.5em 0.3em 0.5em; |
| 70 | text-align: left; |
| 71 | vertical-align: top; |
| 72 | } |
| 73 | |
| 74 | table.docutils th { |
| 75 | border-bottom: 1px solid #AAA; |
| 76 | } |
| 77 | |
| 78 | .small-caps { |
| 79 | font-variant: small-caps; |
| 80 | } |
| 81 | |
| 82 | div.admonition { |
| 83 | margin: 5px 15px; |
| 84 | padding: 5px 15px; |
| 85 | background-color: #FFF; |
| 86 | border: 0; |
| 87 | border-left: 6px solid #DDD; |
| 88 | } |
| 89 | |
| 90 | div.warning { |
| 91 | border-left: 6px solid #FBB; |
| 92 | } |
| 93 | |
| 94 | div.admonition p.admonition-title { |
| 95 | font-family: Calibri, sans-serif; |
| 96 | font-weight: bold; |
| 97 | font-size: 90%; |
| 98 | } |
| 99 | |
| 100 | div.warning p.admonition-title { |
| 101 | color: darkred; |
| 102 | } |
| 103 | |
| 104 | div.admonition p { |
| 105 | margin-top: 0; |
| 106 | margin-bottom: 5px; |
| 107 | } |
| 108 | |
| 109 | p.admonition-title:after { |
| 110 | content: ""; |
| 111 | } |