oddmuse-2013.css 4.4 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231
  1. @font-face {
  2. font-family: 'Gentium Basic';
  3. font-style: normal;
  4. font-weight: 400;
  5. src: local('Gentium Basic'), local('GentiumBasic'), url(http://themes.googleusercontent.com/static/fonts/gentiumbasic/v5/KCktj43blvLkhOTolFn-MVhr3SzZVY8L1R-AhaesIwA.woff) format('woff');
  6. }
  7. @font-face {
  8. font-family: 'Gentium Basic';
  9. font-style: normal;
  10. font-weight: 700;
  11. src: local('Gentium Basic Bold'), local('GentiumBasic-Bold'), url(http://themes.googleusercontent.com/static/fonts/gentiumbasic/v5/2qL6yulgGf0wwgOp-UqGyKuvVGpDTHxx0YlM6XbRIFE.woff) format('woff');
  12. }
  13. @font-face {
  14. font-family: 'Gentium Basic';
  15. font-style: italic;
  16. font-weight: 400;
  17. src: local('Gentium Basic Italic'), local('GentiumBasic-Italic'), url(http://themes.googleusercontent.com/static/fonts/gentiumbasic/v5/qoFz4NSMaYC2UmsMAG3lyajIwExuvJl80GezUi4i-sM.woff) format('woff');
  18. }
  19. @font-face {
  20. font-family: 'Gentium Basic';
  21. font-style: italic;
  22. font-weight: 700;
  23. src: local('Gentium Basic Bold Italic'), local('GentiumBasic-BoldItalic'), url(http://themes.googleusercontent.com/static/fonts/gentiumbasic/v5/8N9-c_aQDJ8LbI1NGVMrwjBWbH-5CKom31QWlI8zOIM.woff) format('woff');
  24. }
  25. body {
  26. background:#fff;
  27. padding:2% 5%;
  28. margin:0;
  29. font-family: "Gentium Basic", "Bookman Old Style", "Times New Roman", serif;
  30. font-size: 16pt;
  31. }
  32. div.header h1 {
  33. margin-top:2ex;
  34. }
  35. a {
  36. text-decoration: none;
  37. color: #a00;
  38. }
  39. a:visited {
  40. color: #d88;
  41. }
  42. div.header h1 a:hover, h1 a:hover, h2 a:hover, h3 a:hover, h4 a:hover,
  43. a:hover, span.caption a.image:hover {
  44. background:#fee;
  45. }
  46. img.logo {
  47. float: right;
  48. clear: right;
  49. border-style:none;
  50. background-color:#fff;
  51. }
  52. img {
  53. padding: 0.5em;
  54. margin: 0 1em;
  55. }
  56. a.image:hover {
  57. background:inherit;
  58. }
  59. a.image:hover img {
  60. background:#fee;
  61. }
  62. /* a.definition soll aussehen wie h2 */
  63. h2, p a.definition {
  64. display:block;
  65. clear:both;
  66. }
  67. /* Such Link im h1 soll nicht auffallen. */
  68. h1, h2, h3, h4, h1 a, h1 a:visited, p a.definition {
  69. color:#666;
  70. font-size: 30pt;
  71. font-weight: normal;
  72. margin: 4ex 0 1ex 0;
  73. padding: 0;
  74. border-bottom: 1px solid #000;
  75. }
  76. h3, h4 {
  77. font-size: inherit;
  78. }
  79. div.diff {
  80. padding: 1em 3em;
  81. }
  82. div.old {
  83. background-color:#FFFFAF;
  84. }
  85. div.new {
  86. background-color:#CFFFCF;
  87. }
  88. div.old p, div.new p {
  89. padding: 0.5em 0;
  90. }
  91. div.refer { padding-left:5%; padding-right:5%; font-size:smaller; }
  92. div[class="content refer"] p { margin-top:2em; }
  93. div.content div.refer hr { display:none; }
  94. div.content div.refer { padding:0; font-size:medium; }
  95. div.content div.refer p { margin:0; }
  96. div.refer a { display:block; }
  97. table.history { border-style:none; }
  98. td.history { border-style:none; }
  99. table.user {
  100. border-style: none;
  101. margin-left: 3em;
  102. }
  103. table.user tr td {
  104. border-style: none;
  105. padding:0.5ex 1ex;
  106. }
  107. dt {
  108. font-weight:bold;
  109. }
  110. dd {
  111. margin-bottom:1ex;
  112. }
  113. textarea {
  114. width:100%;
  115. height:80%;
  116. font-size: 12pt;
  117. }
  118. textarea#summary { height: 3em; }
  119. input {
  120. font-size: 12pt;
  121. }
  122. div.image span.caption {
  123. margin: 0 1em;
  124. }
  125. li img, img.smiley, .noborder img {
  126. border:none;
  127. padding:0;
  128. margin:0;
  129. background:#fff;
  130. color:#000;
  131. }
  132. /* Google +1 */
  133. a#plus1 img {
  134. background-color: #fff;
  135. padding: 0;
  136. margin: 0;
  137. border: none;
  138. }
  139. div.header img, div.footer img { border:0; padding:0; margin:0; }
  140. .left { float:left; }
  141. .right { float:right; }
  142. div.left .left, div.right .right {
  143. float:none;
  144. }
  145. .center { text-align:center; }
  146. span.author {
  147. color: #501;
  148. }
  149. span.bar a {
  150. padding-right:1ex;
  151. }
  152. .rc .author {
  153. color: #655;
  154. }
  155. .rc strong {
  156. font-weight: normal;
  157. color: inherit;
  158. }
  159. .rc li {
  160. position:relative;
  161. padding: 1ex 0;
  162. }
  163. hr {
  164. border:none;
  165. color:black;
  166. background-color:#000;
  167. height:2px;
  168. margin-top:2ex;
  169. }
  170. div.footer hr {
  171. height:4px;
  172. margin: 2em 0 1ex 0;
  173. clear:both;
  174. }
  175. div.content > div.comment {
  176. border-top: none;
  177. padding-top: none;
  178. border-left: 1ex solid #bbb;
  179. padding-left: 1ex;
  180. }
  181. div.wrapper > div.comment {
  182. border-top: 2px solid #000;
  183. padding-top: 2em;
  184. }
  185. pre {
  186. padding: 0.5em;
  187. margin-left: 1em;
  188. margin-right: 2em;
  189. white-space: pre;
  190. overflow:hidden;
  191. white-space: pre-wrap; /* CSS 3 */
  192. white-space: -moz-pre-wrap; /* Mozilla, since 1999 */
  193. white-space: -pre-wrap; /* Opera 4-6 */
  194. white-space: -o-pre-wrap; /* Opera 7 */
  195. word-wrap: break-word; /* Internet Explorer 5.5+ */
  196. }
  197. tt, pre, code {
  198. font-size: 80%;
  199. };