sr-doc.css 4.1 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269
  1. body {
  2. padding: 20px;
  3. margin: 5px 50px 5px 50px;
  4. background: #ffffff;
  5. color: #000000;
  6. width: 700px;
  7. border: solid 2px #888888;
  8. font-family: Helvetica,Arial;
  9. }
  10. p {
  11. font-family: Helvetica,Arial;
  12. font-size: 12;
  13. text-align: justify;
  14. }
  15. p.c2 {
  16. COLOR: #ffffff ;
  17. BACKGROUND-color: #a0a0d0;
  18. BORDER: solid 1px #606090;
  19. PADDING: 1px
  20. }
  21. a {
  22. color: #041fc5;
  23. text-decoration: none;
  24. }
  25. a:hover {
  26. color: #990000;
  27. text-decoration: underline;
  28. }
  29. div.abstract {
  30. border: solid 2px;
  31. padding-left: 10pt;
  32. padding-right: 10pt;
  33. }
  34. pre.screen {
  35. font-family:monospace;
  36. white-space: pre;
  37. background-color: #fefeee;
  38. border:solid;
  39. color: #000000;
  40. border-color: #99CCCC;
  41. border-left: solid #99CCCC 1px;
  42. border-right: solid #99CCCC 1px;
  43. border-top: solid #99CCCC 1px;
  44. border-bottom: solid #99CCCC 1px;
  45. padding-left: 15pt;
  46. }
  47. pre.programlisting {
  48. font-family:monospace;
  49. white-space: pre;
  50. background-color: #fefeee;
  51. border:solid;
  52. color: #000000;
  53. border-color: #99CCCC;
  54. border-left: solid #99CCCC 1px;
  55. border-right: solid #99CCCC 1px;
  56. border-top: solid #99CCCC 1px;
  57. border-bottom: solid #99CCCC 1px;
  58. padding-left: 15pt;
  59. }
  60. h1 {
  61. color: #000000;
  62. border: solid 2px #a0a0a0;
  63. background-color: #DCDCDC;
  64. font-variant: small-caps;
  65. font-size: 16;
  66. padding-left: 5px;
  67. }
  68. .title a {
  69. color: #000000;
  70. text-decoration: none;
  71. }
  72. .title a:active {
  73. color: #000000;
  74. text-decoration: none;
  75. }
  76. .title a:visited {
  77. color: #000000;
  78. text-decoration: none;
  79. }
  80. h2 {
  81. COLOR: #000000 ;
  82. font-style: italic;
  83. border: solid 1px #b0b0b0;
  84. background-color: #ECECEC;
  85. padding-left: 5px;
  86. font-family: Helvetica,Arial;
  87. font-weight: bold;
  88. font-size: 14;
  89. }
  90. h2 a {
  91. color: #000000;
  92. text-decoration: none;
  93. }
  94. h2 a:active {
  95. color: #000000;
  96. text-decoration: none;
  97. }
  98. h2 a:visited {
  99. color: #000000;
  100. text-decoration: none;
  101. }
  102. h2 a:hover {
  103. color: #000000;
  104. text-decoration: none;
  105. }
  106. h3.section {
  107. COLOR: #000000 ;
  108. font-style: italic;
  109. border: solid 1px #c0c0c0;
  110. background-color: #F2F2F2;
  111. padding-left: 5px;
  112. font-family: Helvetica,Arial;
  113. font-weight: bold;
  114. font-size: 13;
  115. }
  116. h3 a {
  117. color: #000000;
  118. text-decoration: none;
  119. }
  120. h3 a:active {
  121. color: #000000;
  122. text-decoration: none;
  123. }
  124. h3 a:visited {
  125. color: #000000;
  126. text-decoration: none;
  127. }
  128. h3 a:hover {
  129. color: #000000;
  130. text-decoration: none;
  131. }
  132. h3.author {
  133. font-family: Helvetica,Arial;
  134. font-weight: bold;
  135. font-size: 13;
  136. }
  137. h3.editor {
  138. font-family: Helvetica,Arial;
  139. font-weight: bold;
  140. font-style: italic;
  141. font-size: 11;
  142. }
  143. h4 {
  144. font-family: Helvetica,Arial;
  145. font-weight: bold;
  146. font-size: 12;
  147. }
  148. table.important {
  149. font-style:italic;
  150. border: solid 2px #ff0000;
  151. width: 70%;
  152. margin-left: 15%;
  153. }
  154. table.caution {
  155. font-style:italic;
  156. border: ridge 2px #ffff00;
  157. width: 70%;
  158. margin-left: 15%;
  159. }
  160. table.note {
  161. font-style:italic;
  162. border: solid 1px #000000;
  163. width: 70%;
  164. margin-left: 15%;
  165. }
  166. table.tip {
  167. font-style:italic;
  168. border: solid 1px #000000;
  169. width: 70%;
  170. margin-left: 15%;
  171. }
  172. table.warning {
  173. font-style:italic;
  174. font-weight: bold;
  175. border: ridge 4px #ff0000;
  176. width: 70%;
  177. margin-left: 15%;
  178. }
  179. div.variablelist {
  180. font-family: sans-serif;
  181. font-style: normal;
  182. font-weight: normal;
  183. padding-left: 20px;
  184. }
  185. .varlistentry {
  186. font-weight: bold;
  187. margin-top: 10px;
  188. COLOR: #ffffff ;
  189. BACKGROUND-color: #a0a0d0;
  190. BORDER: solid 1px #606090;
  191. PADDING: 1px
  192. }
  193. div.navfooter {
  194. color: #000000;
  195. background-color: #EFEFF8;
  196. padding: 5px;
  197. margin-top: 10px;
  198. width: 100%;
  199. border: thin solid #a0a0d0;
  200. }
  201. div.nukefooter {
  202. color: #000000;
  203. background-color: #B0E0E6;
  204. padding: 5px;
  205. margin-top: 10px;
  206. width: 100%;
  207. border: thin solid #a0a0d0;
  208. }
  209. div.navheader {
  210. color: #000000;
  211. background-color: #EFEFF8;
  212. padding: 5px;
  213. margin-bottom: 10px;
  214. width: 100%;
  215. border: thin solid #a0a0d0;
  216. }
  217. div.sect1,div.sect2,div.sect3 {
  218. margin-left: 20px;
  219. }
  220. div.example,div.toc {
  221. border: thin dotted #70AAE5;
  222. padding-left: 10px;
  223. padding-right: 10px;
  224. color: #000000;
  225. background-color: #EFF8F8;
  226. }
  227. div.toc {
  228. margin-left: 20px;
  229. margin-right: 20px;
  230. }