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