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