stylesheet.css 4.0 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248
  1. BODY {
  2. font-family: "Verdana", "Arial", "Helvetica", sans-serif;
  3. font-size: 11px;
  4. line-height: 150%;
  5. margin-left: 1em;
  6. margin-right: 1em;
  7. }
  8. A:active {
  9. color: #FF0080;
  10. text-decoration:underline;
  11. }
  12. A:visited {
  13. color: #1E5388;
  14. text-decoration:underline;
  15. }
  16. P, DL, DT, DD, BLOCKQUOTE {
  17. color: #000000;
  18. margin-bottom: 3px;
  19. margin-top: 3px;
  20. padding-top: 0;
  21. }
  22. OL, UL, P {
  23. margin-top: 6px;
  24. margin-bottom: 6px;
  25. }
  26. BLOCKQUOTE {
  27. margin-right: 0;
  28. }
  29. H1 {
  30. color: #000000;
  31. font-size: 20px;
  32. font-weight: bold;
  33. padding-top: 5px;
  34. padding-bottom: 3px;
  35. }
  36. H2 {
  37. font-size: 16px;
  38. font-weight: bold;
  39. padding-top: 5px;
  40. padding-bottom: 3px;
  41. }
  42. H3 {
  43. color: #1E5388;
  44. font-size: 12px;
  45. font-weight: bold;
  46. background-color: #E9F0F8;
  47. padding-top: 5px;
  48. padding-bottom: 3px;
  49. }
  50. H4 {
  51. font-size: 11px;
  52. font-weight: bold;
  53. color: #1E5388;
  54. margin-top: 20px;
  55. margin-bottom: 0;
  56. }
  57. H5 {
  58. color: #000000;
  59. font-size: 11px;
  60. font-weight: bold;
  61. margin-top: 10px;
  62. margin-bottom: 0;
  63. text-indent:10px;
  64. }
  65. div.table {
  66. padding: 10px;
  67. }
  68. div.table p.title {
  69. font-style: italic;
  70. margin-top: 0;
  71. margin-bottom: 0;
  72. text-indent:0;
  73. text-align: center;
  74. }
  75. div.figure p.title {
  76. font-style: italic;
  77. margin-top: 0;
  78. margin-bottom: 0;
  79. text-indent:0;
  80. text-align: center;
  81. }
  82. div.example p.title {
  83. font-style: italic;
  84. margin-top: 0;
  85. margin-bottom: 0;
  86. text-indent:0;
  87. text-align: center;
  88. }
  89. div.equation p.title {
  90. font-style: italic;
  91. margin-top: 0;
  92. margin-bottom: 0;
  93. text-indent:0;
  94. text-align: center;
  95. }
  96. div.procedure p.title {
  97. font-style: italic;
  98. margin-top: 0;
  99. margin-bottom: 0;
  100. text-indent:0;
  101. text-align: center;
  102. }
  103. div.task p.title {
  104. font-style: italic;
  105. margin-top: 0;
  106. margin-bottom: 0;
  107. text-indent:0;
  108. text-align: center;
  109. }
  110. div.note, div.warning, div.tip, div.info, div.important {
  111. line-height: 130%;
  112. margin: 10px 0 10px 0;
  113. color: #000000;
  114. border-top: 2px solid #000000;
  115. border-bottom: 1px solid #000000;
  116. padding-top: 5px;
  117. padding-bottom: 5px;
  118. }
  119. div.note h3, div.warning h3, div.tip h3, div.info h3, div.important h3 {
  120. background-color: transparent;
  121. margin-top: 5px;
  122. }
  123. div.note *, div.warning *, div.tip *, div.info * {
  124. margin-left: 10px;
  125. margin-right: 10px;
  126. }
  127. TABLE {
  128. border-collapse: collapse;
  129. border-spacing: 0;
  130. border: 1px thin black;
  131. empty-cells: hide;
  132. margin: 10px 30px 5px 30px;
  133. width: 90%
  134. }
  135. table[summary="Callout list"] {
  136. border-width: 0;
  137. }
  138. TH {
  139. background-color: #F8F8E9;
  140. color: #646420;
  141. font-size: 11px;
  142. font-weight: bold;
  143. padding: 5px;
  144. }
  145. TD {
  146. font-size: 11px;
  147. text-indent:0;
  148. padding: 5px;
  149. }
  150. PRE.programlisting {
  151. font-family: "Courier New", "Courier", monospace;
  152. line-height: 130%;
  153. color: #666666;
  154. background-color: #F6F6F6;
  155. padding: 10px;
  156. border: 1px solid #000000;
  157. margin-bottom: 5px;
  158. text-indent:0;
  159. margin-top: 5px;
  160. }
  161. PRE.screen {
  162. font-family: "Courier New", "Courier", monospace;
  163. line-height: 140%;
  164. color: #FFFFFF;
  165. background-color: #000000;
  166. padding: 10px;
  167. width: 100%;
  168. border: 4px ridge #FFFFFF;
  169. text-indent: 0;
  170. }
  171. PRE.synopsis {
  172. font-family: "Courier New", "Courier", monospace;
  173. line-height: 130%;
  174. color: #666666;
  175. white-space: nowrap;
  176. padding: 10px;
  177. margin-bottom: 5px;
  178. text-indent:0;
  179. margin-top: 5px;
  180. }
  181. HR {
  182. width: 100%;
  183. height: 1px;
  184. background-color: #CCCCCC;
  185. border-width: 0;
  186. padding: 0;
  187. color: #CCCCCC;
  188. }
  189. .variablelist {
  190. padding-top: 10px;
  191. padding-bottom:10px;
  192. margin:0;
  193. }
  194. .term {
  195. font-weight:bold;
  196. }
  197. .mediaobject {
  198. padding-top: 30px;
  199. padding-bottom: 30px;
  200. }
  201. tt, code, .property {
  202. font-family: "Lucida Console", "Courier", monospace;
  203. }
  204. .screen * .lineannotation {
  205. color: #4422FF;
  206. }
  207. .programlisting * .lineannotation {
  208. color: green;
  209. }
  210. span.remark {
  211. color: red;
  212. background-color: #FFFFD0;
  213. }