html/docbook.css.xml

   1 <?xml version="1.0"?>
   2 <style>
   3
   4 /********************************/
   5 /* start of styles in block.xsl */
   6
   7 .formalpara-title {
   8   font-weight: bold;
   9 }
  10
  11 div.blockquote-title {
  12   font-weight: bold;
  13   margin-top: 1em;
  14   margin-bottom: 1em;
  15 }
  16
  17 span.msgmain-title {
  18   font-weight: bold;
  19 }
  20
  21 span.msgsub-title {
  22   font-weight: bold;
  23 }
  24
  25 span.msgrel-title {
  26   font-weight: bold;
  27 }
  28
  29 div.msglevel, div.msgorig, div.msgaud {
  30   margin-top: 1em;
  31   margin-bottom: 1em;
  32 }
  33
  34 span.msglevel-title, span.msgorig-title, span.msgaud-title {
  35   font-weight: bold;
  36 }
  37
  38 div.msgexplan {
  39   margin-top: 1em;
  40   margin-bottom: 1em;
  41 }
  42
  43 span.msgexplan-title {
  44   font-weight: bold;
  45 }
  46
  47 /* end of styles in block.xsl */
  48 /********************************/
  49
  50 /********************************/
  51 /* start of styles in autotoc.xsl */
  52
  53
  54 /* end of styles in autotoc.xsl */
  55 /********************************/
  56
  57 /********************************/
  58 /* start of styles in formal.xsl */
  59
  60 div.figure-title {
  61   font-weight: bold;
  62 }
  63
  64 div.example-title {
  65   font-weight: bold;
  66 }
  67
  68 div.equation-title {
  69   font-weight: bold;
  70 }
  71
  72 div.table-title {
  73   font-weight: bold;
  74 }
  75
  76 div.sidebar-title {
  77   font-weight: bold;
  78 }
  79
  80
  81 /* end of styles in formal.xsl */
  82 /********************************/
  83
  84 /********************************/
  85 /* start of styles in verbatim.xsl */
  86
  87 div.programlisting {
  88   white-space: pre;
  89   font-family: monospace;
  90 }
  91
  92 div.screen {
  93   white-space: pre;
  94   font-family: monospace;
  95 }
  96
  97 div.synopsis {
  98   white-space: pre;
  99   font-family: monospace;
 100 }
 101
 102 /* end of styles in verbatim.xsl */
 103 /********************************/
 104
 105 /* footnote rule */
 106 hr.footnote-hr {
 107   width: 100;
 108 }
 109
 110 </style>