cali.css 5.5 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278
  1. body {
  2. margin: 0px 0px 20px 0px;
  3. padding: 30px 40px;
  4. background: #FFF;
  5. font-family: "Lucida Grande", Verdana, Geneva, Arial, sans-serif;
  6. font-size: small;
  7. }
  8. /* grey underlined links that turn black as you are about to click */
  9. a {
  10. color: #707070;
  11. background-color: inherit;
  12. text-decoration: none;
  13. }
  14. div.content a {
  15. text-decoration: underline;
  16. }
  17. a:link {
  18. color: #707070;
  19. background-color: inherit;
  20. }
  21. a:visited {
  22. color: #707070;
  23. background-color: inherit;
  24. }
  25. a:active {
  26. color: #000000;
  27. background-color: inherit;
  28. }
  29. a:hover {
  30. color: #000000;
  31. background-color: inherit;
  32. }
  33. a.near:link { color: #036; background-color: inherit; }
  34. a.near:visited { color: #69c; background-color: inherit; }
  35. a.near:active { color: #390; background-color: inherit; }
  36. a.near:hover { color: #390; background-color: inherit; }
  37. a[class="url outside"]:before { content: "\2197"; }
  38. body.safari a[class="url outside"]:before { content: url(http://www.emacswiki.org/alex/pics/arrow.png); }
  39. /* goto bar, navigation bar, etc. */
  40. span.bar a { margin-right: 1ex; }
  41. /* logo on the right */
  42. img.logo {
  43. float: right;
  44. padding: 0;
  45. border: none;
  46. }
  47. /* headers */
  48. h1, h2, h3 {
  49. margin: 0px;
  50. padding: 0px;
  51. font-weight: normal;
  52. line-height: normal;
  53. clear: both;
  54. }
  55. /* dashed line and whitespace after the title */
  56. div.header h1 {
  57. font-size: 28pt;
  58. font-family: "Century Gothic", "Gill Sans", Helvetica, sans-serif;
  59. font-weight: 100;
  60. letter-spacing: 0.07em;
  61. margin-top: 30px;
  62. padding-bottom: 30px;
  63. margin-bottom: 30px;
  64. border-bottom: 1px dashed #333;
  65. }
  66. div.header h1 a {
  67. color: inherit;
  68. background-color: inherit;
  69. }
  70. /* add a dashed line and whitespace before subheadings */
  71. h2 {
  72. margin-top: 2em;
  73. padding-top: 2em;
  74. border-top: 1px dashed #333;
  75. }
  76. /* after a subheading, no whitespace */
  77. h2 + p, h3 + p {
  78. margin-top: 0;
  79. }
  80. /* when the subheading starts the page, no dashed line and whitespace,
  81. because that is already added by the header. */
  82. h2:first-child {
  83. padding-top: 0;
  84. border: none;
  85. }
  86. /* major subtitles blue and not underlined, both for journals and normal pages.
  87. within journals, do not use a horizontal line to separate entries. */
  88. h2, div.journal h1 {
  89. font-size: inherit;
  90. font-weight: bold;
  91. }
  92. h3, div.journal h1 a {
  93. color: #009;
  94. background-color: inherit;
  95. text-decoration: none;
  96. }
  97. hr {
  98. border: none;
  99. margin: 2em;
  100. }
  101. /* table on the new page */
  102. p.table a { float: left; width: 20ex; }
  103. p.table + p { clear: both; padding-top: 10px; }
  104. /* edit pages */
  105. textarea[name="text"] { width: 100%; height: 80%; }
  106. textarea[name="summary"] { width: 100%; height: 3em; }
  107. /* comments */
  108. textarea[name="aftertext"] {
  109. width: 100%;
  110. height: 10em;
  111. margin: 1em 0;
  112. }
  113. div.commentshown {
  114. font-size: smaller;
  115. padding: 0 2em 1ex 2em;
  116. }
  117. div.commentshown hr {
  118. margin: 1em;
  119. }
  120. div.commenthidden { display: none; }
  121. div.commentshown { display: block; }
  122. p.comment { font-size: x-small; }
  123. /* cal */
  124. div.month {
  125. padding: 0;
  126. margin: 0 2ex;
  127. }
  128. div.month a {
  129. text-decoration: none;
  130. }
  131. /* pre gets different colors below */
  132. div.month pre {
  133. color: inherit;
  134. background-color: inherit;
  135. }
  136. body div.month {
  137. float: right;
  138. padding: 0 1ex;
  139. }
  140. div.year div.month {
  141. float: left;
  142. padding: 0;
  143. }
  144. div.month a.edit {
  145. color: inherit;
  146. background-color: inherit;
  147. font-weight: inherit;
  148. }
  149. /* images, styles to use for the image extension */
  150. a.image img {
  151. border: none;
  152. }
  153. a.left {
  154. float: left;
  155. margin: 20px;
  156. }
  157. a.right {
  158. float: right;
  159. margin: 20px;
  160. }
  161. /* code */
  162. pre {
  163. font-family: "Andale Mono", Monaco, "Courrier New", monospace;
  164. margin: 1em 0;
  165. padding: 1em 2em;
  166. color: #000;
  167. background-color: #ddd;
  168. }
  169. /* diff */
  170. div.diff { padding-left: 5%; padding-right: 5%; }
  171. div.old { background-color: #FFFFAF; color: #000; }
  172. div.new { background-color: #CFFFCF; color: #000; }
  173. /* header stuff */
  174. div.message { background-color: #FEE; color: #000; }
  175. /* footer stuff */
  176. div.footer {
  177. clear: both;
  178. font-size: smaller;
  179. }
  180. div.footer + hr {
  181. border: none;
  182. margin: 10px;
  183. }
  184. div.sister {
  185. font-size: smaller;
  186. margin-right: 1ex;
  187. }
  188. div.sister p {
  189. margin-top: 0;
  190. }
  191. div.sister hr {
  192. display: none;
  193. }
  194. div.sister img {
  195. border: none;
  196. vertical-align: top;
  197. margin-right: 20px;
  198. }
  199. div.near, div.definition {
  200. font-size: smaller;
  201. }
  202. div.refer hr {
  203. display: none;
  204. }
  205. div.refer {
  206. margin-top: 50px;
  207. padding-left: 1ex;
  208. border-left: 0.6ex solid #aaa;
  209. font-size: smaller;
  210. clear: both;
  211. }
  212. /* sidebar */
  213. div.sidebar {
  214. float: right;
  215. border: 1px dotted #000;
  216. padding: 0 1em;
  217. }
  218. div.sidebar ul {
  219. padding-left: 1em;
  220. }
  221. /* printing */
  222. @media print {
  223. div.diff, div.diff+hr, div.refer, div.near, div.sister, div.cal, div.footer,
  224. span.specialdays, span.gotobar, a.edit, a.number span,
  225. div.rc form, div.definition { display: none; }
  226. body { font: 12pt "Neep", "Arial", sans-serif; color: #000; }
  227. a:link, a:visited { color: #000; text-decoration: none; font-style: oblique; }
  228. a[class="url number"]:after, a[class="inter number"]:after { content: "[" attr(href) "]"; }
  229. a[class="local number"]:after { content: "[" attr(title) "]"; }
  230. a.near { font-weight: normal; text-decoration: none; font-style: oblique; }
  231. a.near:link, a.near:visited, a.near:active, a.near:hover {
  232. color: inherit; background-color: inherit;
  233. }
  234. a[class="near"]:after { content: " [" attr(title) "]"; }
  235. }