commonPrint.css 5.1 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290
  1. /*
  2. ** MediaWiki Print style sheet for CSS2-capable browsers.
  3. ** Copyright Gabriel Wicke, http://www.aulinx.de/
  4. **
  5. ** Derived from the plone (http://plone.org/) styles
  6. ** Copyright Alexander Limi
  7. */
  8. /* Thanks to A List Apart (http://alistapart.com/) for useful extras */
  9. a.stub,
  10. a.new{ color:#ba0000; text-decoration:none; }
  11. #toc {
  12. /*border:1px solid #2f6fab;*/
  13. border:1px solid #aaaaaa;
  14. background-color:#f9f9f9;
  15. padding:5px;
  16. }
  17. .tocindent {
  18. margin-left: 2em;
  19. }
  20. .tocline {
  21. margin-bottom: 0px;
  22. }
  23. /* images */
  24. div.floatright {
  25. float: right;
  26. clear: right;
  27. margin: 0;
  28. position:relative;
  29. border: 0.5em solid White;
  30. border-width: 0.5em 0 0.8em 1.4em;
  31. }
  32. div.floatright p { font-style: italic;}
  33. div.floatleft {
  34. float: left;
  35. margin: 0.3em 0.5em 0.5em 0;
  36. position:relative;
  37. border: 0.5em solid White;
  38. border-width: 0.5em 1.4em 0.8em 0;
  39. }
  40. div.floatleft p { font-style: italic; }
  41. /* thumbnails */
  42. div.thumb {
  43. margin-bottom: 0.5em;
  44. border-style: solid; border-color: White;
  45. width: auto;
  46. overflow: hidden;
  47. }
  48. div.thumb div {
  49. border:1px solid #cccccc;
  50. padding: 3px !important;
  51. background-color:#f9f9f9;
  52. font-size: 94%;
  53. text-align: center;
  54. }
  55. div.thumb div a img {
  56. border:1px solid #cccccc;
  57. }
  58. div.thumb div div.thumbcaption {
  59. border: none;
  60. padding: 0.3em 0 0.1em 0;
  61. }
  62. div.magnify { display: none; }
  63. div.tright {
  64. float: right;
  65. clear: right;
  66. border-width: 0.5em 0 0.8em 1.4em;
  67. }
  68. div.tleft {
  69. float: left;
  70. margin-right:0.5em;
  71. border-width: 0.5em 1.4em 0.8em 0;
  72. }
  73. /* table standards */
  74. table.rimage {
  75. float:right;
  76. width:1pt;
  77. position:relative;
  78. margin-left:1em;
  79. margin-bottom:1em;
  80. text-align:center;
  81. }
  82. body {
  83. background: White;
  84. /*font-size: 11pt !important;*/
  85. color: Black;
  86. margin: 0;
  87. padding: 0;
  88. }
  89. .noprint,
  90. div#jump-to-nav,
  91. div.top,
  92. div#column-one,
  93. #colophon,
  94. .editsection,
  95. .toctoggle,
  96. .tochidden,
  97. div#f-poweredbyico,
  98. div#f-copyrightico,
  99. li#viewcount,
  100. li#about,
  101. li#disclaimer,
  102. li#privacy {
  103. /* Hides all the elements irrelevant for printing */
  104. display: none;
  105. }
  106. ul {
  107. list-style-type: square;
  108. }
  109. #content {
  110. background: none;
  111. border: none ! important;
  112. padding: 0 ! important;
  113. margin: 0 ! important;
  114. }
  115. #footer {
  116. background : white;
  117. color : black;
  118. border-top: 1px solid black;
  119. }
  120. h1, h2, h3, h4, h5, h6
  121. {
  122. font-weight: bold;
  123. }
  124. p, .documentDescription {
  125. margin: 1em 0 ! important;
  126. line-height: 1.2em;
  127. }
  128. .tocindent p {
  129. margin: 0 0 0 0 ! important;
  130. }
  131. pre {
  132. border: 1pt dashed black;
  133. white-space: pre;
  134. font-size: 8pt;
  135. overflow: auto;
  136. padding: 1em 0;
  137. background : white;
  138. color : black;
  139. }
  140. table.listing,
  141. table.listing td {
  142. border: 1pt solid black;
  143. border-collapse: collapse;
  144. }
  145. a {
  146. color: Black !important;
  147. background: none !important;
  148. padding: 0 !important;
  149. }
  150. a:link, a:visited {
  151. color: #520;
  152. background: transparent;
  153. text-decoration: underline;
  154. }
  155. #content a.external.text:after, #content a.external.autonumber:after {
  156. /* Expand URLs for printing */
  157. content: " (" attr(href) ") ";
  158. }
  159. #globalWrapper {
  160. width: 100% !important;
  161. min-width: 0 !important;
  162. }
  163. #content {
  164. background : white;
  165. color : black;
  166. }
  167. #column-content {
  168. margin: 0 !important;
  169. }
  170. #column-content #content {
  171. padding: 1em;
  172. margin: 0 !important;
  173. }
  174. /* MSIE/Win doesn't understand 'inherit' */
  175. a, a.external, a.new, a.stub {
  176. color: black ! important;
  177. text-decoration: none ! important;
  178. }
  179. /* Continue ... */
  180. a, a.external, a.new, a.stub {
  181. color: inherit ! important;
  182. text-decoration: inherit ! important;
  183. }
  184. img { border: none; }
  185. img.tex { vertical-align: middle; }
  186. span.texhtml { font-family: serif; }
  187. div.townBox {
  188. position:relative;
  189. float:right;
  190. background:White;
  191. margin-left:1em;
  192. border: 1px solid gray;
  193. padding:0.3em;
  194. width: 200px;
  195. overflow: hidden;
  196. clear: right;
  197. }
  198. div.townBox dl {
  199. padding: 0;
  200. margin: 0 0 0.3em 0;
  201. font-size: 96%;
  202. }
  203. div.townBox dl dt {
  204. background: none;
  205. margin: 0.4em 0 0 0;
  206. }
  207. div.townBox dl dd {
  208. margin: 0.1em 0 0 1.1em;
  209. background-color: #f3f3f3;
  210. }
  211. #siteNotice { display: none; }
  212. table.gallery {
  213. border: 1px solid #cccccc;
  214. margin: 2px;
  215. padding: 2px;
  216. background-color:#ffffff;
  217. }
  218. table.gallery tr {
  219. vertical-align:top;
  220. }
  221. div.gallerybox {
  222. border: 1px solid #cccccc;
  223. margin: 2px;
  224. background-color:#f9f9f9;
  225. width: 150px;
  226. }
  227. div.gallerybox div.thumb {
  228. text-align: center;
  229. border: 1px solid #cccccc;
  230. margin: 2px;
  231. }
  232. div.gallerytext {
  233. font-size: 94%;
  234. padding: 2px 4px;
  235. }
  236. /*
  237. ** Diff rendering
  238. */
  239. table.diff { background:white; }
  240. td.diff-otitle { background:#ffffff; }
  241. td.diff-ntitle { background:#ffffff; }
  242. td.diff-addedline {
  243. background:#ccffcc;
  244. font-size: smaller;
  245. border: solid 2px black;
  246. }
  247. td.diff-deletedline {
  248. background:#ffffaa;
  249. font-size: smaller;
  250. border: dotted 2px black;
  251. }
  252. td.diff-context {
  253. background:#eeeeee;
  254. font-size: smaller;
  255. }
  256. .diffchange {
  257. color: silver;
  258. font-weight: bold;
  259. text-decoration: underline;
  260. }