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: sans-serif;
  12     background: white;
  13     margin: 2em 1em 2em 1em;
  14 }
  15
  16 h1,h2,h3
  17 {
  18     color: #005aa0;
  19     text-align: left;
  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 /* Extra space between chapters, appendices. */
  33 div.chapter > div.titlepage h2, div.appendix > div.titlepage h2
  34 {
  35     margin-top: 1.5em;
  36 }
  37
  38 div.section > div.titlepage h2 /* sections */
  39 {
  40     font-size: 150%;
  41     margin-top: 1.5em;
  42 }
  43
  44 h3 /* subsections */
  45 {
  46     font-size: 125%;
  47 }
  48
  49 div.appendix h3
  50 {
  51     font-size: 150%;
  52     margin-top: 1.5em;
  53 }
  54
  55 div.refnamediv h2, div.refsynopsisdiv h2, div.refsection h2 /* refentry parts */
  56 {
  57     margin-top: 1.4em;
  58     font-size: 125%;
  59 }
  60
  61 div.refsection h3
  62 {
  63     font-size: 110%;
  64 }
  65
  66
  67 /***************************************************************************
  68                                Examples:
  69  ***************************************************************************/
  70
  71 div.example
  72 {
  73     border: 1px solid #6185a0;
  74     padding: 6px 6px;
  75     margin-left: 1.5em;
  76     margin-right: 1.5em;
  77     background: #f4f4f8;
  78 }
  79
  80 div.example p.title
  81 {
  82     margin-top: 0em;
  83 }
  84
  85
  86 /***************************************************************************
  87                             Screen dumps:
  88  ***************************************************************************/
  89
  90 pre.screen, pre.programlisting
  91 {
  92     border: 1px solid #6185a0;
  93     padding: 3px 3px;
  94     margin-left: 1.5em;
  95     margin-right: 1.5em;
  96     color: #600000;
  97     background: #f4f4f8;
  98     font-family: monospace;
  99     /* font-size: 90%; */
 100 }
 101
 102 div.example pre.programlisting
 103 {
 104     border: 0px;
 105     padding: 0 0;
 106     margin: 0 0 0 0;
 107 }
 108
 109
 110 /***************************************************************************
 111                                Notes, warnings etc:
 112  ***************************************************************************/
 113
 114 .note, .warning
 115 {
 116     border: 1px solid #6185a0;
 117     padding: 3px 3px;
 118     margin-left: 1.5em;
 119     margin-right: 1.5em;
 120     margin-bottom: 1em;
 121     padding: 0.3em 0.3em 0.3em 0.3em;
 122     background: #fffff5;
 123 }
 124
 125 div.note, div.warning
 126 {
 127     font-style: italic;
 128 }
 129
 130 div.note h3, div.warning h3
 131 {
 132     color: red;
 133     font-size: 100%;
 134 //    margin: 0 0 0 0;
 135     padding-right: 0.5em;
 136     display: inline;
 137 }
 138
 139 div.note p, div.warning p
 140 {
 141     margin-bottom: 0em;
 142 }
 143
 144 div.note h3 + p, div.warning h3 + p
 145 {
 146     display: inline;
 147 }
 148
 149 div.note h3
 150 {
 151     color: blue;
 152     font-size: 100%;
 153 }
 154
 155 div.navfooter *
 156 {
 157     font-size: 90%;
 158 }
 159
 160
 161 /***************************************************************************
 162                         Links colors and highlighting:
 163  ***************************************************************************/
 164
 165 a:link { color: #0048b3; }
 166 a:visited { color: #002a6a; }
 167 a:hover { background: #ffffcd; }
 168
 169
 170 /***************************************************************************
 171                               Table of contents:
 172  ***************************************************************************/
 173
 174 .toc
 175 {
 176     font-size: 90%;
 177 }
 178
 179
 180
 181 /***************************************************************************
 182                                Special elements:
 183  ***************************************************************************/
 184
 185 tt, code
 186 {
 187     color: #400000;
 188 }
 189
 190 .term
 191 {
 192     font-weight: bold;
 193
 194 }
 195
 196 div.variablelist dd p, div.glosslist dd p
 197 {
 198     margin-top: 0em;
 199 }
 200
 201 div.variablelist dd, div.glosslist dd
 202 {
 203     margin-left: 1.5em;
 204 }
 205
 206 div.glosslist dt
 207 {
 208     font-style: italic;
 209 }
 210
 211 .default
 212 {
 213     font-style: italic;
 214 }
 215
 216 .availability
 217 {
 218     font-style: italic;
 219 }
 220
 221 .varname
 222 {
 223     color: #400000;
 224 }
 225
 226
 227 div.informaltable table
 228 {
 229   border: 1px solid #6185a0;
 230   width: 100%;
 231 }
 232
 233 div.informaltable td
 234 {
 235   border: 0;
 236   padding: 5px;
 237 }
 238
 239 div.informaltable td.default
 240 {
 241   text-align: right;
 242 }
 243
 244 div.informaltable th
 245 {
 246   text-align: left;
 247   color: #005aa0;
 248   border: 0;
 249   padding: 5px;
 250   background: #fffff5;
 251   font-weight: normal;
 252   font-style: italic;
 253 }
 254
 255 td.varname, td.tagname, td.paramname
 256 {
 257   font-weight: bold;
 258   vertical-align: top;
 259 }
 260
 261 div.epigraph
 262 {
 263     font-style: italic;
 264     text-align: right;
 265 }
 266
 267 table.productionset table.productionset
 268 {
 269     font-family: monospace;
 270 }
 271
 272 strong.command
 273 {
 274 //    font-family: monospace;
 275 //    font-style: italic;
 276 //    font-weight: normal;
 277     color: #400000;
 278 }
 279
 280 div.calloutlist td
 281 {
 282     padding-bottom: 1em;
 283 }