doc/html/style.css

   1 /* Basic Settings:                                                            */\r
   2 \r
   3 body {\r
   4         background-color: White; /* black foreground */\r
   5         color: Black; /* center the body content in browser window */\r
   6         margin: auto; /* padding ("inner margin") leaves space between */\r
   7         padding: 24px; /* set width according to browser window width */\r
   8         width: auto; /* text alignment */\r
   9         text-align: justify; /* text-align: left; */\r
  10 }\r
  11 \r
  12 /* para */\r
  13 p {\r
  14   /* font size, line height, font */\r
  15   /* list of fonts provides fallbacks if a font is not present */\r
  16   font: 12px/18px Verdana, Arial, Helvetica, Sans-Serif;\r
  17 \r
  18   /* margin (top - right - bottom - left) */\r
  19   margin: 0 15px 6px 15px;\r
  20 }\r
  21 \r
  22 \r
  23 \r
  24 \r
  25 /* NEEDS TO BE CLEARED UP */\r
  26 \r
  27 \r
  28 p, td, li, dt, dd\r
  29 {\r
  30   /* font size, line height, font */\r
  31   /* list of fonts provides fallbacks if a font is not present */\r
  32   font: 12px/18px Verdana, Arial, Helvetica, Sans-Serif;\r
  33 }\r
  34 \r
  35 \r
  36 \r
  37 /* set font for most elements                    */\r
  38 /* p: paragraphs (regular text, docbook <para>)  */\r
  39 /* (...) */\r
  40 /* body: anything else  */\r
  41 body, p, td, li, dt, dd,\r
  42 {\r
  43 /* set font size and line height                             */\r
  44 /* list of fonts provides fallbacks if a font is not present */\r
  45 font: 12px/18px Verdana, Arial, Helvetica, Sans-Serif;\r
  46 }\r
  47 \r
  48 /* images */\r
  49 /* docbook: <imageobject> */\r
  50 img {\r
  51 /* no margin */\r
  52 margin: 0;\r
  53 \r
  54 /* no padding ("inner margin") */\r
  55 padding: 0;\r
  56 \r
  57 /* no border */\r
  58 border: 0;\r
  59 }\r
  60 \r
  61 \r
  62 /* emphasized text, can occur in most places */\r
  63 /* docbook: <emphasis> */\r
  64 em {\r
  65 /* bold face, higher number is more bold */\r
  66 font-weight: 600;\r
  67 /* italic */\r
  68 font-style: italic;\r
  69 }\r
  70 \r
  71 \r
  72 /* sect(ion)1 title */\r
  73 h2 {\r
  74         font-family: Georgia, Verdana, Arial, Helvetica, Sans-Serif; /* font size, relative to body font size */\r
  75         font-size: 125%; /* bold face, higher number is more bold */\r
  76         font-weight: 600; /* underlined text */\r
  77         text-decoration: none; /* foreground color: dark blue */\r
  78         color: Black; /* background color: gray */\r
  79         background-color: Orange; /* margin settings are top - right - bottom - left (think clockwise) */\r
  80         margin: 15px 0 15px 0; /* padding ("inner margin") settings are top - right - bottom - left */\r
  81 /* (think clockwise)                                                 */\r
  82         padding: 8px 15px 8px 15px; \r
  83         /* border: 1px solid #000; */\r
  84 }\r
  85 \r
  86 \r
  87 /* sect(ion)2 title */\r
  88 h3 {\r
  89         font-family: Georgia, Verdana, Arial, Helvetica, Sans-Serif; /* font size, relative to body font size */\r
  90         font-size: 110%; /* bold face, higher number is more bold */\r
  91         font-weight: 600; /* underlined text */\r
  92         text-decoration: none; /* foreground color: dark blue */\r
  93         color: Black; /* background-color is a very light grey */\r
  94         background-color: #fefefe; /* padding ("inner margin") settings are top - right - bottom - left */\r
  95 /* (think clockwise)                                                 */\r
  96         padding: 0 0 0 15px;\r
  97 }\r
  98 \r
  99 \r
 100 /* sect(ion)3 title */\r
 101 h4 {\r
 102         font-family: Georgia, Verdana, Arial, Helvetica, Sans-Serif; /* font size, relative to body font size */\r
 103         font-size: 100%; /* bold face, higher number is more bold */\r
 104         font-weight: 600; /* underlined text */\r
 105         text-decoration: none; /* foreground color: dark blue */\r
 106         color: Black; /* background-color is a very light grey */\r
 107         background-color: #fefefe; /* padding ("inner margin") settings are top - right - bottom - left */\r
 108 /* (think clockwise)                                                 */\r
 109         padding: 0 0 0 15px;\r
 110 }\r
 111 \r
 112 \r
 113 /* sect(ion)4 title */\r
 114 h5 {\r
 115         font-family: Georgia, Verdana, Arial, Helvetica, Sans-Serif; /* font size, relative to body font size */\r
 116         font-size: 100%; /* bold face, higher number is more bold */\r
 117         font-weight: 300; /* not underlined */\r
 118         text-decoration: none; /* foreground color: dark blue */\r
 119         color: Black; /* background-color is a very light grey */\r
 120         background-color: #fefefe; /* padding ("inner margin") settings are top - right - bottom - left */\r
 121 /* (think clockwise)                                                 */\r
 122         padding: 0 0 0 15px;\r
 123 }\r
 124 \r
 125 /* the following formats refer to the docbook tags of the same name           */\r
 126 /* for more information, see the docbook reference at                         */\r
 127 /* http://www.docbook.org/tdg/en/html/docbook.html                            */\r
 128 \r
 129 .mediaobject\r
 130 {\r
 131 /* center */\r
 132 text-align: center;\r
 133 }\r
 134 \r
 135 \r
 136 /*  */\r
 137 .calloutlist, .figure, .table\r
 138 {\r
 139 /* margin settings are top - right - bottom - left (think clockwise) */\r
 140 margin: 15px 30px 15px 30px;\r
 141 }\r
 142 \r
 143 \r
 144 /*  */\r
 145 .itemizedlist, .variablelist {\r
 146 /* margin settings are top - right - bottom - left (think clockwise) */\r
 147 margin: 15px 30px 15px 15px;\r
 148 }\r
 149 \r
 150 /* blockquote formatting is a little more complex    */\r
 151 /* because block quotes are rendered as a html table */\r
 152 \r
 153 /* blockquote block */\r
 154 .blockquote\r
 155 {\r
 156 /* override bottom margin, the other margins are inherited */\r
 157 margin-bottom: 30px;\r
 158 }\r
 159 \r
 160 .blockquote p, .blockquote td\r
 161 {\r
 162 /* set font size and line height                             */\r
 163 /* list of fonts provides fallbacks if a font is not present */\r
 164 font: 12px/18px Verdana, Arial, Helvetica, Sans-Serif;\r
 165 \r
 166 /* bold face, higher number is more bold */\r
 167 font-weight: 450;\r
 168 }\r
 169 \r
 170 \r
 171 .epigraph\r
 172 {\r
 173 /* override bottom margin, the other margins are inherited */\r
 174 margin-bottom: 30px;\r
 175 }\r
 176 \r
 177 .epigraph p, .epigraph td\r
 178 {\r
 179 /* set font size and line height                             */\r
 180 /* list of fonts provides fallbacks if a font is not present */\r
 181 font: 10px/14px Verdana, Arial, Helvetica, Sans-Serif;\r
 182 \r
 183 /* bold face, higher number is more bold */\r
 184 font-weight: 600;\r
 185 }\r
 186 \r
 187 \r
 188 \r
 189 /* custom header and footer that are displayed on all pages */\r
 190 #customheader, #customfooter\r
 191 {\r
 192 /* list of fonts provides fallbacks if a font is not present */\r
 193 font-family: Verdana, Arial, Helvetica, Sans-Serif;\r
 194 \r
 195 /* font size, relative to body font size */\r
 196 font-size: 80%;\r
 197 \r
 198 /* line height, relative to body font size */\r
 199 line-height: 200%;\r
 200 \r
 201 \r
 202 text-align: center;\r
 203 vertical-align: middle;\r
 204 color: #fff;\r
 205 background-color: #009;\r
 206 }\r
 207 \r
 208 \r
 209 /* leave more space between last paragraph and footer  */\r
 210 /* some browser do not add up the bottom margin of the prior element */\r
 211 /* and the top margin of the footer */\r
 212 #customfooter {\r
 213 margin-top: 15px;\r
 214 }\r
 215 \r
 216 \r
 217 \r
 218 /* table { margin: 0 15px 6px 15px; } */\r
 219 \r
 220 \r
 221 /* title and navigation links in header and footer */\r
 222 .navheader th, .navheader td, .navfooter th, .navfooter td\r
 223 {\r
 224 font-size: 11px;\r
 225 font-weight: 450;\r
 226 }\r
 227 \r
 228 \r
 229 /* table of contents, list of figures and list of tables */\r
 230 .toc, .list-of-figures, .list-of-tables, .list-of-examples\r
 231 {\r
 232 /* margin settings are top - right - bottom - left (think clockwise) */\r
 233 margin: 15px 30px 15px 15px;\r
 234 }\r
 235 \r
 236 \r
 237 /* the "headings" are rendered as paragraphs */\r
 238 .toc p, .list-of-figures p, .list-of-tables p, .list-of-examples p\r
 239 {\r
 240 /* no margin */\r
 241 margin: 0;\r
 242 }\r
 243 \r
 244 \r
 245 .figure\r
 246 {\r
 247 /* margin settings are top - right - bottom - left (think clockwise) */\r
 248 margin: 5px 5px 5px 5px;\r
 249 \r
 250 /* no padding ("inner border") */\r
 251 padding: 0;\r
 252 \r
 253 /* no border */\r
 254 border: 0;\r
 255 \r
 256 /* center text */\r
 257 text-align: center;\r
 258 }\r
 259 \r
 260 \r
 261 /* figure title */\r
 262 .figure p, .table p, .example p\r
 263 {\r
 264 font-size: 80%;\r
 265 }\r
 266 \r
 267 \r
 268 /*\r
 269 acronym {\r
 270       border-bottom: 1px dashed #00cc00;\r
 271       cursor: help;\r
 272 }\r
 273 */\r
 274 \r
 275 \r
 276 /* admonition headings */\r
 277 div.note, div.important, div.warning, div.caution, div.tip\r
 278 {\r
 279 padding: 0px 15px 0px 0px;\r
 280 }\r
 281 \r
 282 div.note th, div.important th, div.warning th, div.caution th, div.tip th\r
 283 {\r
 284 /* set font size and line height                             */\r
 285 /* list of fonts provides fallbacks if a font is not present */\r
 286 font: 12px/18px Verdana, Arial, Helvetica, Sans-Serif;\r
 287 \r
 288 font-weight: 600;\r
 289 \r
 290 text-decoration: underline;\r
 291 \r
 292 /* left align */\r
 293 text-align: left;\r
 294 }\r
 295 \r
 296 .note p, .important p, .warning p, .caution p, .tip p\r
 297 {\r
 298 margin: 0;\r
 299 }\r
 300 \r
 301 .note img, .important img, .warning img, .caution img, .tip img\r
 302 {\r
 303 margin: 0px 15px 0px 15px;\r
 304 }\r
 305 \r
 306 \r
 307 /* programlisting */\r
 308 pre.programlisting\r
 309 {\r
 310 /* non-proportional font */\r
 311 /* list of fonts provides fallbacks if a font is not present */\r
 312 font-family: "Courier New", Courier, Monospace;\r
 313 \r
 314 /* color: black */\r
 315 color: #000;\r
 316 \r
 317 /* background color: gray */\r
 318 background-color: #eee;\r
 319 \r
 320 /* no margin */\r
 321 margin: 0;\r
 322 \r
 323 /* gray dotted border, 1 px wide */\r
 324 border: 1px dotted #ddd;\r
 325 \r
 326 /* padding ("inner margin") settings are top - right - bottom - left */\r
 327 /* (think clockwise)                                                 */\r
 328 padding: 6px 6px 6px 6px;\r
 329 }\r
 330 \r
 331 \r
 332 /* title page */\r
 333 \r
 334 \r
 335 /* heading1 is used for document title */\r
 336 h1\r
 337 {\r
 338         font-family: Georgia,Verdana, Arial, Helvetica, Sans-Serif; /* font size, relative to body font size */\r
 339         font-size: 150%; /* bold face, higher number is more bold */\r
 340         font-weight: 600; /* line height, relative to body line height */\r
 341         line-height: 250%; /* center */\r
 342         text-align: center; /* foreground color: dark blue */\r
 343         color: Black; /* background color: gray */\r
 344         background-color: Orange; /* margin settings are top - right - bottom - left (think clockwise) */\r
 345         margin: 15px 0 15px 0; /* no padding ("inner margin") */\r
 346         padding: 15;\r
 347         border: 1px solid #000; \r
 348 }\r
 349 \r
 350 \r
 351 \r
 352 /* author on title page is formatted as h3          */\r
 353 /* these settings overwrite the regular h3 settings */\r
 354 h3.author {\r
 355 /* set font size and line height                             */\r
 356 /* list of fonts provides fallbacks in case selected fonts are not present */\r
 357 font: 12px/18px Verdana, Arial, Helvetica, Sans-Serif;\r
 358 \r
 359 /* bold face, higher number is more bold */\r
 360 font-weight: 600;\r
 361 \r
 362 /* do not underline */\r
 363 text-decoration: none;\r
 364 \r
 365 /* center text */\r
 366 text-align: center;\r
 367 \r
 368 /* color: black */\r
 369 color: #000;\r
 370 \r
 371 /* background-color is a very light grey */\r
 372 /* alternative: #fff = white             */\r
 373 background-color: #fefefe;\r
 374 \r
 375 /* margin settings are top - right - bottom - left (think clockwise) */\r
 376 margin: 0 15px 15px 15px;\r
 377 \r
 378 /* no padding */\r
 379 padding: 0;\r
 380 \r
 381 /* no border */\r
 382 border: 0;\r
 383 }\r
 384 \r
 385 \r
 386 /* copyright and date */\r
 387 .copyright, .pubdate\r
 388 {\r
 389 /* list of fonts provides fallbacks if a font is not present */\r
 390 font-family: Verdana, Arial, Helvetica, Sans-Serif;\r
 391 \r
 392 /* font size, relative to body font size */\r
 393 font-size: 90%;\r
 394 \r
 395 /* center */\r
 396 text-align: center;\r
 397 \r
 398 /* margin settings are top - right - bottom - left (think clockwise) */\r
 399 margin: 15px 15px 15px 15px;\r
 400 \r
 401 /* no padding ("inner margin") */\r
 402 padding: 0;\r
 403 \r
 404 /* no border */\r
 405 border: 0;\r
 406 }\r
 407 \r
 408 \r
 409 /* legal notice box */\r
 410 div.legalnotice\r
 411 {\r
 412         font-family: Verdana, Arial, Helvetica, Sans-Serif; /* font size, relative to body font size */\r
 413         font-size: 90%; /* color: black */\r
 414         color: #000; /* background color: gray */\r
 415         background-color: Orange; /* margin settings are top - right - bottom - left (think clockwise) */\r
 416         margin: 10px 45px 10px 45px; /* padding ("inner margin") settings are top - right - bottom - left */\r
 417         padding: 5px 5px 5px 5px; /* solid black border, 1px wide */\r
 418         border: 1px solid #000;\r
 419 }\r
 420 \r
 421 \r
 422 table {\r
 423         /* border: thin solid orange; */\r
 424         border-spacing: 0pt;\r
 425         margin-top: 5;\r
 426         margin-bottom: 5;\r
 427 }\r
 428 \r
 429 td {\r
 430         font-family: SansSerif, Arial, Helvetica, sans-serif;\r
 431     padding-left: 1;\r
 432     padding-right: 1;\r
 433     padding-top: 1;\r
 434     padding-bottom: 1   \r
 435 }\r
 436 \r
 437 th {\r
 438          /* border: thin solid orange; */        \r
 439     padding-left: 1;\r
 440     padding-right: 1;\r
 441     padding-top: 1;\r
 442     padding-bottom: 1   \r
 443 }\r
 444 \r
 445 .informaltable {\r
 446    border-collapse: collapse;\r
 447         table-layout: auto;\r
 448 }\r
 449 \r
 450 .revhistory {\r
 451    border-collapse: collapse;\r
 452         table-layout: auto;\r
 453 }