wiki.css 3.8 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222
  1. /* This is the default CSS file for Oddmuse wikis. It is dedicated to
  2. the public domain. You can copy, modify, distribute and use the
  3. work, even for commercial purposes, all without asking permission.
  4. https://creativecommons.org/publicdomain/zero/1.0/ */
  5. body {
  6. background: #fff;
  7. padding: 2% 5%;
  8. margin: 0;
  9. font-family: "Palatino Linotype", "Book Antiqua", Palatino, serif;
  10. font-size: 15pt;
  11. }
  12. div.header h1 {
  13. margin-top: 2ex;
  14. }
  15. a {
  16. text-decoration: none;
  17. color: #a00;
  18. }
  19. a:visited {
  20. color: #d88;
  21. }
  22. div.header h1 a:hover, h1 a:hover, h2 a:hover, h3 a:hover, h4 a:hover,
  23. a:hover, span.caption a.image:hover {
  24. background: #fee;
  25. }
  26. img.logo {
  27. float: right;
  28. clear: right;
  29. border-style: none;
  30. background-color: #fff;
  31. }
  32. img {
  33. padding: 0.5em;
  34. margin: 0 1em;
  35. max-width: 95%;
  36. }
  37. a.image:hover {
  38. background: inherit;
  39. }
  40. a.image:hover img {
  41. background: #fee;
  42. }
  43. /* a.definition soll aussehen wie h2 */
  44. h2, p a.definition {
  45. display: block;
  46. clear: both;
  47. }
  48. /* Such Link im h1 soll nicht auffallen. */
  49. h1, h2, h3, h4, h1 a, h1 a:visited, p a.definition {
  50. color: #666;
  51. font-size: 30pt;
  52. font-weight: normal;
  53. margin: 4ex 0 1ex 0;
  54. padding: 0;
  55. border-bottom: 1px solid #000;
  56. }
  57. h3, h4 {
  58. font-size: inherit;
  59. }
  60. div.diff {
  61. padding: 1em 3em;
  62. }
  63. div.old {
  64. background-color: #FFFFAF;
  65. }
  66. div.new {
  67. background-color: #CFFFCF;
  68. }
  69. div.old p, div.new p {
  70. padding: 0.5em 0;
  71. }
  72. div.refer { padding-left: 5%; padding-right: 5%; font-size: smaller; }
  73. div[class="content refer"] p { margin-top: 2em; }
  74. div.content div.refer hr { display: none; }
  75. div.content div.refer { padding: 0; font-size: medium; }
  76. div.content div.refer p { margin: 0; }
  77. div.refer a { display: block; }
  78. table.history { border-style: none; }
  79. td.history { border-style: none; }
  80. table.user {
  81. border-style: none;
  82. margin-left: 3em;
  83. }
  84. table.user tr td {
  85. border-style: none;
  86. padding: 0.5ex 1ex;
  87. }
  88. dt {
  89. font-weight: bold;
  90. }
  91. dd {
  92. margin-bottom: 1ex;
  93. }
  94. textarea {
  95. width: 100%;
  96. height: 80%;
  97. font-size: 12pt;
  98. }
  99. textarea#summary { height: 3em; }
  100. input {
  101. font-size: 12pt;
  102. }
  103. div.image span.caption {
  104. margin: 0 1em;
  105. }
  106. li img, img.smiley, .noborder img {
  107. border: none;
  108. padding: 0;
  109. margin: 0;
  110. background: #fff;
  111. color: #000;
  112. }
  113. /* Google +1 */
  114. a#plus1 img {
  115. background-color: #fff;
  116. padding: 0;
  117. margin: 0;
  118. border: none;
  119. }
  120. div.header img, div.footer img { border: 0; padding: 0; margin: 0; }
  121. /* No goto bar at the bottom. */
  122. .footer .gotobar, .footer .edit br { display: none; }
  123. .left { float: left; }
  124. .right { float: right; }
  125. div.left .left, div.right .right {
  126. float: none;
  127. }
  128. .center { text-align: center; }
  129. span.author {
  130. color: #501;
  131. }
  132. span.bar a:first-child {
  133. margin-left: -0.5ex;
  134. }
  135. span.bar a {
  136. padding-right: 0.5ex;
  137. padding-left: 0.5ex;
  138. }
  139. .rc .author {
  140. color: #655;
  141. }
  142. .rc strong {
  143. font-weight: normal;
  144. color: inherit;
  145. }
  146. .rc li {
  147. position: relative;
  148. padding: 1ex 0;
  149. }
  150. hr {
  151. border: none;
  152. color: black;
  153. background-color: #000;
  154. height: 2px;
  155. margin-top: 2ex;
  156. }
  157. div.footer hr {
  158. height: 4px;
  159. margin: 2em 0 1ex 0;
  160. clear: both;
  161. }
  162. div.content > div.comment {
  163. border-top: none;
  164. padding-top: 0;
  165. border-left: 1ex solid #bbb;
  166. padding-left: 1ex;
  167. }
  168. div.wrapper > div.comment {
  169. border-top: 2px solid #000;
  170. padding-top: 2em;
  171. }
  172. pre {
  173. padding: 0.5em;
  174. margin-left: 1em;
  175. margin-right: 2em;
  176. white-space: pre;
  177. overflow: hidden;
  178. white-space: pre-wrap; /* CSS 3 */
  179. white-space: -moz-pre-wrap; /* Mozilla, since 1999 */
  180. white-space: -pre-wrap; /* Opera 4-6 */
  181. white-space: -o-pre-wrap; /* Opera 7 */
  182. word-wrap: break-word; /* Internet Explorer 5.5+ */
  183. }
  184. tt, pre, code {
  185. font-size: 80%;
  186. }
  187. code {
  188. background: #eee;
  189. white-space: pre-wrap;
  190. }