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