default.css 4.4 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323
  1. html {
  2. margin : 0;
  3. padding : 0;
  4. background : white;
  5. }
  6. body {
  7. font-family : "Lucida Grande", Verdana, "Bitstream Vera Sans", sans-serif;
  8. font-weight : normal;
  9. font-size : 13px;
  10. line-height : 19px;
  11. color : black;
  12. margin : 0 2em 0 2em;
  13. padding : 0;
  14. }
  15. body {
  16. min-width: 40em;
  17. }
  18. #container {
  19. max-width : 46em;
  20. margin : 0 auto;
  21. padding : 0 1em 0 1em;
  22. }
  23. /*
  24. * Footer
  25. *
  26. */
  27. #footer {
  28. color : #3a84a7;
  29. padding : 1em 0 0.5em 0;
  30. font-size : 10px;
  31. line-height : 15px;
  32. text-align: center;
  33. }
  34. #footer a:link, #footer a:visited {
  35. color:#1d6699;
  36. text-decoration: underline;
  37. }
  38. #footer a {
  39. margin-left: 0.7em;
  40. margin-right: 0.7em;
  41. }
  42. #footer p {
  43. padding: 0;
  44. margin: 0.3em 0 0 0;
  45. }
  46. /* Distribution terms. */
  47. #footer #terms {
  48. text-align: justify;
  49. font-size : 110%;
  50. font-family : monospace;
  51. padding : 1em 0 0.5em 0;
  52. }
  53. /*
  54. * Content
  55. *
  56. */
  57. #content {
  58. padding : 0em 0.1em 0 1.3em;
  59. margin : 1.4em 0 0 0;
  60. }
  61. #content p,
  62. #content ol,
  63. #content ul,
  64. #content dl {
  65. text-align: justify;
  66. }
  67. #content h1 {
  68. margin-left: -0.89em;
  69. }
  70. a:link {
  71. color:#0536d2;
  72. }
  73. /*
  74. * Headings
  75. *
  76. */
  77. h1, h2, h3, h4, h5, h6 {
  78. font-weight : 500;
  79. }
  80. h1 { font-size : 155%; }
  81. h2 { font-size : 130%; }
  82. h3 { font-size : 125%; }
  83. h4 { font-size : 110%; }
  84. h5 { font-size : 106%; }
  85. h6 { font-size : 100%; }
  86. h1 { margin : 1.8em 0 0.8em 0;}
  87. h2 { margin-top : 1.4em;}
  88. h3 { margin-top : 1em;}
  89. p.indent {
  90. margin-left : 1.5em;
  91. }
  92. /*
  93. * Fix for IE 5.5 table font problem
  94. *
  95. */
  96. table {
  97. font-size : 13px;
  98. }
  99. /*
  100. * table of content
  101. *
  102. */
  103. ul.toc li {
  104. padding : .4em 0em 0em 0em;
  105. }
  106. /* Toc links don't need to show when they are visited. */
  107. .toc a:visited {
  108. color:#0536d2;
  109. }
  110. /*
  111. * lists
  112. *
  113. */
  114. /* list of links */
  115. ul.menu {
  116. list-style-type : none;
  117. }
  118. ul.menu li {
  119. padding-top : 0.3em;
  120. padding-bottom : 0.3em;
  121. }
  122. /* @@ I should probably use child selector here */
  123. /* list with multiline list-elements */
  124. ul.multiline li, ol.multiline li, dl.multiline dd {
  125. padding-top : 0.16em;
  126. padding-bottom : 0.16em;
  127. font-size : 11px;
  128. line-height : 15px;
  129. }
  130. /* C++ code snippet */
  131. pre.cxx {
  132. margin-top : 0em;
  133. margin-bottom : 2em;
  134. margin-left : 1em;
  135. }
  136. /* SQL code snippet */
  137. pre.sql {
  138. margin-top : 0em;
  139. margin-bottom : 2em;
  140. margin-left : 1em;
  141. }
  142. /* make code snippet */
  143. pre.make {
  144. margin-top : 0em;
  145. margin-bottom : 2em;
  146. margin-left : 1em;
  147. }
  148. /* terminal output */
  149. pre.term {
  150. margin-top : 0em;
  151. margin-bottom : 2em;
  152. margin-left : 1em;
  153. }
  154. /* Images */
  155. div.center {
  156. text-align: center;
  157. }
  158. /* Document info. */
  159. #docinfo {
  160. margin-top: 4em;
  161. border-top: 1px dashed #000000;
  162. font-size: 70%;
  163. }
  164. /* Footnote */
  165. #footnote {
  166. margin-top : 2.5em;
  167. }
  168. #footnote hr, hr.footnote {
  169. margin-left: 0;
  170. margin-bottom: 0.6em;
  171. width: 8em;
  172. border-top: 1px solid #000000;
  173. border-right: none;
  174. border-bottom: none;
  175. border-left: none;
  176. }
  177. #footnote ol {
  178. margin-left: 0;
  179. padding-left: 1.45em;
  180. }
  181. #footnote li {
  182. text-align : left;
  183. font-size : 11px;
  184. line-height : 15px;
  185. padding : .4em 0 .4em 0;
  186. }
  187. /* Normal table with borders, etc. */
  188. table.std {
  189. margin: 2em 0 2em 0;
  190. border-collapse : collapse;
  191. border : 1px solid;
  192. border-color : #000000;
  193. font-size : 11px;
  194. line-height : 14px;
  195. }
  196. table.std th, table.std td {
  197. border : 1px solid;
  198. padding : 0.6em 0.8em 0.6em 0.8em;
  199. }
  200. table.std th {
  201. background : #cde8f6;
  202. }
  203. table.std td {
  204. text-align: left;
  205. }
  206. /*
  207. * "item | description" table.
  208. *
  209. */
  210. table.description {
  211. border-style : none;
  212. border-collapse : separate;
  213. border-spacing : 0;
  214. font-size : 13px;
  215. margin : 0.6em 0 0.6em 0;
  216. padding : 0 0 0 0;
  217. }
  218. table.description tr {
  219. padding : 0 0 0 0;
  220. margin : 0 0 0 0;
  221. }
  222. table.description * td, table.description * th {
  223. border-style : none;
  224. margin : 0 0 0 0;
  225. vertical-align : top;
  226. }
  227. table.description * th {
  228. font-weight : normal;
  229. padding : 0.4em 1em 0.4em 0;
  230. text-align : left;
  231. white-space : nowrap;
  232. background : none;
  233. }
  234. table.description * td {
  235. padding : 0.4em 0 0.4em 1em;
  236. text-align : justify;
  237. }