locale/manual.css

   1 /* css 2.0 stylesheet for DocBook generated XHTML                             */
   2 /* (c) 2002 e-novative GmbH.                                                  */
   3 /* http://www.e-novative.de                                                   */
   4
   5 /*
   6         17-03-2003 - 21-03-2003
   7         Changes : Bruno.Vernay@LaPoste.net
   8         - Replaced the title background with underline (better distinguish from
   9                 programlisting.)
  10         - distinguish the h2 (from chapter) and the h2 from section
  11                 (div[class=section])
  12
  13 */
  14
  15 /* Note that due to different browser interpretation of the standards, the    */
  16 /* html pages still do not look exactly the same on every browser and system  */
  17
  18 /* This css file formats the html generated by the eDE                        */
  19 /* Please modify this file according to your personal preferences.            */
  20
  21 /* In many spots, this file is not too well-documented currently. However,    */
  22 /* we will improve documentation over the time                                */
  23
  24 /* basic settings for the document body, some elements inherit from these     */
  25 body
  26 {
  27   /* foreground color = black */
  28         color: #000;
  29
  30   /* background-color = white */
  31         background-color: #fff;
  32
  33         /* center the body content in browser window */
  34         /* Note: this is different from text-align   */
  35         /* margin depends on browser window width    */
  36         margin: auto;
  37
  38         /* padding ("inner margin") leaves space between */
  39         /* browser window border and html body content   */
  40         padding: 24px;
  41
  42         /* width depends on browser window width */
  43         width: auto;
  44
  45         /* text-alignment    */
  46         /* alternative: left */
  47         text-align: justify;
  48 }
  49
  50
  51 /* set font for most elements                    */
  52 /* p: paragraphs (regular text, docbook <para>)  */
  53 /* (...) */
  54 /* body: anything else  */
  55 body, p, td, li, dt, dd,
  56 {
  57   /* set font size and line height                             */
  58   /* list of fonts provides fallbacks if a font is not present */
  59         font: 12px/18px Verdana, Arial, Helvetica, Sans-Serif;
  60 }
  61
  62
  63 /* pararaphs (docbook: <para>) */
  64 p
  65 {
  66   /* set font size and line height                             */
  67   /* list of fonts provides fallbacks if a font is not present */
  68         font: 12px/18px Verdana, Arial, Helvetica, Sans-Serif;
  69
  70   /* margin settings are top - right - bottom - left (think clockwise) */
  71   margin: 0 15px 6px 15px;
  72 }
  73
  74
  75 /* images */
  76 /* docbook: <imageobject> */
  77 img
  78 {
  79   /* no margin */
  80   margin: 0;
  81
  82   /* no padding ("inner margin") */
  83   padding: 0;
  84
  85   /* no border */
  86   border: 0;
  87 }
  88
  89
  90 /* emphasized text, can occur in most places */
  91 /* docbook: <emphasis> */
  92 em
  93 {
  94         /* bold face, higher number is more bold */
  95   font-weight: 600;
  96   /* italic */
  97   font-style: italic;
  98 }
  99
 100
 101 /* sect(ion)1 title */
 102 h2
 103 {
 104   /* list of fonts provides fallbacks if a font is not present */
 105         font-family: Verdana, Arial, Helvetica, Sans-Serif;
 106
 107         /* font size, relative to body font size */
 108         font-size: 125%;
 109
 110         /* bold face, higher number is more bold */
 111         font-weight: 600;
 112
 113   /* underlined text */
 114         text-decoration: none;
 115
 116         /* foreground color: dark blue */
 117         color: #009;
 118
 119         /* background color: gray */
 120         /* background-color: #ddd; */
 121         border-bottom: solid 2px;
 122
 123   /* margin settings are top - right - bottom - left (think clockwise) */
 124         margin: 15px 0 15px 0;
 125
 126   /* padding ("inner margin") settings are top - right - bottom - left */
 127   /* (think clockwise)                                                 */
 128         padding: 12px 15px 12px 15px;
 129 }
 130
 131
 132 /* modif BV 14-03-2003 :
 133         permet de distinguer titre de chapitre et titre de section */
 134 /* section title après un chapitre */
 135 div[class=section] * h2
 136 {
 137   /* list of fonts provides fallbacks if a font is not present */
 138         font-family: Verdana, Arial, Helvetica, Sans-Serif;
 139
 140         /* font size, relative to body font size */
 141         font-size: 110%;
 142
 143         /* bold face, higher number is more bold */
 144         font-weight: 600;
 145
 146   /* underlined text */
 147         text-decoration: none;
 148
 149         /* foreground color: dark blue */
 150         color: #00A;
 151
 152         /* background color: gray */
 153         /* background-color: #f0f0f0; */
 154         border-bottom: solid 1px;
 155
 156   /* padding ("inner margin") settings are top - right - bottom - left */
 157   /* (think clockwise)                                                 */
 158         padding: 0 0 0 15px;
 159 }
 160
 161 /* sect(ion)2 title */
 162 h3
 163 {
 164   /* list of fonts provides fallbacks if a font is not present */
 165         font-family: Verdana, Arial, Helvetica, Sans-Serif;
 166
 167         /* font size, relative to body font size */
 168         font-size: 110%;
 169
 170         /* bold face, higher number is more bold */
 171         font-weight: 600;
 172
 173   /* underlined text */
 174         text-decoration: underline;
 175
 176         /* foreground color: dark blue */
 177         color: #009;
 178
 179   /* background-color is a very light grey */
 180   /* alternative: #fff = white             */
 181         /* background-color: #fafafa; */
 182
 183   /* padding ("inner margin") settings are top - right - bottom - left */
 184   /* (think clockwise)                                                 */
 185         padding: 0 0 0 15px;
 186 }
 187
 188
 189 /* sect(ion)3 title */
 190 h4
 191 {
 192   /* list of fonts provides fallbacks if a font is not present */
 193         font-family: Verdana, Arial, Helvetica, Sans-Serif;
 194
 195         /* font size, relative to body font size */
 196         font-size: 100%;
 197
 198         /* bold face, higher number is more bold */
 199         font-weight: 600;
 200
 201   /* underlined text */
 202         text-decoration: underline ;
 203
 204         /* foreground color: dark blue */
 205         color: #009;
 206
 207   /* background-color is a very light grey */
 208   /* alternative: #fff = white             */
 209         /* background-color: #fefefe; */
 210
 211   /* padding ("inner margin") settings are top - right - bottom - left */
 212   /* (think clockwise)                                                 */
 213         padding: 0 0 0 15px;
 214 }
 215
 216
 217 /* sect(ion)4 title */
 218 h5
 219 {
 220   /* list of fonts provides fallbacks if a font is not present */
 221         font-family: Verdana, Arial, Helvetica, Sans-Serif;
 222
 223         /* font size, relative to body font size */
 224         font-size: 100%;
 225
 226         /* bold face, higher number is more bold */
 227         font-weight: 300;
 228
 229   /* not underlined */
 230         text-decoration: underline  ;
 231
 232         /* foreground color: dark blue */
 233         color: #009;
 234
 235   /* background-color is a very light grey */
 236   /* alternative: #fff = white             */
 237         /* background-color: #fefefe; */
 238
 239   /* padding ("inner margin") settings are top - right - bottom - left */
 240   /* (think clockwise)                                                 */
 241         padding: 0 0 0 15px;
 242 }
 243
 244
 245
 246
 247
 248 /* define special font for e-novative logo */
 249 /* list of fonts provides fallbacks in case selected fonts are not present */
 250 .logo
 251 {
 252   font-family: Lucida Console, Verdana, Arial, Sans-Serif;
 253 }
 254
 255
 256 /* the following formats refer to the docbook tags of the same name           */
 257 /* for more information, see the docbook reference at                         */
 258 /* http://www.docbook.org/tdg/en/html/docbook.html                            */
 259
 260 .mediaobject
 261 {
 262   /* center */
 263   text-align: center;
 264 }
 265
 266
 267 /*  */
 268 .calloutlist, .figure, .table
 269 {
 270   /* margin settings are top - right - bottom - left (think clockwise) */
 271   margin: 15px 30px 15px 30px;
 272 }
 273
 274
 275 /*  */
 276 .itemizedlist, .variablelist {
 277   /* margin settings are top - right - bottom - left (think clockwise) */
 278   margin: 15px 30px 15px 15px;
 279 }
 280
 281 /* blockquote formatting is a little more complex    */
 282 /* because block quotes are rendered as a html table */
 283
 284 /* blockquote block */
 285 .blockquote
 286 {
 287   /* override bottom margin, the other margins are inherited */
 288   margin-bottom: 30px;
 289 }
 290
 291 .blockquote p, .blockquote td
 292 {
 293   /* set font size and line height                             */
 294   /* list of fonts provides fallbacks if a font is not present */
 295         font: 12px/18px Verdana, Arial, Helvetica, Sans-Serif;
 296
 297         /* bold face, higher number is more bold */
 298   font-weight: 450;
 299 }
 300
 301
 302 .epigraph
 303 {
 304   /* override bottom margin, the other margins are inherited */
 305   margin-bottom: 30px;
 306 }
 307
 308 .epigraph p, .epigraph td
 309 {
 310   /* set font size and line height                             */
 311   /* list of fonts provides fallbacks if a font is not present */
 312         font: 10px/14px Verdana, Arial, Helvetica, Sans-Serif;
 313
 314         /* bold face, higher number is more bold */
 315   font-weight: 600;
 316 }
 317
 318
 319
 320 /* custom e-novative header and footer that are displayed on all pages */
 321 #customheader, #customfooter
 322 {
 323   /* list of fonts provides fallbacks if a font is not present */
 324         font-family: Verdana, Arial, Helvetica, Sans-Serif;
 325
 326         /* font size, relative to body font size */
 327         font-size: 80%;
 328
 329         /* line height, relative to body font size */
 330   line-height: 200%;
 331
 332
 333   text-align: center;
 334   vertical-align: middle;
 335   color: #fff;
 336   background-color: #009;
 337 }
 338
 339
 340 /* leave more space between last paragraph and footer  */
 341 /* some browser do not add up the bottom margin of the prior element */
 342 /* and the top margin of the footer */
 343 #customfooter {
 344   margin-top: 15px;
 345 }
 346
 347
 348
 349 /* table { margin: 0 15px 6px 15px; } */
 350
 351
 352 /* title and navigation links in header and footer */
 353 .navheader th, .navheader td, .navfooter th, .navfooter td
 354 {
 355   font-size: 11px;
 356   font-weight: 450;
 357 }
 358
 359
 360 /* table of contents, list of figures and list of tables */
 361 .toc, .list-of-figures, .list-of-tables
 362 {
 363   /* margin settings are top - right - bottom - left (think clockwise) */
 364   margin: 15px 30px 15px 15px;
 365 }
 366
 367
 368 /* the "headings" are rendered as paragraphs */
 369 .toc p, .list-of-figures p, .list-of-tables p
 370 {
 371   /* no margin */
 372   margin: 0;
 373 }
 374
 375
 376 .figure
 377 {
 378   /* margin settings are top - right - bottom - left (think clockwise) */
 379   margin: 5px 5px 5px 5px;
 380
 381   /* no padding ("inner border") */
 382   padding: 0;
 383
 384   /* no border */
 385   border: 0;
 386
 387   /* center text */
 388   text-align: center;
 389 }
 390
 391
 392 /* figure title */
 393 .figure p, .table p, .example p
 394 {
 395   font-size: 80%;
 396 }
 397
 398
 399 /*
 400 acronym {
 401         border-bottom: 1px dashed #00cc00;
 402         cursor: help;
 403 }
 404 */
 405
 406
 407 /* admonition headings */
 408 div.note, div.important, div.warning, div.caution, div.tip
 409 {
 410   padding: 0px 15px 0px 0px;
 411 }
 412
 413 div.note th, div.important th, div.warning th, div.caution th, div.tip th
 414 {
 415   /* set font size and line height                             */
 416   /* list of fonts provides fallbacks if a font is not present */
 417         font: 12px/18px Verdana, Arial, Helvetica, Sans-Serif;
 418
 419   font-weight: 600;
 420
 421   text-decoration: underline;
 422
 423   /* left align */
 424   text-align: left;
 425 }
 426
 427 .note p, .important p, .warning p, .caution p, .tip p
 428 {
 429   margin: 0;
 430 }
 431
 432 .note img, .important img, .warning img, .caution img, .tip img
 433 {
 434   margin: 0px 15px 0px 15px;
 435 }
 436
 437
 438 /* programlisting */
 439 pre.programlisting
 440 {
 441   /* non-proportional font */
 442   /* list of fonts provides fallbacks if a font is not present */
 443         font-family: "Courier New", Courier, Monospace;
 444
 445         /* color: black */
 446         color: #000;
 447
 448   /* background color: gray */
 449   background-color: #eee;
 450
 451         /* no margin */
 452         margin: 0;
 453
 454         /* gray dotted border, 1 px wide */
 455         border: 1px dotted #ddd;
 456
 457   /* padding ("inner margin") settings are top - right - bottom - left */
 458   /* (think clockwise)                                                 */
 459         padding: 6px 6px 6px 6px;
 460 }
 461
 462
 463 /* title page */
 464
 465
 466 /* heading1 is used for document title */
 467 h1
 468 {
 469   /* list of fonts provides fallbacks if a font is not present */
 470         font-family: Verdana, Arial, Helvetica, Sans-Serif;
 471
 472         /* font size, relative to body font size */
 473         font-size: 150%;
 474
 475         /* bold face, higher number is more bold */
 476         font-weight: 600;
 477
 478         /* line height, relative to body line height */
 479         line-height: 250%;
 480
 481         /* center */
 482         text-align: center;
 483
 484         /* foreground color: dark blue */
 485         color: #009;
 486
 487         /* background color: gray */
 488         background-color: #ddd;
 489
 490   /* margin settings are top - right - bottom - left (think clockwise) */
 491         margin: 15px 0 15px 0;
 492
 493         /* no padding ("inner margin") */
 494         padding: 0;
 495 }
 496
 497
 498
 499 /* author on title page is formatted as h3          */
 500 /* these settings overwrite the regular h3 settings */
 501 h3.author
 502 {
 503   /* set font size and line height                             */
 504   /* list of fonts provides fallbacks in case selected fonts are not present */
 505         font: 12px/18px Verdana, Arial, Helvetica, Sans-Serif;
 506
 507         /* bold face, higher number is more bold */
 508         font-weight: 600;
 509
 510         /* do not underline */
 511         text-decoration: none;
 512
 513         /* center text */
 514         text-align: center;
 515
 516         /* color: black */
 517         color: #000;
 518
 519   /* background-color is a very light grey */
 520   /* alternative: #fff = white             */
 521         background-color: #fefefe;
 522
 523   /* margin settings are top - right - bottom - left (think clockwise) */
 524   margin: 0 15px 15px 15px;
 525
 526   /* no padding */
 527   padding: 0;
 528
 529   /* no border */
 530   border: 0;
 531 }
 532
 533
 534 /* copyright and date */
 535 .copyright, .pubdate
 536 {
 537   /* list of fonts provides fallbacks if a font is not present */
 538         font-family: Verdana, Arial, Helvetica, Sans-Serif;
 539
 540         /* font size, relative to body font size */
 541         font-size: 90%;
 542
 543         /* center */
 544   text-align: center;
 545
 546   /* margin settings are top - right - bottom - left (think clockwise) */
 547   margin: 15px 15px 15px 15px;
 548
 549   /* no padding ("inner margin") */
 550   padding: 0;
 551
 552   /* no border */
 553   border: 0;
 554 }
 555
 556
 557 /* legal notice box */
 558 div.legalnotice
 559 {
 560   /* list of fonts provides fallbacks if a font is not present */
 561         font-family: Verdana, Arial, Helvetica, Sans-Serif;
 562
 563         /* font size, relative to body font size */
 564   font-size: 90%;
 565
 566         /* color: black */
 567   color: #000;
 568
 569         /* background color: gray */
 570   background-color: #ddd;
 571
 572   /* margin settings are top - right - bottom - left (think clockwise) */
 573   margin: 10px 45px 10px 45px;
 574
 575   /* padding ("inner margin") settings are top - right - bottom - left */
 576   /* (think clockwise)                                                 */
 577   padding: 5px 5px 5px 5px;
 578
 579   /* solid black border, 1px wide */
 580   border: 1px solid #000;
 581 }