html.css 5.4 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401
  1. body {
  2. font-family: sans-serif;
  3. font-size: 10pt;
  4. color: black;
  5. background-color: white;
  6. }
  7. h1,
  8. h2,
  9. h3,
  10. h4,
  11. h5,
  12. h6 {
  13. color: #394986;
  14. font-weight: bold;
  15. margin-top: 1.33ex;
  16. margin-bottom: 1.33ex;
  17. }
  18. h1 {
  19. font-size: 1.8em;
  20. }
  21. h2 {
  22. font-size: 1.6em;
  23. }
  24. h3 {
  25. font-size: 1.4em;
  26. }
  27. h4 {
  28. font-size: 1.2em;
  29. }
  30. h5,
  31. h6 {
  32. font-size: 1em;
  33. }
  34. table {
  35. border-collapse: collapse;
  36. font-size: 1em;
  37. }
  38. thead,
  39. tfoot {
  40. background-color: #EEEEEE;
  41. }
  42. th,
  43. td {
  44. padding: 0.5ex;
  45. }
  46. blockquote {
  47. margin: 1.33ex 4em;
  48. }
  49. div.caution,
  50. div.important,
  51. div.note,
  52. div.tip,
  53. div.warning {
  54. padding: 1em;
  55. background-color: #FFFFEE;
  56. border-left: 1ex solid #DDDDC0;
  57. margin: 1.33ex 4em;
  58. }
  59. div.caution > .title,
  60. div.important > .title,
  61. div.note > .title,
  62. div.tip > .title,
  63. div.warning > .title {
  64. margin-top: 0px;
  65. }
  66. p,
  67. th,
  68. td,
  69. li,
  70. dt,
  71. dd {
  72. font-size: 1em;
  73. }
  74. p,
  75. pre,
  76. ol,
  77. dl,
  78. ul,
  79. table {
  80. margin-top: 1.33ex;
  81. margin-bottom: 1.33ex;
  82. }
  83. code,
  84. kbd,
  85. tt,
  86. pre {
  87. font-family: monospace;
  88. font-size: 90%;
  89. }
  90. pre {
  91. white-space: pre;
  92. background-color: #EEEEEE;
  93. border: 1px dotted #C0C0C0;
  94. padding: 1ex;
  95. }
  96. li {
  97. margin-top: 1.33ex;
  98. margin-bottom: 1.33ex;
  99. }
  100. *[compact] > li {
  101. margin-top: 0px;
  102. margin-bottom: 0px;
  103. }
  104. dt {
  105. margin-top: 1.33ex;
  106. margin-bottom: 0px;
  107. }
  108. dd {
  109. margin-top: 0px;
  110. margin-bottom: 1.33ex;
  111. }
  112. *[compact] > dt {
  113. margin-top: 0px;
  114. }
  115. *[compact] > dd {
  116. margin-bottom: 0px;
  117. }
  118. div.toc,
  119. div.index,
  120. div.list-of-figures,
  121. div.list-of-tables,
  122. div.list-of-examples,
  123. div.list-of-equations,
  124. div.list-of-procedures {
  125. margin-top: 1.33ex;
  126. margin-bottom: 1.33ex;
  127. }
  128. div.toc dl,
  129. div.index dl,
  130. div.list-of-figures dl,
  131. div.list-of-tables dl,
  132. div.list-of-examples dl,
  133. div.list-of-equations dl,
  134. div.list-of-procedures dl {
  135. margin-top: 0px;
  136. margin-bottom: 0px;
  137. }
  138. div.toc ul,
  139. div.index ul,
  140. div.list-of-figures ul,
  141. div.list-of-tables ul,
  142. div.list-of-examples ul,
  143. div.list-of-equations ul,
  144. div.list-of-procedures ul {
  145. list-style-type: none;
  146. margin-top: 0px;
  147. margin-bottom: 0px;
  148. }
  149. div.toc li,
  150. div.index li,
  151. div.list-of-figures li,
  152. div.list-of-tables li,
  153. div.list-of-examples li,
  154. div.list-of-equations li,
  155. div.list-of-procedures li,
  156. div.toc dt,
  157. div.index dt,
  158. div.list-of-figures dt,
  159. div.list-of-tables dt,
  160. div.list-of-examples dt,
  161. div.list-of-equations dt,
  162. div.list-of-procedures dt {
  163. margin-top: 0.25ex;
  164. margin-bottom: 0.25ex;
  165. }
  166. div.toc dd,
  167. div.index dd,
  168. div.list-of-figures dd,
  169. div.list-of-tables dd,
  170. div.list-of-examples dd,
  171. div.list-of-equations dd,
  172. div.list-of-procedures dd {
  173. margin-top: 0px;
  174. margin-bottom: 0px;
  175. }
  176. div.toc-title {
  177. font-size: 1.1em;
  178. font-weight: bold;
  179. margin-top: 1.33ex;
  180. margin-bottom: 1.33ex;
  181. }
  182. div.toc span.part,
  183. div.toc span.chapter,
  184. div.toc span.appendix {
  185. font-weight: bold;
  186. }
  187. div.attribution {
  188. text-align: right;
  189. }
  190. div.sidebar {
  191. background-color: #EEEEFF;
  192. border: 0.5ex solid #C0C0DD;
  193. border-left-style: none;
  194. border-right-style: none;
  195. padding: 1ex;
  196. margin-top: 1.33ex;
  197. margin-bottom: 1.33ex;
  198. }
  199. div.sidebar-title,
  200. div.example-title,
  201. div.figure-title,
  202. div.table-title,
  203. div.procedure-title,
  204. div.equation-title,
  205. div.sidebar > p.title,
  206. div.example > p.title,
  207. div.figure > p.title,
  208. div.table > p.title,
  209. div.procedure > p.title,
  210. div.equation > p.title {
  211. color: #394986;
  212. font-weight: bold;
  213. margin-top: 1.33ex;
  214. margin-bottom: 1.33ex;
  215. }
  216. div.orderedlist,
  217. div.calloutlist {
  218. margin-top: 1.33ex;
  219. margin-bottom: 1.33ex;
  220. }
  221. div.orderedlist > table,
  222. div.calloutlist > table {
  223. margin: 0px;
  224. }
  225. div.orderedlist > table td,
  226. div.calloutlist > table td {
  227. vertical-align: baseline;
  228. }
  229. div.footnote {
  230. font-size: 0.9em;
  231. }
  232. a:link:hover,
  233. a:visited:hover {
  234. text-decoration: underline;
  235. }
  236. a:link {
  237. text-decoration: none;
  238. color: #004668;
  239. }
  240. a:visited {
  241. text-decoration: none;
  242. color: #135678;
  243. }
  244. span.bold-italic {
  245. font-style: italic;
  246. font-weight: bold;
  247. text-decoration: none;
  248. }
  249. span.underline {
  250. font-style: normal;
  251. font-weight: normal;
  252. text-decoration: underline;
  253. }
  254. span.strikethrough {
  255. font-style: normal;
  256. font-weight: normal;
  257. text-decoration: line-through;
  258. }
  259. span.highlight {
  260. font-style: normal;
  261. font-weight: normal;
  262. background-color: #F0F080;
  263. }
  264. span.term {
  265. font-weight: bold;
  266. }
  267. abbr,
  268. acronym {
  269. font-weight: bold;
  270. }
  271. span.keycap,
  272. span.keycode,
  273. span.keysym,
  274. span.mousebutton {
  275. font-family: monospace;
  276. font-size: 90%;
  277. background-color: #EEEEEE;
  278. padding: 0.2ex;
  279. }
  280. span.guimenu,
  281. span.guisubmenu,
  282. span.guimenuitem,
  283. span.guibutton,
  284. span.guiicon,
  285. span.interface,
  286. span.guilabel {
  287. font-weight: bold;
  288. }
  289. a img {
  290. border-style: none;
  291. }
  292. hr.footnote-hr {
  293. width: 100px;
  294. margin-left: 0px;
  295. text-align: left;
  296. }
  297. /* ------------------------------------------------------------------------
  298. | Syntax highlighting
  299. +------------------------------------------------------------------------- */
  300. .hl-keyword {
  301. font-weight: bold;
  302. color: #602060;
  303. }
  304. .hl-string {
  305. color: #A00000;
  306. }
  307. .hl-number {
  308. color: #B08000;
  309. }
  310. .hl-comment {
  311. font-style: italic;
  312. color: #808080;
  313. }
  314. .hl-doccomment {
  315. color: #008080;
  316. }
  317. .hl-directive {
  318. color: #00A000;
  319. }
  320. .hl-annotation {
  321. font-weight: bold;
  322. color: #808080;
  323. }
  324. /*
  325. * XML
  326. */
  327. .hl-tag {
  328. font-weight: bold;
  329. color: #602060;
  330. }
  331. .hl-attribute {
  332. color: #0050A0;
  333. }
  334. .hl-value {
  335. color: #A00000;
  336. }
  337. .hl-doctype {
  338. color: #008080;
  339. }