summaryrefslogtreecommitdiff
path: root/local.css
blob: 0f479fd1d7b387447002497faed304e32ec53168 (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-top: 2%;
  158. margin-left: -23%;
  159. background: lightblue;
  160. width: 20%;
  161. max-width: 300px;
  162. padding: 1%;
  163. }
  164. DIV.notebox {
  165. float: none;
  166. width: 100%;
  167. color: #06c !important;
  168. background: none;
  169. margin-left: 0;
  170. border: medium dashed #9cf;
  171. text-align: center;
  172. }
  173. /* TODO: drop when nn4.css is dropped */
  174. DIV.notebox p {
  175. color: #06c;
  176. text-align: center;
  177. }
  178. DIV.inlinepage {
  179. color: lightblue;
  180. margin: 1em 0;
  181. border: 0;
  182. border-style: none none solid;
  183. border-width: 1px;
  184. padding: 1 em;
  185. }
  186. DIV.inlinepage DIV.inlinepage {
  187. margin: 0;
  188. padding: 0;
  189. border-style: 0;
  190. border-width: 0;
  191. }
  192. DIV.inlinepage IMG.icon {
  193. margin-right: 0;
  194. padding: 1%;
  195. height: 15%;
  196. width: 15%;
  197. }
  198. DIV.inlinepage DIV.inlinepage DIV.inlineheader,
  199. DIV.inlinefooter {
  200. display: none;
  201. }
  202. div#footer{
  203. width:100%
  204. }
  205. div#pageinfo {
  206. position: fixed;
  207. bottom: 0;
  208. width: 100%;
  209. border-top: 0;
  210. padding: 1em 1em 1em 20px;
  211. margin: 15px 0 0 0;
  212. color: white;
  213. background-color: #9cf;
  214. }
  215. DIV.tags {
  216. display: none;
  217. }
  218. div#backlinks {
  219. display: none;
  220. }
  221. DIV.pageheader div.actions ul {
  222. border-bottom: 0;
  223. }
  224. DIV.pagedate {
  225. margin-top: 0;
  226. }
  227. DIV.pagecopyright,
  228. DIV.pagecopyright P {
  229. margin-top: 0;
  230. margin-bottom: 0;
  231. }