use serif font for html-rendered tex
[lhc/web/wiklou.git] / stylesheets / commonPrint.css
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
9 /* Thanks to A List Apart (http://alistapart.com/) for useful extras */
10 a.stub,
11 a.new{ color:#ba0000; text-decoration:none; }
12
13 #toc {
14 /*border:1px solid #2f6fab;*/
15 border:1px solid #aaaaaa;
16 background-color:#f9f9f9;
17 padding:5px;
18 }
19 .tocindent {
20 margin-left: 2em;
21 }
22 .tocline {
23 margin-bottom: 0px;
24 }
25 .toctoggle, .editsection {
26 font-size: smaller;
27 }
28
29 /* images */
30 div.floatright {
31 float: right;
32 margin: 0;
33 position:relative;
34 border: 0.5em solid White;
35 border-width: 0.5em 0 0.8em 1.4em;
36 }
37 div.floatright p { font-style: italic;}
38 div.floatleft {
39 float: left;
40 margin: 0.3em 0.5em 0.5em 0;
41 position:relative;
42 border: 0.5em solid White;
43 border-width: 0.5em 1.4em 0.8em 0;
44 }
45 div.floatleft p { font-style: italic; }
46 /* thumbnails */
47 div.thumb {
48 margin-bottom: 0.5em;
49 border-style: solid; border-color: White;
50 width: auto;
51 }
52 div.thumb div {
53 border:1px solid #cccccc;
54 padding: 3px !important;
55 background-color:#f9f9f9;
56 font-size: 94%;
57 text-align: center;
58 }
59 div.thumb div a img {
60 border:1px solid #cccccc;
61 }
62 div.thumb div div.thumbcaption {
63 border: none;
64 text-align: left;
65 padding: 0.3em 0 0.1em 0;
66 }
67 div.magnify { display: none; }
68 div.tright {
69 float: right;
70 border-width: 0.5em 0 0.8em 1.4em;
71 }
72 div.tleft {
73 float: left;
74 margin-right:0.5em;
75 border: 0.5em 1.4em 0.8em 0;
76 }
77
78 /* table standards */
79 table.rimage {
80 float:right;
81 width:1pt;
82 position:relative;
83 margin-left:1em;
84 margin-bottom:1em;
85 text-align:center;
86 }
87
88 body {
89 background: White;
90 /*font-size: 11pt !important;*/
91 color: Black;
92 margin: 0;
93 padding: 0;
94 }
95
96 div.top,
97 div#column-one,
98 #colophon,
99 .editsection,
100 .toctoggle,
101 div#f-poweredbyico,
102 div#f-copyrightico,
103 li#f-viewcount,
104 li#f-about,
105 li#f-disclaimer {
106 /* Hides all the elements irrelevant for printing */
107 display: none;
108 }
109
110 ul {
111 list-style-type: square;
112 }
113
114 #content {
115 background: none;
116 border: none ! important;
117 font-size: 11pt;
118 padding: 0 ! important;
119 margin: 0 ! important;
120 text-align: left;
121 }
122 #footer {
123 border-top: 1px solid black;
124 }
125
126 h1, h2, h3, h4, h5, h6
127 {
128 font-weight: bold;
129 }
130
131 p, .documentDescription {
132 margin: 1em 0 ! important;
133 line-height: 1.2em;
134 }
135
136 pre {
137 border: 1pt dashed black;
138 white-space: pre;
139 font-size: 8pt;
140 overflow: auto;
141 padding: 1em 0;
142 }
143
144 table.listing,
145 table.listing td {
146 border: 1pt solid black;
147 border-collapse: collapse;
148 }
149
150 a {
151 color: Black !important;
152 padding: 0 !important
153 }
154
155 a:link, a:visited {
156 color: #520;
157 background: transparent;
158 text-decoration: underline;
159 }
160 /*
161 #content a:link:after,
162 #content a:visited:after {
163 content: " ( " attr(href) " ) ";
164 }*/
165
166 #globalWrapper {
167 width: 100% !important;
168 min-width: 0 !important;
169 }
170
171 #column-content {
172 margin: 0 !important;
173 }
174
175 #column-content #content {
176 padding: 1em;
177 margin: 0 !important;
178 }
179 /* MSIE/Win doesn't understand 'inherit' */
180 a, a.external, a.new, a.stub {
181 color: black ! important;
182 text-decoration: none ! important;
183 }
184
185 /* Continue ... */
186 a, a.external, a.new, a.stub {
187 color: inherit ! important;
188 text-decoration: inherit ! important;
189 }
190
191 img { border: none; }
192 img.tex { vertical-align: middle; }
193 span.texhtml { font-family: serif; }
194
195 /* Show some stuff */
196 .urlexpansion {
197 display: inline ! important;
198 }
199
200 div.townBox {
201 position:relative;
202 float:right;
203 background:White;
204 margin-left:1em;
205 border: 1px solid Grey;
206 padding:0.3em;
207 width: 200px;
208 overflow: hidden;
209 clear: right;
210 }
211 div.townBox dl {
212 padding: 0;
213 margin: 0 0 0.3em 0;
214 font-size: 96%;
215 }
216 div.townBox dl dt {
217 background: none;
218 margin: 0.4em 0 0 0;
219 }
220 div.townBox dl dd {
221 margin: 0.1em 0 0 1.1em;
222 background-color: #f3f3f3;
223 }