?login_element?

Subversion Repositories NedoOS

Rev

Blame | Last modification | View Log | Download | RSS feed

  1.  
  2. body {
  3.   background-color: #CDF;
  4. }
  5.  
  6. /********************************/
  7. /* start of styles in block.xsl */
  8.  
  9. .formalpara-title {
  10.   font-weight: bold;
  11. }
  12.  
  13. div.blockquote-title {
  14.   font-weight: bold;
  15.   margin-top: 1em;
  16.   margin-bottom: 1em;
  17. }
  18.  
  19. span.msgmain-title {
  20.   font-weight: bold;
  21. }
  22.  
  23. span.msgsub-title {
  24.   font-weight: bold;
  25. }
  26.  
  27. span.msgrel-title {
  28.   font-weight: bold;
  29. }
  30.  
  31. div.msglevel, div.msgorig, div.msgaud {
  32.   margin-top: 1em;
  33.   margin-bottom: 1em;
  34. }
  35.  
  36. span.msglevel-title, span.msgorig-title, span.msgaud-title {
  37.   font-weight: bold;
  38. }
  39.  
  40. div.msgexplan {
  41.   margin-top: 1em;
  42.   margin-bottom: 1em;
  43. }
  44.  
  45. span.msgexplan-title {
  46.   font-weight: bold;
  47. }
  48.  
  49. /* end of styles in block.xsl */
  50. /********************************/
  51.  
  52. /********************************/
  53. /* start of styles in autotoc.xsl */
  54.  
  55.  
  56. /* end of styles in autotoc.xsl */
  57. /********************************/
  58.  
  59. /********************************/
  60. /* start of styles in formal.xsl */
  61.  
  62. div.figure-title {
  63.   font-weight: bold;
  64. }
  65.  
  66. div.example-title {
  67.   font-weight: bold;
  68. }
  69.  
  70. div.equation-title {
  71.   font-weight: bold;
  72. }
  73.  
  74. div.table-title {
  75.   font-weight: bold;
  76. }
  77.  
  78. div.sidebar-title {
  79.   font-weight: bold;
  80. }
  81.  
  82.  
  83. /* end of styles in formal.xsl */
  84. /********************************/
  85.  
  86. /********************************/
  87. /* start of styles in verbatim.xsl */
  88.  
  89. pre.programlisting {
  90.   font-family: monospace;
  91.   font-size: 1.1em;
  92.   white-space: pre;
  93.   background: #EEE;
  94.   border: 1px solid gray;
  95.   padding: 1em;
  96.   margin: 1em;
  97.  
  98.   max-width: 80em;
  99.   overflow: auto; /* add scrollbar if the listing doesn't fit on screen*/
  100. }
  101.  
  102. pre.synopsis {
  103.   white-space: pre;
  104.   font-family: monospace;
  105.   overflow: auto; /* add scrollbar if the listing doesn't fit on screen*/
  106. }
  107.  
  108. div.screen {
  109.   white-space: pre;
  110.   font-family: monospace;
  111. }
  112.  
  113. /* end of styles in verbatim.xsl */
  114. /********************************/
  115.  
  116. /* footnote rule */
  117. hr.footnote-hr {
  118.   width: 100;
  119. }
  120.