manual-Z-S.css 5.2 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298
  1. body {
  2. color: black;
  3. /* background-color: #e5e5e5;*/
  4. background-color: #ffffff;
  5. /*background-color: beige;*/
  6. margin-top: 2em;
  7. margin-left: 8%;
  8. margin-right: 8%;
  9. }
  10. h1,h2,h3,h4,h5,h6 {
  11. margin-top: .5em;
  12. }
  13. .title {
  14. font-size: 200%;
  15. font-weight: normal;
  16. margin-top: 2.8em;
  17. text-align: center;
  18. }
  19. .partheading {
  20. font-size: 100%;
  21. }
  22. .chapterheading {
  23. font-size: 100%;
  24. }
  25. .beginsection {
  26. font-size: 110%;
  27. }
  28. .tiny {
  29. font-size: 40%;
  30. }
  31. .scriptsize {
  32. font-size: 60%;
  33. }
  34. .footnotesize {
  35. font-size: 75%;
  36. }
  37. .small {
  38. font-size: 90%;
  39. }
  40. .normalsize {
  41. font-size: 100%;
  42. }
  43. .large {
  44. font-size: 120%;
  45. }
  46. .largecap {
  47. font-size: 150%;
  48. }
  49. .largeup {
  50. font-size: 200%;
  51. }
  52. .huge {
  53. font-size: 300%;
  54. }
  55. .hugecap {
  56. font-size: 350%;
  57. }
  58. pre {
  59. margin-left: 2em;
  60. }
  61. blockquote {
  62. margin-left: 2em;
  63. }
  64. ol {
  65. list-style-type: decimal;
  66. }
  67. ol ol {
  68. list-style-type: lower-alpha;
  69. }
  70. ol ol ol {
  71. list-style-type: lower-roman;
  72. }
  73. ol ol ol ol {
  74. list-style-type: upper-alpha;
  75. }
  76. tt i {
  77. font-family: serif;
  78. }
  79. .verbatim em {
  80. font-family: serif;
  81. }
  82. /*
  83. .verbatim {
  84. color: #4d0000;
  85. }
  86. */
  87. .scheme em {
  88. color: black;
  89. font-family: serif;
  90. }
  91. .scheme {
  92. color: brown;
  93. }
  94. .scheme .keyword {
  95. color: #990000;
  96. font-weight: bold;
  97. }
  98. .scheme .builtin {
  99. color: #990000;
  100. }
  101. .scheme .variable {
  102. color: navy;
  103. }
  104. .scheme .global {
  105. color: purple;
  106. }
  107. .scheme .selfeval {
  108. color: green;
  109. }
  110. .scheme .comment {
  111. color: teal;
  112. }
  113. .schemeresponse {
  114. color: green;
  115. }
  116. .navigation {
  117. color: red;
  118. text-align: right;
  119. font-size: medium;
  120. font-style: italic;
  121. }
  122. .disable {
  123. /* color: #e5e5e5; */
  124. color: gray;
  125. }
  126. .smallcaps {
  127. font-size: 75%;
  128. }
  129. .smallprint {
  130. color: gray;
  131. font-size: 75%;
  132. text-align: right;
  133. }
  134. /*
  135. .smallprint hr {
  136. text-align: left;
  137. width: 40%;
  138. }
  139. */
  140. .footnoterule {
  141. text-align: left;
  142. width: 40%;
  143. }
  144. .colophon {
  145. color: gray;
  146. font-size: 80%;
  147. font-style: italic;
  148. text-align: right;
  149. }
  150. .colophon a {
  151. color: gray;
  152. }
  153. body {
  154. color: black;
  155. /* background-color: #e5e5e5;*/
  156. background-color: #ffffff;
  157. /*background-color: beige;*/
  158. margin-top: 2em;
  159. margin-left: 8%;
  160. margin-right: 8%;
  161. }
  162. h1,h2,h3,h4,h5,h6 {
  163. margin-top: .5em;
  164. }
  165. .partheading {
  166. font-size: 100%;
  167. }
  168. .chapterheading {
  169. font-size: 100%;
  170. }
  171. pre {
  172. margin-left: 2em;
  173. }
  174. ol {
  175. list-style-type: decimal;
  176. }
  177. ol ol {
  178. list-style-type: lower-alpha;
  179. }
  180. ol ol ol {
  181. list-style-type: lower-roman;
  182. }
  183. ol ol ol ol {
  184. list-style-type: upper-alpha;
  185. }
  186. .scheme {
  187. color: brown;
  188. }
  189. .scheme .keyword {
  190. color: #990000;
  191. font-weight: bold;
  192. }
  193. .scheme .builtin {
  194. color: #990000;
  195. }
  196. .scheme .variable {
  197. color: navy;
  198. }
  199. .scheme .global {
  200. color: purple;
  201. }
  202. .scheme .selfeval {
  203. color: green;
  204. }
  205. .scheme .comment {
  206. color: teal;
  207. }
  208. .schemeresponse {
  209. color: green;
  210. }
  211. .navigation {
  212. color: red;
  213. text-align: right;
  214. font-style: italic;
  215. }
  216. .disable {
  217. /* color: #e5e5e5; */
  218. color: gray;
  219. }
  220. .smallcaps {
  221. font-size: 75%;
  222. }
  223. .smallprint {
  224. color: gray;
  225. font-size: 75%;
  226. text-align: right;
  227. }
  228. .smallprint hr {
  229. text-align: left;
  230. width: 40%;
  231. }