summaryrefslogtreecommitdiff
path: root/local.css
blob: 42185fcc64cd0ddc68322b6a4376b10b9405e6d3 (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.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. height: 60px;
  65. margin: 0;
  66. padding: 20px 0;
  67. background-color: LightBlue;
  68. text-align: center;
  69. text-transform: uppercase;
  70. letter-spacing: 1px;
  71. }
  72. DIV#topbar p {
  73. float: left;
  74. }
  75. DIV#topbar a {
  76. font-weight: bold;
  77. }
  78. DIV#topbar ul {
  79. list-style-type:none;
  80. margin: 0;
  81. padding: 0;
  82. }
  83. DIV#topbar ul li {
  84. display:inline;
  85. margin: 0 20px;
  86. }
  87. DIV#topbar li,
  88. DIV#topbar ul,
  89. DIV#topbar ul li,
  90. DIV#topbar ol,
  91. DIV#topbar ol li {
  92. font-size: 1.1em;
  93. line-height: 2em;
  94. }
  95. DIV#topbar img {
  96. margin: 0 20px;
  97. }
  98. DIV#wrapper {
  99. float: right;
  100. width: 35%;
  101. margin-right: 40%;
  102. }
  103. DIV#content {
  104. background-color: none;
  105. clear: both;
  106. margin: 20px auto 4em;
  107. padding: 0 1em 1em 1em;
  108. max-width: 48em;
  109. text-align: left;
  110. min-height: 480px;
  111. }
  112. DIV#content IMG {
  113. background-color: none;
  114. display: block;
  115. clear: both;
  116. float: right;
  117. margin-right: -250px;
  118. padding: 0 20px 20px 20px;
  119. }
  120. DIV.inlinepage {
  121. border: 0;
  122. padding: 1em;
  123. margin: 0 -1em;
  124. background-color: LightYellow;
  125. }
  126. DIV.inlinepage SPAN.header a {
  127. font-size: 0.9em;
  128. font-weight: normal;
  129. color: DarkRed;
  130. }
  131. DIV.inlinefooter {
  132. display: none;
  133. }
  134. DIV#sidebar {
  135. width: 15%;
  136. max-width: 180px;
  137. margin: 20px 20px 1em 20px;
  138. padding: 10px;
  139. background-color: LightBlue;
  140. min-height: 480px;
  141. float: left;
  142. display: inline;
  143. text-align: left;
  144. }
  145. DIV#sidebar ul {
  146. padding-left: 0.5em;
  147. margin-bottom:0;
  148. margin-top:0;
  149. }
  150. DIV#sidebar ul li {
  151. list-style-type: none;
  152. padding: 0;
  153. }
  154. DIV#sidebar ul li a {
  155. font-weight: normal;
  156. }
  157. DIV#sidebar ul li SPAN.selflink {
  158. color: DarkBlue;
  159. font-weight: bold;
  160. }
  161. DIV#farbar {
  162. background-color: LightBlue;
  163. clear: both;
  164. float: right;
  165. display: inline;
  166. margin: 20px 20px 1em 20px;
  167. max-width: 180px;
  168. padding: 10px;
  169. position: absolute;
  170. right: 0;
  171. text-align: left;
  172. width: 15%;
  173. min-height: 480px;
  174. }
  175. DIV.tags {
  176. display: none;
  177. }
  178. DIV#backlinks {
  179. display: none;
  180. }
  181. DIV#pageinfo {
  182. position: fixed;
  183. bottom: 0;
  184. width: 100%;
  185. border-top: 0;
  186. padding:1em 1em 1em 20px;
  187. margin: 15px 0 0 0;
  188. background-color: LightBlue;
  189. }
  190. DIV.pagedate {
  191. margin-top: 0;
  192. }
  193. DIV.pagecopyright,
  194. DIV.pagecopyright P {
  195. margin-top: 0;
  196. margin-bottom: 0;
  197. }