eclipsehelp.css 4.6 KB

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