luadoc.css 5.2 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285
  1. body {
  2. margin-left: 1em;
  3. margin-right: 1em;
  4. font-family: arial, helvetica, geneva, sans-serif;
  5. background-color:#ffffff; margin:0px;
  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: 1em 0 0.5em; }
  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: disc; }
  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: 1em auto;
  69. }
  70. th {
  71. border: 1px solid black;
  72. padding: 0.5em;
  73. }
  74. td {
  75. border: 1px solid black;
  76. padding: 0.5em;
  77. }
  78. div.header, div.footer { margin-left: 0em; }
  79. #container
  80. {
  81. margin-left: 1em;
  82. margin-right: 1em;
  83. background-color: #f0f0f0;
  84. }
  85. #product
  86. {
  87. text-align: center;
  88. border-bottom: 1px solid #cccccc;
  89. background-color: #ffffff;
  90. }
  91. #product big {
  92. font-size: 2em;
  93. }
  94. #product_logo
  95. {
  96. }
  97. #product_name
  98. {
  99. }
  100. #product_description
  101. {
  102. }
  103. #main
  104. {
  105. background-color: #f0f0f0;
  106. border-left: 2px solid #cccccc;
  107. }
  108. #navigation
  109. {
  110. float: left;
  111. width: 18em;
  112. margin: 0;
  113. vertical-align: top;
  114. background-color: #f0f0f0;
  115. overflow:visible;
  116. }
  117. #navigation h1 {
  118. background-color:#e7e7e7;
  119. font-size:1.1em;
  120. color:#000000;
  121. text-align:left;
  122. margin:0px;
  123. padding:0.2em;
  124. border-top:1px solid #dddddd;
  125. border-bottom:1px solid #dddddd;
  126. }
  127. #navigation ul
  128. {
  129. font-size:1em;
  130. list-style-type: none;
  131. padding: 0;
  132. margin: 1px;
  133. }
  134. #navigation li
  135. {
  136. text-indent: -1em;
  137. margin: 0em 0em 0em 0.5em;
  138. display: block;
  139. padding: 3px 0px 0px 12px;
  140. }
  141. #navigation li li a
  142. {
  143. padding: 0px 3px 0px -1em;
  144. }
  145. #content
  146. {
  147. margin-left: 18em;
  148. padding: 1em;
  149. border-left: 2px solid #cccccc;
  150. border-right: 2px solid #cccccc;
  151. background-color: #ffffff;
  152. }
  153. #about
  154. {
  155. clear: both;
  156. margin: 0;
  157. padding: 5px;
  158. border-top: 2px solid #cccccc;
  159. background-color: #ffffff;
  160. }
  161. @media print {
  162. body {
  163. font: 12pt "Times New Roman", "TimeNR", Times, serif;
  164. }
  165. a { font-weight:bold; color: #004080; text-decoration: underline; }
  166. #main { background-color: #ffffff; border-left: 0px; }
  167. #container { margin-left: 2%; margin-right: 2%; background-color: #ffffff; }
  168. #content { margin-left: 0px; padding: 1em; border-left: 0px; border-right: 0px; background-color: #ffffff; }
  169. #navigation { display: none;
  170. }
  171. pre.example {
  172. font-family: "Andale Mono", monospace;
  173. font-size: 10pt;
  174. page-break-inside: avoid;
  175. }
  176. }
  177. table.module_list td
  178. {
  179. border-width: 1px;
  180. padding: 3px;
  181. border-style: solid;
  182. border-color: #cccccc;
  183. }
  184. table.module_list td.name { background-color: #f0f0f0; }
  185. table.module_list td.summary { width: 100%; }
  186. table.file_list
  187. {
  188. border-width: 1px;
  189. border-style: solid;
  190. border-color: #cccccc;
  191. border-collapse: collapse;
  192. }
  193. table.file_list td
  194. {
  195. border-width: 1px;
  196. padding: 3px;
  197. border-style: solid;
  198. border-color: #cccccc;
  199. }
  200. table.file_list td.name { background-color: #f0f0f0; }
  201. table.file_list td.summary { width: 100%; }
  202. table.function_list
  203. {
  204. border-width: 1px;
  205. border-style: solid;
  206. border-color: #cccccc;
  207. border-collapse: collapse;
  208. }
  209. table.function_list td
  210. {
  211. border-width: 1px;
  212. padding: 3px;
  213. border-style: solid;
  214. border-color: #cccccc;
  215. }
  216. table.function_list td.name { background-color: #f0f0f0; }
  217. table.function_list td.summary { width: 100%; }
  218. table.table_list
  219. {
  220. border-width: 1px;
  221. border-style: solid;
  222. border-color: #cccccc;
  223. border-collapse: collapse;
  224. }
  225. table.table_list td
  226. {
  227. border-width: 1px;
  228. padding: 3px;
  229. border-style: solid;
  230. border-color: #cccccc;
  231. }
  232. table.table_list td.name { background-color: #f0f0f0; }
  233. table.table_list td.summary { width: 100%; }
  234. dl.function dt {border-top: 1px solid #ccc; padding-top: 1em;}
  235. dl.function dd {padding: 0.5em 0;}
  236. dl.function h3 {margin: 0; font-size: medium;}
  237. dl.table dt {border-top: 1px solid #ccc; padding-top: 1em;}
  238. dl.table dd {padding-bottom: 1em;}
  239. dl.table h3 {padding: 0; margin: 0; font-size: medium;}
  240. #TODO: make module_list, file_list, function_list, table_list inherit from a list