pedia.css 4.2 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252
  1. /* Public Domain */
  2. body {
  3. font-family: sans-serif;
  4. font-size: 0.8em;
  5. line-height: 1.5em;
  6. margin: 0;
  7. padding: 0;
  8. background: #fafafa repeat-y url(/css/emacs_sidebar_pedia.png)
  9. }
  10. /* Google Search Box */
  11. div.header form {
  12. position: absolute;
  13. top: 0;
  14. right: 1em;
  15. }
  16. /* Logo */
  17. img.logo {
  18. display: none;
  19. }
  20. a.logo {
  21. display: block;
  22. position: absolute;
  23. top: 0;
  24. left: 0;
  25. width: 196px;
  26. height: 150px;
  27. background:transparent url(/css/emacs_logo_pedia.png);
  28. }
  29. /* Side Bar */
  30. span.gotobar {
  31. position: absolute;
  32. top: 150px;
  33. left: 0pt;
  34. width: 196px;
  35. }
  36. span.gotobar a {
  37. display: block;
  38. font-size: 100%;
  39. margin-left: 1.5em;
  40. margin-top: 0.5em;
  41. }
  42. /* Links */
  43. a {
  44. color: #55b;
  45. text-decoration: none;
  46. }
  47. a:visited {
  48. color: #31b;
  49. }
  50. /* Header */
  51. div.header {
  52. margin-left: 196px;
  53. height: 110px;
  54. background-color: white;
  55. padding: 10px;
  56. }
  57. div.header .specialdays {
  58. display: block;
  59. position: absolute;
  60. top: 10px;
  61. }
  62. div.header h1 {
  63. font-weight: normal;
  64. margin-top: 40px;
  65. padding-top: 40px;
  66. padding-bottom: 7px;
  67. border-top: 1px solid #aaccff;
  68. border-bottom: 1px solid #aaaaaa;
  69. width: auto;
  70. white-space: nowrap;
  71. }
  72. div.header h1 a {
  73. color: black;
  74. }
  75. /* Top Link Bar */
  76. div.footer span.edit {
  77. display: block;
  78. position: absolute;
  79. top: 30px;
  80. left: 206px;
  81. white-space: nowrap;
  82. }
  83. div.footer span.edit br {
  84. display: none;
  85. }
  86. div.footer span.edit a {
  87. padding-right: 1em;
  88. }
  89. /* But the talk link goes elsewhere */
  90. body.top div.footer span.edit a.original,
  91. body.top div.footer span.edit a.comment {
  92. position: absolute;
  93. top: 25px;
  94. }
  95. /* On the edit page, the buttons (6th paragraph) go up */
  96. body.top div.edit {
  97. margin-top: 30px;
  98. }
  99. body.top div.edit {
  100. margin-top: 30px;
  101. }
  102. body.top p + p + p + p + p + p {
  103. position: absolute;
  104. top: 140px;
  105. }
  106. body.top p + p + p + p + p + p + p {
  107. position: static;
  108. }
  109. /* Messages */
  110. div.message {
  111. position: absolute;
  112. top: 1px;
  113. left: 206px;
  114. color: red;
  115. }
  116. /* Content */
  117. div.content, div.rc, div.diff, div.comment {
  118. margin-left: 196px; /* see gotobar */
  119. padding: 1em;
  120. border-bottom: 1px solid #aaccff;
  121. background: white;
  122. }
  123. pre {
  124. border: 1pt dashed black;
  125. font-size: 8pt;
  126. overflow: auto;
  127. padding: 1em;
  128. white-space: pre;
  129. }
  130. p {
  131. margin-top: 0.4em;
  132. margin-right: 0pt;
  133. margin-bottom: 0.5em;
  134. margin-left: 0pt;
  135. }
  136. ul {
  137. list-style-type: square;
  138. }
  139. li {
  140. margin-bottom: 0.1em;
  141. }
  142. /* Table of Contents */
  143. div.toc {
  144. width: 50%;
  145. font-size: 90%;
  146. padding: 0 1em;
  147. margin: 2em 0;
  148. border: 1px solid #ddd;
  149. }
  150. /* Diff */
  151. div.diff {
  152. font-size: 90%;
  153. }
  154. div.diff p b {
  155. font-size: 150%;
  156. font-weight: normal;
  157. }
  158. div.old {
  159. background-color:#FFFFAF;
  160. }
  161. div.new {
  162. background-color:#CFFFCF;
  163. }
  164. div.wrapper div.diff + hr {
  165. display: none;
  166. }
  167. /* portrait support */
  168. div.color {
  169. clear:left;
  170. }
  171. div.one {
  172. background-color:#eee;
  173. padding: 0.1ex 0;
  174. }
  175. img.portrait {
  176. float:left;
  177. clear:left;
  178. background-color:#fff;
  179. border: 1px solid #999;
  180. padding:10px;
  181. margin:10px;
  182. }
  183. li {
  184. margin-left:1em;
  185. }
  186. div.portrait {
  187. float: left;
  188. clear: left;
  189. font-size: xx-small;
  190. padding-left: 10px;
  191. }
  192. div.portrait + p {
  193. min-height:70px;
  194. }
  195. div.portrait img.portrait {
  196. float:none;
  197. margin:10px 10px 0 0;
  198. }
  199. div.portrait a {
  200. text-decoration:none;
  201. color:#999;
  202. }
  203. /* IRC */
  204. dl.irc dt {
  205. width:15ex;
  206. float:left;
  207. text-align:right;
  208. clear:left;
  209. }
  210. dl.irc dt span.time { display:none; }
  211. dl.irc dd {
  212. margin-left:17ex;
  213. }
  214. /* Category Convention */
  215. hr {
  216. border: none;
  217. color: #aaccff;
  218. background-color: #aaccff;
  219. height: 1px;
  220. padding: 0px;
  221. margin: 1em 0;
  222. }
  223. hr + p:last-child {
  224. background-color: #fafafa;
  225. padding: 1em;
  226. border: 1px solid #aaaaaa;
  227. }
  228. /* Comment Pages */
  229. form.comment span {
  230. display: block;
  231. padding: 0.2em 0;
  232. }
  233. form.comment span label {
  234. display: inline-block;
  235. width: 10em;
  236. }
  237. form.comment span input {
  238. display: inline-block;
  239. width: 20em;
  240. }
  241. /* Footer */
  242. div.footer {
  243. font-size: 0.9em;
  244. margin: 0;
  245. padding: 1ex 1em 1ex 206px;
  246. background: #fafafa;
  247. }
  248. div.footer span.gotobar, div.footer hr {
  249. display: none;
  250. }