epub.css 4.6 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341
  1. body {
  2. font-family: serif;
  3. font-size: 10pt;
  4. color: black;
  5. background-color: white;
  6. }
  7. h6 {
  8. color: #394986;
  9. font-weight: bold;
  10. margin-top: 1.33ex;
  11. margin-bottom: 1.33ex;
  12. }
  13. h1 {
  14. font-family: sans-serif;
  15. font-size: 2.4em;
  16. color: #A91919;
  17. }
  18. h2 {
  19. font-family: sans-serif;
  20. font-size: 2.0em;
  21. text-decoration: underline;
  22. color: #A91919;
  23. }
  24. h3 {
  25. font-family: sans-serif;
  26. font-size: 1.4em;
  27. color: #A91919;
  28. }
  29. h4 {
  30. font-family: sans-serif;
  31. font-size: 1.2em;
  32. color: #A91919;
  33. }
  34. h5,
  35. h6 {
  36. font-family: san-serif;
  37. font-size: 1em;
  38. color: #A91919;
  39. }
  40. table {
  41. border-spacing: 0;
  42. font-size: 1em;
  43. }
  44. thead,
  45. tfoot {
  46. background-color: #EEEEEE;
  47. }
  48. th,
  49. td {
  50. padding: 0 0.5ex;
  51. vertical-align: top;
  52. text-align: right;
  53. }
  54. blockquote {
  55. margin-top: 4ex;
  56. margin-left: 4em;
  57. }
  58. p,
  59. th,
  60. li,
  61. dt,
  62. dd {
  63. font-size: 1em;
  64. }
  65. p,
  66. pre,
  67. ol,
  68. dl,
  69. ul,
  70. table {
  71. margin-top: 1.33ex;
  72. margin-bottom: 1.33ex;
  73. }
  74. code,
  75. kbd,
  76. tt,
  77. pre {
  78. font-family: monospace;
  79. font-size: 90%;
  80. }
  81. pre {
  82. white-space: pre;
  83. background-color: #EEEEEE;
  84. border: 1px solid #C0C0C0;
  85. padding: 1ex;
  86. }
  87. li {
  88. margin-top: 1.33ex;
  89. margin-bottom: 1.33ex;
  90. }
  91. *[compact] > li {
  92. margin-top: 0;
  93. margin-bottom: 0;
  94. }
  95. dt {
  96. margin-top: 1.33ex;
  97. margin-bottom: 0;
  98. }
  99. dd {
  100. margin-top: 0;
  101. margin-bottom: 1.33ex;
  102. }
  103. *[compact] > dt {
  104. margin-top: 0;
  105. }
  106. *[compact] > dd {
  107. margin-bottom: 0;
  108. }
  109. div.toc,
  110. div.index,
  111. div.list-of-figures,
  112. div.list-of-tables,
  113. div.list-of-examples,
  114. div.list-of-equations,
  115. div.list-of-procedures {
  116. margin-top: 1.33ex;
  117. margin-bottom: 1.33ex;
  118. font-family: sans-serif;
  119. }
  120. div.toc dl,
  121. div.index dl,
  122. div.list-of-figures dl,
  123. div.list-of-tables dl,
  124. div.list-of-examples dl,
  125. div.list-of-equations dl,
  126. div.list-of-procedures dl {
  127. margin-top: 0;
  128. margin-bottom: 0;
  129. }
  130. div.toc dt,
  131. div.index dt,
  132. div.list-of-figures dt,
  133. div.list-of-tables dt,
  134. div.list-of-examples dt,
  135. div.list-of-equations dt,
  136. div.list-of-procedures dt {
  137. margin-top: 0.25ex;
  138. margin-bottom: 0.25ex;
  139. }
  140. div.toc dd,
  141. div.index dd,
  142. div.list-of-figures dd,
  143. div.list-of-tables dd,
  144. div.list-of-examples dd,
  145. div.list-of-equations dd,
  146. div.list-of-procedures dd {
  147. margin-top: 0;
  148. margin-bottom: 0;
  149. }
  150. div.toc span.part,
  151. div.toc span.chapter,
  152. div.toc span.appendix {
  153. font-weight: bold;
  154. }
  155. div.attribution {
  156. text-align: right;
  157. }
  158. div.sidebar {
  159. background-color: #EEEEFF;
  160. border: 1px solid #C0C0DD;
  161. padding: 1ex;
  162. margin-top: 1.33ex;
  163. margin-bottom: 1.33ex;
  164. }
  165. div.sidebar > p.title {
  166. margin-top: 0.33ex;
  167. }
  168. div.example > p.title,
  169. div.figure > p.title,
  170. div.table > p.title,
  171. div.procedure > p.title,
  172. div.equation > p.title {
  173. color: #394986;
  174. font-weight: bold;
  175. }
  176. div.orderedlist,
  177. div.calloutlist {
  178. margin-top: 1.33ex;
  179. margin-bottom: 1.33ex;
  180. }
  181. div.orderedlist > table,
  182. div.calloutlist > table {
  183. margin: 0;
  184. }
  185. div.orderedlist > table td,
  186. div.calloutlist > table td {
  187. vertical-align: baseline;
  188. }
  189. div.footnote {
  190. font-size: 0.9em;
  191. }
  192. a:link {
  193. text-decoration: none;
  194. color: #004668;
  195. }
  196. a:hover,
  197. a:visited:hover {
  198. text-decoration: underline;
  199. color: #004668;
  200. }
  201. a:visited {
  202. text-decoration: none;
  203. color: #135678;
  204. }
  205. span.term {
  206. font-weight: bold;
  207. }
  208. abbr,
  209. acronym {
  210. font-weight: bold;
  211. }
  212. span.bluebold {
  213. font-weight: bold;
  214. color: #00008B;
  215. }
  216. span.blueital {
  217. font-style:italic;
  218. color: #00008B;
  219. }
  220. span.blue {
  221. color: #00008B;
  222. }
  223. span.redbold {
  224. font-weight: bold;
  225. color: #FF0000;
  226. }
  227. span.redital {
  228. font-style:italic;
  229. color: #FF0000;
  230. }
  231. span.red {
  232. color: #FF0000;
  233. }
  234. span.greenbold {
  235. font-weight: bold;
  236. color: #008000;
  237. }
  238. span.greenital {
  239. font-style:italic;
  240. color: #008000;
  241. }
  242. span.green {
  243. color: #008000;
  244. }
  245. span.whitebold {
  246. font-weight: bold;
  247. color: #FFFFFF;
  248. }
  249. span.whiteital {
  250. font-style:italic;
  251. color: #FFFFFF;
  252. }
  253. span.white {
  254. color: #FFFFFF;
  255. }
  256. span.code {
  257. font-family: monospace;
  258. }
  259. span.codebold {
  260. font-family: monospace;
  261. font-weight: bold;
  262. }
  263. span.keycap,
  264. span.keycode,
  265. span.keysym,
  266. span.mousebutton {
  267. font-family: monospace;
  268. font-size: 90%;
  269. background-color: #EEEEEE;
  270. padding: 0.2ex;
  271. }
  272. span.guimenu,
  273. span.guisubmenu,
  274. span.guimenuitem,
  275. span.guibutton,
  276. span.guiicon,
  277. span.interface,
  278. span.guilabel {
  279. font-weight: bold;
  280. }
  281. span.term
  282. {
  283. font-family: sans-serif;
  284. }
  285. pre.programlisting {
  286. margin-left: 3.25em;
  287. }
  288. pre.pl-tab {
  289. border: 0;
  290. font-family: serif;
  291. font-size: 10pt;
  292. color: black;
  293. background-color: white;
  294. }
  295. img.noin {
  296. margin-left: 0em;
  297. }