docbook-epub.css 2.0 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140
  1. /********************************/
  2. /* start of styles in block.xsl */
  3. .formalpara-title {
  4. font-weight: bold;
  5. }
  6. div.blockquote-title {
  7. font-weight: bold;
  8. margin-top: 1em;
  9. margin-bottom: 1em;
  10. }
  11. span.msgmain-title {
  12. font-weight: bold;
  13. }
  14. span.msgsub-title {
  15. font-weight: bold;
  16. }
  17. span.msgrel-title {
  18. font-weight: bold;
  19. }
  20. div.msglevel, div.msgorig, div.msgaud {
  21. margin-top: 1em;
  22. margin-bottom: 1em;
  23. }
  24. span.msglevel-title, span.msgorig-title, span.msgaud-title {
  25. font-weight: bold;
  26. }
  27. div.msgexplan {
  28. margin-top: 1em;
  29. margin-bottom: 1em;
  30. }
  31. span.msgexplan-title {
  32. font-weight: bold;
  33. }
  34. div.sidebar {
  35. border: 0.5pt solid black;
  36. margin-top: 1em;
  37. margin-bottom: 1em;
  38. padding: 8px;
  39. }
  40. /* end of styles in block.xsl */
  41. /********************************/
  42. /********************************/
  43. /* start of styles in autotoc.xsl */
  44. /* top level entries */
  45. nav>ol>li>a {
  46. margin-top: 1em;
  47. margin-bottom: 1em;
  48. }
  49. /* end of styles in autotoc.xsl */
  50. /********************************/
  51. /********************************/
  52. /* start of styles in formal.xsl */
  53. div.figure-title {
  54. font-weight: bold;
  55. }
  56. div.example-title {
  57. font-weight: bold;
  58. }
  59. div.equation-title {
  60. font-weight: bold;
  61. }
  62. div.table-title {
  63. font-weight: bold;
  64. }
  65. div.sidebar-title {
  66. font-weight: bold;
  67. }
  68. /* end of styles in formal.xsl */
  69. /********************************/
  70. /********************************/
  71. /* start of styles in verbatim.xsl */
  72. div.programlisting {
  73. white-space: pre-wrap;
  74. font-family: monospace;
  75. }
  76. div.screen {
  77. white-space: pre-wrap;
  78. font-family: monospace;
  79. }
  80. div.synopsis {
  81. white-space: pre-wrap;
  82. font-family: monospace;
  83. }
  84. /* end of styles in verbatim.xsl */
  85. /********************************/
  86. /********************************/
  87. /* NAVIGATION */
  88. nav ol {
  89. list-style-type: none;
  90. margin: 0 0 0 2em;
  91. padding: 0 0 0 0;
  92. }
  93. nav ol li {
  94. margin: 0 0 0 0;
  95. padding: 0 0 0 0;
  96. }
  97. nav ol li a {
  98. text-decoration: none;
  99. color: black;
  100. font-family: sans-serif;
  101. }
  102. #guide {
  103. display: none;
  104. }