equal
deleted
inserted
replaced
|
1 /************************************************************ |
|
2 * Stylesheet Isabelle (print media) * |
|
3 ************************************************************/ |
|
4 |
|
5 /* $Id$ */ |
|
6 |
|
7 @namespace url(http://www.w3.org/1999/xhtml); /* DOES ANYONE KNOW WHAT'S THAT ABOUT!? */ |
|
8 |
|
9 /* use times font for floating text */ |
|
10 p, body, th, td { |
|
11 font-family: Times New Roman,times,serif; |
|
12 } |
|
13 |
|
14 /* body margin */ |
|
15 body { |
|
16 margin: 4pt; |
|
17 } |
|
18 |
|
19 /* no rulers (they are just a supplemental for non-css browsers) */ |
|
20 hr { |
|
21 display: none; |
|
22 visibility: hidden; |
|
23 height: 0pt; |
|
24 width: 0pt; |
|
25 } |
|
26 |
|
27 /* header layout */ |
|
28 div#header { |
|
29 position: relative; |
|
30 height: 94px; |
|
31 background-color: #FFFFFF; |
|
32 } |
|
33 |
|
34 div#header h1 { |
|
35 position: absolute; |
|
36 top: 0px; |
|
37 left: 0px; |
|
38 margin: 0px; |
|
39 } |
|
40 |
|
41 div#header a#isabelle_logo { |
|
42 position: absolute; |
|
43 right: 0px; |
|
44 } |
|
45 |
|
46 div#header a#univ_tum { |
|
47 display: none; |
|
48 } |
|
49 |
|
50 div#header a#univ_cambridge { |
|
51 display: none; |
|
52 } |
|
53 |
|
54 div#header span.headersep { |
|
55 display: none; |
|
56 } |
|
57 |
|
58 /* navigation layout */ |
|
59 div#navigation { |
|
60 display: none; |
|
61 } |
|
62 |
|
63 /* footer layout */ |
|
64 div#footer { |
|
65 position: relative; |
|
66 top: 8px; |
|
67 clear: both; |
|
68 border-top: 2px solid #000000; |
|
69 } |
|
70 |
|
71 /* mirrorlist */ |
|
72 div.mirrorlist { |
|
73 display: none; |
|
74 } |