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