equal
deleted
inserted
replaced
1 /************************************************************ |
|
2 * Stylesheet Isabelle (screen media) * |
|
3 ************************************************************/ |
|
4 |
|
5 /* $Id$ */ |
|
6 |
|
7 @namespace url(http://www.w3.org/1999/xhtml); /* DOES ANYONE KNOW WHAT'S THAT ABOUT!? */ |
|
8 |
|
9 /* no rulers (they are just a supplemental for non-css browsers) */ |
|
10 hr { |
|
11 display: none; |
|
12 visibility: hidden; |
|
13 height: 0pt; |
|
14 width: 0pt; |
|
15 } |
|
16 |
|
17 div.hr { |
|
18 /* a special for KHTML */ |
|
19 display: none; |
|
20 } |
|
21 |
|
22 /* header layout */ |
|
23 div#header { |
|
24 position: relative; |
|
25 height: 90pt; |
|
26 background-color: #FFFFFF; |
|
27 } |
|
28 |
|
29 div#header h1 { |
|
30 /* center between logos */ |
|
31 position: absolute; |
|
32 top: 27px; |
|
33 left: 200px; |
|
34 right: 270px; |
|
35 margin: 0px; |
|
36 } |
|
37 |
|
38 div#header a#isabelle_logo { |
|
39 position: absolute; |
|
40 top: 10px; |
|
41 left: 3.2ex; |
|
42 } |
|
43 |
|
44 div#header a#univ_tum { |
|
45 position: absolute; |
|
46 top: 25px; |
|
47 right: 40px; |
|
48 } |
|
49 |
|
50 div#header a#univ_cambridge { |
|
51 position: absolute; |
|
52 top: 25px; |
|
53 right: 130px; |
|
54 } |
|
55 |
|
56 div#header span.headersep { |
|
57 display: none; |
|
58 } |
|
59 |
|
60 /* navigation layout */ |
|
61 div#navigation { |
|
62 position: relative; |
|
63 top: 2em; |
|
64 left: 1ex; |
|
65 bottom: 4px; |
|
66 padding: 0.5em 0.5em; |
|
67 float: left; |
|
68 width: 17ex; |
|
69 background-color: #FFFFFF; |
|
70 border-top: 2px solid #0000A0; |
|
71 border-bottom: 2px solid #0000A0; |
|
72 } |
|
73 |
|
74 div#navigation h2 { |
|
75 display: none; |
|
76 } |
|
77 |
|
78 /* footer layout */ |
|
79 div#footer { |
|
80 margin-top: 2em; |
|
81 } |
|
82 |
|
83 /* content layout */ |
|
84 div#content { |
|
85 position: static; |
|
86 left: 4px; |
|
87 margin-left: 23ex; |
|
88 margin-right: 3%; |
|
89 background-color: #E0E0F0; |
|
90 padding-left: 20px; |
|
91 padding-right: 20px; |
|
92 padding-bottom: 20px; |
|
93 } |
|
94 |
|
95 div#content h2 { |
|
96 margin-left: -20px; |
|
97 margin-right: -20px; |
|
98 padding-left: 20px; |
|
99 padding-top: 0.2ex; |
|
100 padding-bottom: 0.2ex; |
|
101 border-bottom: 1ex solid #E0E0F0; |
|
102 } |
|
103 |
|
104 div#content h3 { |
|
105 margin-right: -20px; |
|
106 padding-top: 0.4ex; |
|
107 padding-bottom: 0.2ex; |
|
108 padding-left: 10px; |
|
109 } |
|
110 |
|
111 /* mirror switch layout */ |
|
112 div.mirrorlist { |
|
113 margin: 1ex 0em; |
|
114 padding: 2pt; |
|
115 background-color: #E0E0F0; |
|
116 text-align: left; |
|
117 border-left: 7px solid #FFFFFF; |
|
118 } |
|
119 |
|
120 div.mirrorlist h3 { |
|
121 margin: 1pt; |
|
122 padding: 1pt; |
|
123 border: none; |
|
124 background-color: #FFFFFF; |
|
125 color: #0000A0; |
|
126 font-size: 11pt; |
|
127 text-align: left; |
|
128 } |
|
129 |
|
130 div.mirrorlist ul { |
|
131 margin: 1pt 1pt 1pt 1em; |
|
132 padding: 0pt; |
|
133 } |
|
134 |
|
135 div.mirrorlist ul li { |
|
136 font-size: 8pt; |
|
137 font-style: italics; |
|
138 padding: 0pt 12pt 0pt 0pt; |
|
139 } |
|