space.css 3.7 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179
  1. /* Originally from Earle Martin, as seen on
  2. http://downlode.org/log/2005-01-14/Mu_License,
  3. Adapted by Alex Schroeder for Oddmuse.
  4. Alex's changes available under the Mu License:
  5. If you are asking what license this is released under,
  6. you are asking the wrong question.
  7. */
  8. body {
  9. margin: 12px;
  10. background: #002;
  11. color: #fff;
  12. font-family: "Andale Mono", Consolas, "Courier New", Courier, fixed;
  13. }
  14. h1 a:link, h1 a:visited {
  15. font-weight: normal;
  16. color: #bfe;
  17. }
  18. a {
  19. text-decoration: none;
  20. }
  21. a:link, a:active {
  22. color: #9df;
  23. }
  24. a:visited {
  25. color: #add;
  26. }
  27. a:hover {
  28. text-decoration: underline;
  29. }
  30. blockquote {
  31. border-left: 1px solid #fff;
  32. padding-left: 10px;
  33. margin-left: 20px;
  34. }
  35. hr { clear:both; }
  36. div.content {
  37. border: 1px solid #fff;
  38. padding: 20px;
  39. color: #fff;
  40. background: #333;
  41. }
  42. /* tables */
  43. table.user {
  44. margin: 1ex 4em;
  45. padding: 1ex 1em;
  46. border-top: 1px solid white;
  47. border-bottom: 1px solid white;
  48. }
  49. table.user td, table.user th {
  50. border-style: none;
  51. padding:5px 10px;
  52. vertical-align: top;
  53. }
  54. table.user td.mark { background-color: #6ca; }
  55. table.user td.j { text-align: justify; }
  56. table.user td.c { text-align: center; }
  57. table.user td.l { text-align: left; }
  58. table.user td.r { text-align: right; }
  59. table.user th { font-weight: bold; }
  60. table.history { border-style:none; }
  61. td.history { border-style:none; }
  62. /* images with links, captions, etc */
  63. div.left .left { float: none; }
  64. div.right .right { float: none; }
  65. .right { float: right; margin-left: 1em; }
  66. .left { float: left; margin-right: 1em; }
  67. div.image { display: inline; margin: 1em; font-size: 90%; text-align: center; }
  68. /* diff */
  69. div.old { background-color: #944; }
  70. div.new { background-color: #498; }
  71. /* edit */
  72. div.edit { border:none; background:inherit; width:100%; }
  73. div.edit textarea { width:95%; color:#fff; background:#333; }
  74. input[name=summary] { width:80%; }
  75. /* recent changes */
  76. .rc strong { font-weight: normal; }
  77. /* calendar: not checked */
  78. div.year { border:none; background:inherit; }
  79. div.month { padding:0; margin:0 2ex; }
  80. body > div.month {
  81. float:right;
  82. background-color:inherit;
  83. border:solid thin;
  84. padding:0 1ex;
  85. }
  86. div.year > div.month { float:left; }
  87. div.footer { clear:both; }
  88. div.month a.edit { color:inherit; font-weight:inherit; }
  89. div.month .today { border: 1px solid red; }
  90. /* logo */
  91. img.logo {
  92. border: none;
  93. float:right;
  94. margin:0;
  95. padding:2px;
  96. }
  97. /* sidebar */
  98. div.sidebar {
  99. border:1px solid #fff;
  100. padding: 0 1em;
  101. margin: 0 0 1em 0;
  102. background: #333;
  103. }
  104. /* not checked */
  105. div.journal h1 { font-size: large }
  106. dd, li { margin-bottom:0.5ex; }
  107. /* portrait support: not checked */
  108. div.color { clear:left; }
  109. div.one { background-color:#444; padding: 0.1ex 0; }
  110. img.portrait {
  111. float:left;
  112. clear:left;
  113. background-color:#000;
  114. border:#fff 1px solid;
  115. padding:1px;
  116. margin:10px;
  117. }
  118. li { margin-left:1em; }
  119. div.portrait { float:left;
  120. clear:left;
  121. font-size:xx-small;
  122. padding-left:10px;
  123. }
  124. div.portrait + p { min-height:70px; }
  125. div.portrait img.portrait { float:none; margin:10px 10px 0 0; }
  126. div.portrait a { text-decoration:none; color:#999; }
  127. /* irc support: not checked */
  128. dl.irc dt { width:12ex; float:left; text-align:right; }
  129. dl.irc dd { margin-left:15ex; }
  130. /* search support: not checked */
  131. span.result { font-size:larger; }
  132. span.info { font-size:smaller; font-style:italic; }
  133. div.rss { border:1px dashed; padding:0 1em;}
  134. /* permanent anchors support: not checked */
  135. a.definition { border-bottom:dashed 1px; }
  136. a.alias { text-decoration:none; border-bottom:dashed 1px; }
  137. /* near links: not checked */
  138. a.near { text-decoration: underline; }