doc/style.css

   1 /* Copied from http://bakefile.sourceforge.net/, which appears
   2    licensed under the GNU GPL. */
   3
   4
   5 /***************************************************************************
   6                              Basic headers and text:
   7  ***************************************************************************/
   8
   9 body
  10 {
  11     font-family: "Nimbus Sans L", sans-serif;
  12     font-size: 1em;
  13     background: white;
  14     margin: 2em 1em 2em 1em;
  15 }
  16
  17 h1, h2, h3, h4
  18 {
  19     color: #005aa0;
  20 }
  21
  22 h1 /* title */
  23 {
  24     font-size: 200%;
  25 }
  26
  27 h2 /* chapters, appendices, subtitle */
  28 {
  29     font-size: 180%;
  30 }
  31
  32 div.book
  33 {
  34     text-align: center;
  35 }
  36
  37 div.book > div
  38 {
  39     /*
  40      * based on https://medium.com/@zkareemz/golden-ratio-62b3b6d4282a
  41      * we do 70 characters per line to fit code listings better
  42      * 70 * (font-size / 1.618)
  43      * expression for emacs:
  44      * (* 70 (/ 1 1.618))
  45      */
  46     max-width: 43.2em;
  47     text-align: left;
  48     margin: auto;
  49 }
  50
  51 /* Extra space between chapters, appendices. */
  52 div.chapter > div.titlepage h2, div.appendix > div.titlepage h2
  53 {
  54     margin-top: 1.5em;
  55 }
  56
  57 div.section > div.titlepage h2 /* sections */
  58 {
  59     font-size: 150%;
  60     margin-top: 1.5em;
  61 }
  62
  63 h3 /* subsections */
  64 {
  65     font-size: 125%;
  66 }
  67
  68 div.simplesect h2
  69 {
  70     font-size: 110%;
  71 }
  72
  73 div.appendix h3
  74 {
  75     font-size: 150%;
  76     margin-top: 1.5em;
  77 }
  78
  79 div.refnamediv h2, div.refsynopsisdiv h2, div.refsection h2 /* refentry parts */
  80 {
  81     margin-top: 1.4em;
  82     font-size: 125%;
  83 }
  84
  85 div.refsection h3
  86 {
  87     font-size: 110%;
  88 }
  89
  90
  91 /***************************************************************************
  92                                Examples:
  93  ***************************************************************************/
  94
  95 div.example
  96 {
  97     border: 1px solid #b0b0b0;
  98     padding: 6px 6px;
  99     margin-left: 1.5em;
 100     margin-right: 1.5em;
 101     background: #f4f4f8;
 102     border-radius: 0.4em;
 103     box-shadow: 0.4em 0.4em 0.5em #e0e0e0;
 104 }
 105
 106 div.example p.title
 107 {
 108     margin-top: 0em;
 109 }
 110
 111 div.example pre
 112 {
 113     box-shadow: none;
 114 }
 115
 116
 117 /***************************************************************************
 118                             Screen dumps:
 119  ***************************************************************************/
 120
 121 pre.screen, pre.programlisting
 122 {
 123     border: 1px solid #b0b0b0;
 124     padding: 3px 3px;
 125     margin-left: 0.5em;
 126     margin-right: 0.5em;
 127
 128     background: #f4f4f8;
 129     font-family: monospace;
 130     border-radius: 0.4em;
 131     box-shadow: 0.4em 0.4em 0.5em #e0e0e0;
 132 }
 133
 134 div.example pre.programlisting
 135 {
 136     border: 0px;
 137     padding: 0 0;
 138     margin: 0 0 0 0;
 139 }
 140
 141 /***************************************************************************
 142                                Notes, warnings etc:
 143  ***************************************************************************/
 144
 145 .note, .warning
 146 {
 147     border: 1px solid #b0b0b0;
 148     padding: 3px 3px;
 149     margin-left: 1.5em;
 150     margin-right: 1.5em;
 151     margin-bottom: 1em;
 152     padding: 0.3em 0.3em 0.3em 0.3em;
 153     background: #fffff5;
 154     border-radius: 0.4em;
 155     box-shadow: 0.4em 0.4em 0.5em #e0e0e0;
 156 }
 157
 158 div.note, div.warning
 159 {
 160     font-style: italic;
 161 }
 162
 163 div.note h3, div.warning h3
 164 {
 165     color: red;
 166     font-size: 100%;
 167     padding-right: 0.5em;
 168     display: inline;
 169 }
 170
 171 div.note p, div.warning p
 172 {
 173     margin-bottom: 0em;
 174 }
 175
 176 div.note h3 + p, div.warning h3 + p
 177 {
 178     display: inline;
 179 }
 180
 181 div.note h3
 182 {
 183     color: blue;
 184     font-size: 100%;
 185 }
 186
 187 div.navfooter *
 188 {
 189     font-size: 90%;
 190 }
 191
 192
 193 /***************************************************************************
 194                         Links colors and highlighting:
 195  ***************************************************************************/
 196
 197 a { text-decoration: none; }
 198 a:hover { text-decoration: underline; }
 199 a:link { color: #0048b3; }
 200 a:visited { color: #002a6a; }
 201
 202
 203 /***************************************************************************
 204                               Table of contents:
 205  ***************************************************************************/
 206
 207 div.toc
 208 {
 209     font-size: 90%;
 210 }
 211
 212 div.toc dl
 213 {
 214     margin-top: 0em;
 215     margin-bottom: 0em;
 216 }
 217
 218
 219 /***************************************************************************
 220                                Special elements:
 221  ***************************************************************************/
 222
 223 tt, code
 224 {
 225     color: #400000;
 226 }
 227
 228 .term
 229 {
 230     font-weight: bold;
 231
 232 }
 233
 234 div.variablelist dd p, div.glosslist dd p
 235 {
 236     margin-top: 0em;
 237 }
 238
 239 div.variablelist dd, div.glosslist dd
 240 {
 241     margin-left: 1.5em;
 242 }
 243
 244 div.glosslist dt
 245 {
 246     font-style: italic;
 247 }
 248
 249 .varname
 250 {
 251     color: #400000;
 252 }
 253
 254 span.command strong
 255 {
 256     font-weight: normal;
 257     color: #400000;
 258 }
 259
 260 div.calloutlist table
 261 {
 262     box-shadow: none;
 263 }
 264
 265 table
 266 {
 267     border-collapse: collapse;
 268     box-shadow: 0.4em 0.4em 0.5em #e0e0e0;
 269 }
 270
 271 table.simplelist
 272 {
 273     text-align: left;
 274     color: #005aa0;
 275     border: 0;
 276     padding: 5px;
 277     background: #fffff5;
 278     font-weight: normal;
 279     font-style: italic;
 280     box-shadow: none;
 281     margin-bottom: 1em;
 282 }
 283
 284 div.navheader table, div.navfooter table {
 285     box-shadow: none;
 286 }
 287
 288 div.affiliation
 289 {
 290     font-style: italic;
 291 }