summaryrefslogtreecommitdiff
path: root/local.scss
blob: 7c8e89440ca725755552856e10a2a15cc11819ac (plain)
  1. h1 {
  2. color: DarkRed;
  3. font-size: 2 em;
  4. }
  5. h2 {
  6. font-size: 1.4em;
  7. }
  8. h3 {
  9. font-size: 1.1em;
  10. font-weight: bold;
  11. line-height: 1.6em;
  12. }
  13. h1,
  14. h2,
  15. h3 {
  16. margin-bottom: 0.1em;
  17. }
  18. h4,
  19. h5,
  20. h6 {
  21. text-decoration: blink;
  22. }
  23. a {
  24. color: darkblue;
  25. font-weight: normal;
  26. text-decoration: none;
  27. &:hover {
  28. text-decoration: underline;
  29. }
  30. }
  31. p {
  32. margin-top: 0.2em;
  33. margin-bottom: 1.2em;
  34. }
  35. ol, ul {
  36. list-style: disc inside none;
  37. }
  38. body {
  39. margin: 0;
  40. background-color: white;
  41. font-size: 100%;
  42. font-family: Helvetica, Verdana, Sans-serif;
  43. line-height: 1.5;
  44. }
  45. div.header {
  46. padding: 0;
  47. background-color: LightBlue;
  48. color: LightBlue;
  49. }
  50. div.header,
  51. span.author,
  52. div.recentchanges,
  53. span.committype,
  54. div#footer {
  55. font-size: 80%;
  56. }
  57. div.pageheader span.title {
  58. display: none;
  59. }
  60. span.parentlinks {
  61. display: none;
  62. }
  63. FORM#searchform {
  64. margin: 1em 3em 0 0;
  65. }
  66. div.pageheader div.actions {
  67. background-color: LightBlue;
  68. ul {
  69. border-bottom: none;
  70. }
  71. }
  72. div.actions ul {
  73. padding: 1em 0 0.5em 2em;
  74. a {
  75. color: Lightblue;
  76. &:hover {
  77. color: white;
  78. }
  79. }
  80. }
  81. div#topbar,
  82. div.topbar {
  83. height: 60px;
  84. margin: 0;
  85. padding: 20px 0;
  86. background-color: LightBlue;
  87. text-align: center;
  88. text-transform: uppercase;
  89. letter-spacing: 1px;
  90. p {
  91. float: left;
  92. }
  93. a {
  94. font-weight: bold;
  95. }
  96. ul {
  97. list-style-type:none;
  98. margin: 0;
  99. padding: 0;
  100. li {
  101. display:inline;
  102. margin: 0 20px;
  103. }
  104. }
  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. }