summaryrefslogtreecommitdiff
path: root/local.scss
blob: c789068aee606d6436b634abb9f6ff0249bd460a (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-size: 100%;
  34. font-family: Helvetica, Verdana, Sans-serif;
  35. line-height: 1.5;
  36. }
  37. DIV.header {
  38. padding: 0;
  39. background-color: LightBlue;
  40. color: LightBlue;
  41. }
  42. DIV.header,
  43. SPAN.author,
  44. DIV.recentchanges,
  45. SPAN.committype,
  46. DIV#footer {
  47. font-size: 80%;
  48. }
  49. DIV.pageheader SPAN.title {
  50. display: none;
  51. }
  52. SPAN.parentlinks {
  53. display: none;
  54. }
  55. FORM#searchform {
  56. margin: 20px;
  57. }
  58. div.pageheader div.actions {
  59. background-color: LightBlue;
  60. ul {
  61. border-bottom: none;
  62. }
  63. }
  64. div.actions ul {
  65. padding: 1em 0 0.5em 2em;
  66. a {
  67. color: Lightblue;
  68. &:hover {
  69. color: white;
  70. }
  71. }
  72. }
  73. DIV#topbar,
  74. DIV.topbar {
  75. height: 60px;
  76. margin: 0;
  77. padding: 20px 0;
  78. background-color: LightBlue;
  79. text-align: center;
  80. text-transform: uppercase;
  81. letter-spacing: 1px;
  82. }
  83. DIV#topbar p,
  84. DIV.topbar p {
  85. float: left;
  86. }
  87. DIV#topbar a,
  88. DIV.topbar a {
  89. font-weight: bold;
  90. }
  91. DIV#topbar ul,
  92. DIV.topbar ul {
  93. list-style-type:none;
  94. margin: 0;
  95. padding: 0;
  96. }
  97. DIV#topbar ul li,
  98. DIV.topbar ul li {
  99. display:inline;
  100. margin: 0 20px;
  101. }
  102. DIV#topbar li,
  103. DIV#topbar ul,
  104. DIV#topbar ul li,
  105. DIV#topbar ol,
  106. DIV#topbar ol li,
  107. DIV.topbar li,
  108. DIV.topbar ul,
  109. DIV.topbar ul li,
  110. DIV.topbar ol,
  111. DIV.topbar ol li {
  112. font-size: 1.1em;
  113. line-height: 2em;
  114. }
  115. DIV#topbar img,
  116. DIV.topbar img {
  117. margin: 0 20px;
  118. }
  119. DIV#wrapper,
  120. DIV#pagebody {
  121. float: left;
  122. width: 100%;
  123. }
  124. DIV#content {
  125. min-height: 480px;
  126. max-width: 48em;
  127. margin: 2% 40% 2% 20%;
  128. padding: 0;
  129. text-align: left;
  130. background-color: none;
  131. }
  132. DIV#content IMG {
  133. display: block;
  134. clear: both;
  135. float: right;
  136. width: 50%;
  137. max-width: 200px;
  138. margin-right: -50%;
  139. padding: 0 5% 5%;
  140. background-color: none;
  141. }
  142. DIV.inlinepage {
  143. border: 0;
  144. padding: 1em;
  145. margin: 0 -1em;
  146. background-color: LightYellow;
  147. }
  148. DIV.inlinepage SPAN.header a {
  149. font-size: 0.9em;
  150. font-weight: normal;
  151. color: DarkRed;
  152. }
  153. DIV.inlinefooter {
  154. display: none;
  155. }
  156. DIV#sidebar,
  157. DIV.sidebar {
  158. float: left;
  159. min-height: 480px;
  160. width: 14%;
  161. padding: 1%;
  162. margin-top: 2%;
  163. margin-left: -98%;
  164. margin-bottom: 2%;
  165. border: none;
  166. background-color: LightBlue;
  167. text-align: left;
  168. }
  169. DIV#sidebar ul,
  170. DIV.sidebar ul {
  171. padding-left: 0.5em;
  172. margin-bottom:0;
  173. margin-top:0;
  174. }
  175. DIV#sidebar ul li,
  176. DIV.sidebar ul li {
  177. list-style-type: none;
  178. padding: 0;
  179. }
  180. DIV#sidebar ul li,
  181. DIV.sidebar ul li,
  182. DIV#sidebar ul li p,
  183. DIV.sidebar ul li p {
  184. margin-bottom: 0;
  185. line-height: 1.5em;
  186. }
  187. DIV#sidebar ul li a,
  188. DIV.sidebar ul li a {
  189. font-weight: normal;
  190. }
  191. DIV#sidebar ul li SPAN.selflink,
  192. DIV.sidebar ul li SPAN.selflink {
  193. color: DarkBlue;
  194. font-weight: bold;
  195. }
  196. DIV#farbar,
  197. DIV.farbar {
  198. float: left;
  199. min-height: 480px;
  200. width: 14%;
  201. margin-top: 2%;
  202. margin-left: -18%;
  203. margin-bottom: 2%;
  204. padding: 1%;
  205. background-color: LightBlue;
  206. text-align: left;
  207. }
  208. DIV.tags {
  209. display: none;
  210. }
  211. DIV#backlinks {
  212. display: none;
  213. }
  214. DIV#footer {
  215. clear: left;
  216. width: 100%;
  217. margin: 2% 0 0;
  218. }
  219. DIV#pageinfo {
  220. margin: 0;
  221. border-top: 0;
  222. padding:1em 1em 1em 20px;
  223. background-color: LightBlue;
  224. }
  225. DIV.pagedate {
  226. margin-top: 0;
  227. }
  228. DIV.pagecopyright,
  229. DIV.pagecopyright P {
  230. margin-top: 0;
  231. margin-bottom: 0;
  232. }