summaryrefslogtreecommitdiff
path: root/local.css
blob: aa9ad669b5a7114667f51f71dbd292dda77ee1fa (plain)
  1. H1 {
  2. margin-top: 1em;
  3. margin-bottom: 1em;
  4. }
  5. H2,
  6. H3 {
  7. margin-top: 1em;
  8. margin-bottom: 0.1em;
  9. }
  10. H1,
  11. H2,
  12. H3,
  13. H4,
  14. H5,
  15. H6 {
  16. color: #06c;
  17. }
  18. H2 {
  19. font-size:1.6em;
  20. }
  21. A {
  22. color: #06c;
  23. font-weight: normal;
  24. }
  25. A:hover {
  26. color: #06c;
  27. }
  28. EM {
  29. color: black;
  30. font-style: normal;
  31. font-weight: bold;
  32. }
  33. IMG.icon {
  34. float: right;
  35. height: 20%;
  36. width: 20%;
  37. margin-right: -30%;
  38. }
  39. body {
  40. /* background-color: transparent;
  41. background-image: url("pil.png");
  42. background-repeat: no-repeat;
  43. background-attachment: fixed;
  44. background-position: right bottom;
  45. margin: 0 0 100px 0;*/
  46. }
  47. DIV.header span {
  48. display: none;
  49. }
  50. DIV.pageheader {
  51. background-color: #9cf;
  52. }
  53. DIV#branding {
  54. position: fixed;
  55. bottom: 5.5em;
  56. right: 3%;
  57. }
  58. DIV.topbar {
  59. float: right;
  60. background-color: #9cf;
  61. margin: 0;
  62. padding: 0;
  63. text-align: center;
  64. width: 100%;
  65. }
  66. DIV.topbar a {
  67. text-decoration: none;
  68. color: #06c;
  69. font-weight: bold;
  70. }
  71. DIV.topbar ul {
  72. list-style-type: none;
  73. padding: 0;
  74. margin-top: 0;
  75. margin-bottom: 0;
  76. font-size: 1.3em;
  77. font-weight: bold;
  78. line-height: 2.5em;
  79. }
  80. DIV.topbar ul li {
  81. display: inline;
  82. color: #06c;
  83. font-weight: bold;
  84. margin: 0 3em;
  85. }
  86. DIV.topbar a:hover {
  87. color: white;
  88. }
  89. DIV.topbar span.selflink {
  90. color: white;
  91. }
  92. FORM#searchform {
  93. display: block;
  94. right: 15px;
  95. margin: 0;
  96. position: absolute;
  97. top: 5px;
  98. }
  99. DIV#pagebody {
  100. float: left;
  101. width: 100%;
  102. }
  103. DIV#content {
  104. margin: 2% 25% 15% 25%;
  105. padding: 0;
  106. max-width: 55em;
  107. }
  108. DIV.sidebar {
  109. float: left;
  110. border: none;
  111. margin-top: 1em;
  112. margin-left: -100%;
  113. margin-right: 2%;
  114. width: 17%;
  115. padding: 0 0 0 1%;
  116. }
  117. DIV.sidebar UL {
  118. margin: 0px;
  119. padding: 0px;
  120. text-transform: none;
  121. font-weight: bold;
  122. }
  123. DIV.sidebar UL LI {
  124. line-height: 2;
  125. list-style-type: none;
  126. }
  127. DIV.sidebar UL LI SPAN.selflink {
  128. color: #06c;
  129. }
  130. DIV.sidebar UL UL LI {
  131. margin-left: 10%;
  132. }
  133. DIV.sidebar A {
  134. text-decoration: none;
  135. color: black;
  136. font-weight: bold;
  137. }
  138. DIV.sidebar A:hover {
  139. text-decoration: underline;
  140. color: #06c;
  141. }
  142. DIV.sidebar DIV.notebox {
  143. color: white !important;
  144. background: #ff30ff;
  145. border: none;
  146. text-align: left;
  147. }
  148. /* TODO: drop when nn4.css is dropped */
  149. DIV.sidebar DIV.notebox p {
  150. color: white;
  151. }
  152. DIV.sidebar DIV.notebox A {
  153. color: inherit;
  154. }
  155. DIV.farbar {
  156. float: left;
  157. margin-left: -25%;
  158. background: lightblue;
  159. width: 25%;
  160. max-width: 300px;
  161. }
  162. DIV.notebox {
  163. float: none;
  164. width: 100%;
  165. color: #06c !important;
  166. background: none;
  167. margin-left: 0;
  168. border: medium dashed #9cf;
  169. text-align: center;
  170. }
  171. /* TODO: drop when nn4.css is dropped */
  172. DIV.notebox p {
  173. color: #06c;
  174. text-align: center;
  175. }
  176. DIV.inlinepage {
  177. color: lightblue;
  178. margin: 1em 0;
  179. border: 0;
  180. border-style: none none solid;
  181. border-width: 1px;
  182. padding: 1 em;
  183. }
  184. DIV.inlinepage DIV.inlinepage {
  185. margin: 0;
  186. padding: 0;
  187. border-style: 0;
  188. border-width: 0;
  189. }
  190. DIV.inlinepage IMG.icon {
  191. margin-right: 0;
  192. padding: 1%;
  193. height: 15%;
  194. width: 15%;
  195. }
  196. DIV.inlinepage DIV.inlinepage DIV.inlineheader,
  197. DIV.inlinefooter {
  198. display: none;
  199. }
  200. div#footer{
  201. width:100%
  202. }
  203. div#pageinfo {
  204. position: fixed;
  205. bottom: 0;
  206. width: 100%;
  207. border-top: 0;
  208. padding: 1em 1em 1em 20px;
  209. margin: 15px 0 0 0;
  210. color: white;
  211. background-color: #9cf;
  212. }
  213. DIV.tags {
  214. display: none;
  215. }
  216. div#backlinks {
  217. display: none;
  218. }
  219. DIV.pageheader div.actions ul {
  220. border-bottom: 0;
  221. }
  222. DIV.pagedate {
  223. margin-top: 0;
  224. }
  225. DIV.pagecopyright,
  226. DIV.pagecopyright P {
  227. margin-top: 0;
  228. margin-bottom: 0;
  229. }