nimdoc.css 6.2 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306
  1. /*
  2. NOTE - THIS IS PROBABLY NOT THE CSS FILE YOU WANT
  3. The CSS text used by Nim's documentation tools (such as 'koch web',
  4. 'rst2html', etc) is contained in 'config\nimdoc.cfg'
  5. */
  6. /*
  7. :Author: David Goodger
  8. :Contact: goodger@python.org
  9. :Date: $Date: 2006-05-21 22:44:42 +0200 (Sun, 21 May 2006) $
  10. :Revision: $Revision: 4564 $
  11. :Copyright: This stylesheet has been placed in the public domain.
  12. Default cascading style sheet for the HTML output of Docutils.
  13. See http://docutils.sf.net/docs/howto/html-stylesheets.html for how to
  14. customize this style sheet.
  15. */
  16. /*
  17. Modified for the Nimrod Documenation by
  18. Andreas Rumpf
  19. */
  20. body {
  21. color: black;
  22. background: white;
  23. }
  24. /* used to remove borders from tables and images */
  25. .borderless, table.borderless td, table.borderless th {
  26. border: 0 }
  27. table.borderless td, table.borderless th {
  28. /* Override padding for "table.docutils td" with "! important".
  29. The right padding separates the table cells. */
  30. padding: 0 0.5em 0 0 ! important }
  31. .first {
  32. /* Override more specific margin styles with "! important". */
  33. margin-top: 0 ! important }
  34. .last, .with-subtitle {
  35. margin-bottom: 0 ! important }
  36. .hidden {
  37. display: none }
  38. a.toc-backref {
  39. text-decoration: none ;
  40. color: black }
  41. blockquote.epigraph {
  42. margin: 2em 5em ; }
  43. dl.docutils dd {
  44. margin-bottom: 0.5em }
  45. /* Uncomment (and remove this text!) to get bold-faced definition list terms
  46. dl.docutils dt {
  47. font-weight: bold }
  48. */
  49. div.abstract {
  50. margin: 2em 5em }
  51. div.abstract p.topic-title {
  52. font-weight: bold ;
  53. text-align: center }
  54. div.admonition, div.attention, div.caution, div.danger, div.error,
  55. div.hint, div.important, div.note, div.tip, div.warning {
  56. margin: 2em ;
  57. border: medium outset ;
  58. padding: 1em }
  59. div.admonition p.admonition-title, div.hint p.admonition-title,
  60. div.important p.admonition-title, div.note p.admonition-title,
  61. div.tip p.admonition-title {
  62. font-weight: bold ;
  63. font-family: sans-serif }
  64. div.attention p.admonition-title, div.caution p.admonition-title,
  65. div.danger p.admonition-title, div.error p.admonition-title,
  66. div.warning p.admonition-title {
  67. color: red ;
  68. font-weight: bold ;
  69. font-family: sans-serif }
  70. /* Uncomment (and remove this text!) to get reduced vertical space in
  71. compound paragraphs.
  72. div.compound .compound-first, div.compound .compound-middle {
  73. margin-bottom: 0.5em }
  74. div.compound .compound-last, div.compound .compound-middle {
  75. margin-top: 0.5em }
  76. */
  77. div.dedication {
  78. margin: 2em 5em ;
  79. text-align: center ;
  80. font-style: italic }
  81. div.dedication p.topic-title {
  82. font-weight: bold ;
  83. font-style: normal }
  84. div.figure {
  85. margin-left: 2em ;
  86. margin-right: 2em }
  87. div.footer, div.header {
  88. clear: both;
  89. font-size: smaller }
  90. div.line-block {
  91. display: block ;
  92. margin-top: 1em ;
  93. margin-bottom: 1em }
  94. div.line-block div.line-block {
  95. margin-top: 0 ;
  96. margin-bottom: 0 ;
  97. margin-left: 1.5em }
  98. div.sidebar {
  99. margin-left: 1em ;
  100. border: medium outset ;
  101. padding: 1em ;
  102. background-color: #ffffee ;
  103. width: 40% ;
  104. float: right ;
  105. clear: right }
  106. div.sidebar p.rubric {
  107. font-family: sans-serif ;
  108. font-size: medium }
  109. div.system-messages {
  110. margin: 5em }
  111. div.system-messages h1 {
  112. color: red }
  113. div.system-message {
  114. border: medium outset ;
  115. padding: 1em }
  116. div.system-message p.system-message-title {
  117. color: red ;
  118. font-weight: bold }
  119. div.topic {
  120. margin: 2em;
  121. }
  122. h1.section-subtitle, h2.section-subtitle, h3.section-subtitle,
  123. h4.section-subtitle, h5.section-subtitle, h6.section-subtitle {
  124. margin-top: 0.4em }
  125. h1.title { text-align: center }
  126. h2.subtitle { text-align: center }
  127. hr.docutils { width: 75% }
  128. img.align-left { clear: left }
  129. img.align-right { clear: right }
  130. ol.simple, ul.simple {
  131. margin-bottom: 1em }
  132. ol.arabic {
  133. list-style: decimal }
  134. ol.loweralpha {
  135. list-style: lower-alpha }
  136. ol.upperalpha {
  137. list-style: upper-alpha }
  138. ol.lowerroman {
  139. list-style: lower-roman }
  140. ol.upperroman {
  141. list-style: upper-roman }
  142. p.attribution {
  143. text-align: right ;
  144. margin-left: 50% }
  145. p.caption {
  146. font-style: italic }
  147. p.credits {
  148. font-style: italic ;
  149. font-size: smaller }
  150. p.label {
  151. white-space: nowrap }
  152. p.rubric {
  153. font-weight: bold ;
  154. font-size: larger ;
  155. color: maroon ;
  156. text-align: center }
  157. p.sidebar-title {
  158. font-family: sans-serif ;
  159. font-weight: bold ;
  160. font-size: larger }
  161. p.sidebar-subtitle {
  162. font-family: sans-serif ;
  163. font-weight: bold }
  164. p.topic-title {
  165. font-weight: bold }
  166. pre.address {
  167. margin-bottom: 0 ;
  168. margin-top: 0 ;
  169. font-family: serif ;
  170. font-size: 100% }
  171. pre, span.pre {
  172. background-color:#F9F9F9;
  173. border:1px dotted #2F6FAB;
  174. color:black;
  175. }
  176. pre {padding:1em;}
  177. pre.literal-block, pre.doctest-block {
  178. margin-left: 2em ;
  179. margin-right: 2em }
  180. span.classifier {
  181. font-family: sans-serif ;
  182. font-style: oblique }
  183. span.classifier-delimiter {
  184. font-family: sans-serif ;
  185. font-weight: bold }
  186. span.interpreted {
  187. font-family: sans-serif }
  188. span.option {
  189. white-space: nowrap }
  190. span.pre { white-space: pre }
  191. span.problematic {
  192. color: red }
  193. span.section-subtitle {
  194. /* font-size relative to parent (h1..h6 element) */
  195. font-size: 80% }
  196. table.citation {
  197. border-left: solid 1px gray;
  198. margin-left: 1px }
  199. table.docinfo {
  200. margin: 2em 4em }
  201. table.docutils {
  202. margin-top: 0.5em ;
  203. margin-bottom: 0.5em }
  204. table.footnote {
  205. border-left: solid 1px black;
  206. margin-left: 1px }
  207. table.docutils td, table.docutils th,
  208. table.docinfo td, table.docinfo th {
  209. padding-left: 0.5em ;
  210. padding-right: 0.5em ;
  211. vertical-align: top }
  212. table.docutils th.field-name, table.docinfo th.docinfo-name {
  213. font-weight: bold ;
  214. text-align: left ;
  215. white-space: nowrap ;
  216. padding-left: 0 }
  217. h1 tt.docutils, h2 tt.docutils, h3 tt.docutils,
  218. h4 tt.docutils, h5 tt.docutils, h6 tt.docutils {
  219. font-size: 100% }
  220. ul.auto-toc {
  221. list-style-type: none }
  222. a.reference {
  223. color: #E00000;
  224. font-weight:bold;
  225. }
  226. a.reference:hover {
  227. color: #E00000;
  228. background-color: #ffff00;
  229. display: margin;
  230. font-weight:bold;
  231. }
  232. div.topic ul {
  233. list-style-type: none;
  234. }