summaryrefslogtreecommitdiff
path: root/local.css
blob: e952861c4bd1fddc99dd0830a9b35fe77ed14ceb (plain)
  1. H1 {
  2. color: DarkRed;
  3. }
  4. H1,
  5. H2,
  6. H3 {
  7. margin-bottom: 0.1em;
  8. }
  9. H4,
  10. H5,
  11. H6 {
  12. text-decoration: blink;
  13. }
  14. H2 {
  15. font-size: 1.4em;
  16. }
  17. H3 {
  18. font-size: 1.1em;
  19. font-weight: bold;
  20. line-height: 1.6em;
  21. }
  22. a {
  23. color: darkblue;
  24. font-weight: normal;
  25. }
  26. p {
  27. margin-top: 0.2em;
  28. margin-bottom: 1.2em;
  29. }
  30. BODY {
  31. margin: 0;
  32. background-color: white;
  33. font-family: sans-serif;
  34. }
  35. DIV.header {
  36. padding: 0;
  37. background-color: LightBlue;
  38. color: LightBlue;
  39. }
  40. DIV.header,
  41. SPAN.author,
  42. DIV.recentchanges,
  43. SPAN.committype,
  44. DIV#footer {
  45. font-size: 80%;
  46. }
  47. DIV.pageheader SPAN.title {
  48. display: none;
  49. }
  50. SPAN.parentlinks {
  51. display: none;
  52. }
  53. FORM#searchform {
  54. margin: 20px;
  55. }
  56. Div.pageheader DIV.actions {
  57. background-color: LightBlue;
  58. }
  59. div.actions ul {
  60. border-bottom: 0;
  61. padding:0 0 0 15px;
  62. }
  63. DIV#topbar,
  64. DIV.topbar {
  65. height: 60px;
  66. margin: 0;
  67. padding: 20px 0;
  68. background-color: LightBlue;
  69. text-align: center;
  70. text-transform: uppercase;
  71. letter-spacing: 1px;
  72. }
  73. DIV#topbar p,
  74. DIV.topbar p {
  75. float: left;
  76. }
  77. DIV#topbar a,
  78. DIV.topbar a {
  79. font-weight: bold;
  80. }
  81. DIV#topbar ul,
  82. DIV.topbar ul {
  83. list-style-type:none;
  84. margin: 0;
  85. padding: 0;
  86. }
  87. DIV#topbar ul li,
  88. DIV.topbar ul li {
  89. display:inline;
  90. margin: 0 20px;
  91. }
  92. DIV#topbar li,
  93. DIV#topbar ul,
  94. DIV#topbar ul li,
  95. DIV#topbar ol,
  96. DIV#topbar ol li,
  97. DIV.topbar li,
  98. DIV.topbar ul,
  99. DIV.topbar ul li,
  100. DIV.topbar ol,
  101. DIV.topbar ol li {
  102. font-size: 1.1em;
  103. line-height: 2em;
  104. }
  105. DIV#topbar img,
  106. DIV.topbar img {
  107. margin: 0 20px;
  108. }
  109. DIV#wrapper,
  110. DIV#pagebody {
  111. float: left;
  112. width: 100%;
  113. }
  114. DIV#content {
  115. min-height: 480px;
  116. max-width: 48em;
  117. margin: 2% 40% 2% 20%;
  118. padding: 0;
  119. text-align: left;
  120. background-color: none;
  121. }
  122. DIV#content IMG {
  123. display: block;
  124. clear: both;
  125. float: right;
  126. width: 50%;
  127. max-width: 200px;
  128. margin-right: -50%;
  129. padding: 0 5% 5%;
  130. background-color: none;
  131. }
  132. DIV.inlinepage {
  133. border: 0;
  134. padding: 1em;
  135. margin: 0 -1em;
  136. background-color: LightYellow;
  137. }
  138. DIV.inlinepage SPAN.header a {
  139. font-size: 0.9em;
  140. font-weight: normal;
  141. color: DarkRed;
  142. }
  143. DIV.inlinefooter {
  144. display: none;
  145. }
  146. DIV#sidebar,
  147. DIV.sidebar {
  148. float: left;
  149. min-height: 480px;
  150. width: 14%;
  151. padding: 1%;
  152. margin-top: 2%;
  153. margin-left: -98%;
  154. margin-bottom: 2%;
  155. border: none;
  156. background-color: LightBlue;
  157. text-align: left;
  158. }
  159. DIV#sidebar ul,
  160. DIV.sidebar ul {
  161. padding-left: 0.5em;
  162. margin-bottom:0;
  163. margin-top:0;
  164. }
  165. DIV#sidebar ul li,
  166. DIV.sidebar ul li {
  167. list-style-type: none;
  168. padding: 0;
  169. }
  170. DIV#sidebar ul li a,
  171. DIV.sidebar ul li a {
  172. font-weight: normal;
  173. }
  174. DIV#sidebar ul li SPAN.selflink,
  175. DIV.sidebar ul li SPAN.selflink {
  176. color: DarkBlue;
  177. font-weight: bold;
  178. }
  179. DIV#farbar,
  180. DIV.farbar {
  181. float: left;
  182. min-height: 480px;
  183. width: 14%;
  184. margin-top: 2%;
  185. margin-left: -18%;
  186. margin-bottom: 2%;
  187. padding: 1%;
  188. background-color: LightBlue;
  189. text-align: left;
  190. }
  191. DIV.tags {
  192. display: none;
  193. }
  194. DIV#backlinks {
  195. display: none;
  196. }
  197. DIV#footer {
  198. clear: left;
  199. width: 100%;
  200. margin: 2% 0 0;
  201. }
  202. DIV#pageinfo {
  203. margin: 0;
  204. border-top: 0;
  205. padding:1em 1em 1em 20px;
  206. background-color: LightBlue;
  207. }
  208. DIV.pagedate {
  209. margin-top: 0;
  210. }
  211. DIV.pagecopyright,
  212. DIV.pagecopyright P {
  213. margin-top: 0;
  214. margin-bottom: 0;
  215. }