luadoc.css 6.7 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397
  1. body {
  2. margin-left: 1em;
  3. margin-right: 1em;
  4. background-color: #3b3b3b; margin:0px;
  5. font-family: "Helvetica Neue", Arial, Helvetica, Geneva, sans-serif;
  6. }
  7. code {
  8. font-family: "Andale Mono", monospace;
  9. }
  10. tt {
  11. font-family: "Andale Mono", monospace;
  12. }
  13. body, td, th { font-size: 11pt; }
  14. h1, h2, h3, h4 { margin-left: 0em; }
  15. textarea, pre, tt { font-size:10pt; }
  16. body, td, th { color:#000000; }
  17. small { font-size:0.85em; }
  18. h1 { font-size:1.5em; }
  19. h2 { font-size:1.25em; }
  20. h3 { font-size:1.15em; }
  21. h4 { font-size:1.06em; }
  22. a:link { font-weight:bold; color: #004080; text-decoration: none; }
  23. a:visited { font-weight:bold; color: #006699; text-decoration: none; }
  24. a:link:hover { text-decoration:underline; }
  25. hr { color:#cccccc }
  26. img { border-width: 0px; }
  27. h3 { padding-top: 1em; }
  28. p { margin-left: 1em; }
  29. p.name {
  30. font-family: "Andale Mono", monospace;
  31. padding-top: 1em;
  32. margin-left: 0em;
  33. }
  34. blockquote { margin-left: 3em; }
  35. pre.example {
  36. background-color: rgb(245, 245, 245);
  37. border-top-width: 1px;
  38. border-right-width: 1px;
  39. border-bottom-width: 1px;
  40. border-left-width: 1px;
  41. border-top-style: solid;
  42. border-right-style: solid;
  43. border-bottom-style: solid;
  44. border-left-style: solid;
  45. border-top-color: silver;
  46. border-right-color: silver;
  47. border-bottom-color: silver;
  48. border-left-color: silver;
  49. padding: 1em;
  50. margin-left: 1em;
  51. margin-right: 1em;
  52. font-family: "Andale Mono", monospace;
  53. font-size: smaller;
  54. }
  55. hr {
  56. margin-left: 0em;
  57. background: #00007f;
  58. border: 0px;
  59. height: 1px;
  60. }
  61. ul { list-style-type: decimal; }
  62. table.index { border: 1px #00007f; }
  63. table.index td { text-align: left; vertical-align: top; }
  64. table.index ul { padding-top: 0em; margin-top: 0em; }
  65. table {
  66. border: 1px solid black;
  67. border-collapse: collapse;
  68. margin-left: auto;
  69. margin-right: auto;
  70. }
  71. th {
  72. border: 1px solid black;
  73. padding: 0.5em;
  74. }
  75. td {
  76. border: 1px solid black;
  77. padding: 0.5em;
  78. }
  79. div.header, div.footer { margin-left: 0em; }
  80. #container
  81. {
  82. margin-left: 1em;
  83. margin-right: 1em;
  84. }
  85. #product
  86. {
  87. text-align: center;
  88. margin-right: auto;
  89. margin-left: auto;
  90. color: #fff;
  91. margin-top: 10px;
  92. }
  93. #product big {
  94. font-size: 2em;
  95. }
  96. #product_logo
  97. {
  98. }
  99. #product_name
  100. {
  101. }
  102. #product_description
  103. {
  104. }
  105. #main
  106. {
  107. margin-top: 25px;
  108. border-style: solid;
  109. background-color: white;
  110. }
  111. #navigation
  112. {
  113. width: 18em;
  114. vertical-align: top;
  115. overflow:visible;
  116. float: left;
  117. background-color: #fff;
  118. }
  119. #navigation h1 {
  120. background-color: #b5e1f7;
  121. color: #000;
  122. text-align:left;
  123. margin:0px;
  124. padding:0.2em;
  125. border-top:1px solid #dddddd;
  126. border-bottom:1px solid #dddddd;
  127. font: normal small-caps bold 1.5em "Helvetica Neue", Arial, Helvetica, Geneva, sans-serif;
  128. }
  129. #navigation ul
  130. {
  131. font-size:1em;
  132. list-style-type: none;
  133. margin: 1px;
  134. padding: 0;
  135. }
  136. #navigation li
  137. {
  138. display: block;
  139. text-indent: -1em;
  140. letter-spacing: 1px;
  141. width: 200px;
  142. padding: 3px 0px 0px 12px;
  143. margin: 3px 0em 0em 0.5em;
  144. }
  145. #navigation li li a
  146. {
  147. padding: 0px 3px 0px -1em;
  148. }
  149. #content
  150. {
  151. margin-left: 18em;
  152. padding: 1em;
  153. border-left: 2px solid #cccccc;
  154. border-right: 2px solid #cccccc;
  155. background-color: #ffffff;
  156. margin-bottom: 15px;
  157. }
  158. #content h1
  159. {
  160. font-size: 52px;
  161. margin-top: 0;
  162. margin-bottom: 10px;
  163. font-weight: normal;
  164. font-style: normal;
  165. }
  166. #content h2
  167. {
  168. font-variant: small-caps;
  169. font-size: 2em;
  170. margin: 20px 5px 5px;
  171. }
  172. #about
  173. {
  174. clear: both;
  175. margin: 0;
  176. padding: 5px;
  177. }
  178. @media print {
  179. body {
  180. font: 12pt "Times New Roman", "TimeNR", Times, serif;
  181. }
  182. a { font-weight:bold; color: #004080; text-decoration: underline; }
  183. #main { background-color: #ffffff; border-left: 0px; }
  184. #container { margin-left: 2%; margin-right: 2%; background-color: #ffffff; }
  185. #content { margin-left: 0px; padding: 1em; border-left: 0px; border-right: 0px; background-color: #ffffff; }
  186. #navigation { display: none;
  187. }
  188. pre.example {
  189. font-family: "Andale Mono", monospace;
  190. font-size: 10pt;
  191. page-break-inside: avoid;
  192. }
  193. }
  194. table.module_list td
  195. {
  196. border-width: 1px;
  197. padding: 3px;
  198. border-style: solid;
  199. border-color: #cccccc;
  200. }
  201. table.module_list td.name { background-color: #f0f0f0; }
  202. table.module_list td.summary { width: 100%; }
  203. table.file_list
  204. {
  205. border-width: 1px;
  206. border-style: solid;
  207. border-color: #cccccc;
  208. border-collapse: collapse;
  209. }
  210. table.file_list td
  211. {
  212. border-width: 1px;
  213. padding: 3px;
  214. border-style: solid;
  215. border-color: #cccccc;
  216. }
  217. table.file_list td.name { background-color: #f0f0f0; }
  218. table.file_list td.summary { width: 100%; }
  219. table.function_list
  220. {
  221. border-width: 1px;
  222. border-style: solid;
  223. border-color: #cccccc;
  224. border-collapse: collapse;
  225. }
  226. table.function_list td
  227. {
  228. border-width: 1px;
  229. padding: 3px;
  230. border-style: solid;
  231. border-color: #cccccc;
  232. }
  233. table.function_list td.name { background-color: #def7f7;
  234. }
  235. table.function_list td.summary { width: 100%; }
  236. table.table_list
  237. {
  238. border-width: 1px;
  239. border-style: solid;
  240. border-color: #cccccc;
  241. border-collapse: collapse;
  242. }
  243. table.table_list td
  244. {
  245. border-width: 1px;
  246. padding: 3px;
  247. border-style: solid;
  248. border-color: #cccccc;
  249. }
  250. table.table_list td.name { background-color: #d8f3af;
  251. width: 250px;
  252. }
  253. table.table_list td.summary { width: 100%; }
  254. dl.function dt { padding-top: 1em;
  255. border-top: 5px solid #4edee1;
  256. font-size: 1.4em;
  257. }
  258. dl.function dd {
  259. padding-bottom: 1em;
  260. width: 600px;
  261. }
  262. dl.function h3 {padding: 0; margin: 0; font-size: medium;
  263. font-variant: small-caps;
  264. }
  265. dl.function dd p.func_description
  266. {
  267. font-family: "Helvetica Neue", Arial, Helvetica, Geneva, sans-serif;
  268. padding: 2px;
  269. width: 500px;
  270. }
  271. dl.function dd ul li i small
  272. {
  273. color: #007b60;
  274. }
  275. dl.function dd ul li
  276. {
  277. background: #e9e9e9;
  278. padding-top: 2px;
  279. padding-bottom: 2px;
  280. padding-left: 5px;
  281. }
  282. dl.function dd ul li:nth-child(odd)
  283. {
  284. background: #f5f5f5;
  285. }
  286. dl.function dd ol
  287. {
  288. font-weight: normal;
  289. font-style: normal;
  290. }
  291. dl.function dd ol li
  292. {
  293. background-color: #ffd6d4;
  294. padding: 3px;
  295. font-style: italic;
  296. font-weight: bold;
  297. }
  298. dl.function dd ol li:nth-child(odd)
  299. {
  300. background-color: #ffeeed;
  301. }
  302. dl.table dd ul li
  303. {
  304. background: #e9e9e9;
  305. padding-top: 3px;
  306. padding-bottom: 3px;
  307. padding-left: 5px;
  308. }
  309. dl.table dd ul li:nth-child(odd)
  310. {
  311. background: #f5f5f5;
  312. }
  313. dl.function dd p.func_return
  314. {
  315. background-color: #ffd6d4;
  316. padding: 5px;
  317. font-weight: bold;
  318. font-style: italic;
  319. }
  320. dl.table dt { padding-top: 1em;
  321. border-top: 5px solid #a8f337;
  322. font-size: 1.4em;
  323. margin-bottom: 10px;
  324. }
  325. dl.table dd {padding-bottom: 1em;}
  326. dl.table h3 {padding: 0; font-size: medium;
  327. font-variant: small-caps;
  328. margin-top: 0;
  329. margin-left: 0;
  330. margin-right: 0;
  331. }
  332. dl.example dt {
  333. padding-top: 1em;
  334. border-top: 5px solid #ff072c;
  335. font-size: 1.4em;
  336. padding-bottom: 10px;
  337. }
  338. #TODO: make module_list, file_list, function_list, table_list inherit from a list