manual.css 1.6 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114
  1. body {
  2. color: black;
  3. background-color: white;
  4. }
  5. ul, ol {
  6. padding-left: 16pt;
  7. }
  8. ul.toccat {
  9. list-style: none;
  10. padding-left: 0pt;
  11. }
  12. ul.toccat ul {
  13. list-style: disc;
  14. padding-left: 0pt;
  15. }
  16. ol.toc, ol.inlinetoccat {
  17. list-style: none;
  18. padding-left: 0pt;
  19. }
  20. ol.inlinetoccat li {
  21. font-weight: bold;
  22. text-transform: uppercase;
  23. margin-top: 0.5em;
  24. }
  25. ol.inlinetoc li {
  26. font-weight: normal;
  27. text-transform: none;
  28. padding-right: 8pt;
  29. display: inline;
  30. }
  31. p, dl, ul, ol, h5 {
  32. margin-left: 16pt;
  33. }
  34. ol.alpha {
  35. list-style-type: lower-alpha;
  36. }
  37. p.image {
  38. text-align: center;
  39. }
  40. p.version {
  41. padding-top: 1em;
  42. margin-left: 0pt;
  43. font-size: 50%;
  44. text-align: right;
  45. }
  46. dt.toc {
  47. font-size: 150%;
  48. font-weight: bold;
  49. }
  50. dd {
  51. margin-left: 16pt;
  52. margin-bottom: 0.5em;
  53. }
  54. div.commandline, pre, code {
  55. font-family: monospace;
  56. letter-spacing: 0.1em;
  57. }
  58. code {
  59. margin-left: 0.1em;
  60. margin-right: 0.1em;
  61. }
  62. div.commandline, pre {
  63. margin-left: 32pt;
  64. margin-top: 0.5em;
  65. margin-bottom: 0.5em;
  66. }
  67. div.note {
  68. font-style: italic;
  69. padding: 0.5em 4pt 0.5em 16pt;
  70. margin-top: 0.5em;
  71. }
  72. div.subsectiontitle {
  73. font-style: italic;
  74. margin-left: 16pt;
  75. }
  76. div.examples {
  77. margin-left: 32pt;
  78. }
  79. p.todo {
  80. color: red;
  81. }
  82. a.internal, a.external:visited {
  83. color: #000080;
  84. }
  85. a.external:link {
  86. color: #0000FF;
  87. }
  88. a.external:active {
  89. color: #8080FF;
  90. }
  91. table.border_enabled {
  92. border-collapse:collapse;
  93. border: 1px solid black;
  94. }
  95. table.border_enabled tr th {
  96. border: 1px solid black;
  97. }
  98. table.border_enabled tr td {
  99. border: 1px solid black;
  100. }
  101. table {
  102. margin-left: 32pt;
  103. }
  104. th {
  105. text-align: left;
  106. }
  107. td {
  108. vertical-align: top;
  109. padding-right: 32pt;
  110. }