annotate poster/os9/ui/slidy2/styles/w3c-blue.css @ 8:7fd82a802a66

add os9
author anatofuz
date Fri, 19 Apr 2019 18:23:10 +0900
parents
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
8
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
1 /* w3c-blue.css
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
2
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
3 Copyright (c) 2005-2010 W3C (MIT, ERCIM, Keio), All Rights Reserved.
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
4 W3C liability, trademark, document use and software licensing
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
5 rules apply, see:
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
6
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
7 http://www.w3.org/Consortium/Legal/copyright-documents
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
8 http://www.w3.org/Consortium/Legal/copyright-software
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
9 */
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
10 body
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
11 {
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
12 margin: 0 0 0 0;
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
13 padding: 0 0 0 0;
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
14 width: 100%;
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
15 height: 100%;
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
16 color: black;
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
17 background-color: white;
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
18 font-family: "Gill Sans MT", "Gill Sans", GillSans, sans-serif;
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
19 font-size: 14pt;
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
20 }
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
21
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
22 div.slide.titlepage {
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
23 text-align: center;
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
24 }
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
25
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
26 div.slide.titlepage h1 {
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
27 padding-top: 40%;
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
28 }
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
29
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
30 div.slide {
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
31 z-index: 20;
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
32 margin: 0 0 0 0;
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
33 padding: 0;
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
34 border-width: 0;
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
35 top: 0;
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
36 bottom: 0;
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
37 left: 0;
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
38 right: 0;
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
39 line-height: 120%;
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
40 background-color: transparent;
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
41 }
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
42
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
43 div.background {
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
44 z-index: 1;
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
45 position: absolute;
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
46 vertical-align: bottom;
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
47 left: 0;
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
48 right: 0;
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
49 top: 0;
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
50 bottom: auto;
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
51 height: 4.1em;
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
52 padding: 0 0 0 0.2em;
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
53 margin: 0 0 0 0;
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
54 border-width: 0;
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
55 background-color: #728ec2;
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
56 }
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
57
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
58 div.background img {
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
59 height: 4em;
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
60 }
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
61
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
62 /* this rule is hidden from IE which doesn't support + selector */
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
63 div.slide + div[class].slide { page-break-before: always;}
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
64
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
65 div.slide h1 {
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
66 padding-left: 3em;
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
67 padding-right: 3em;
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
68 padding-top: 0.1em;
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
69 margin-bottom: 0.8em;
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
70 margin-top: -0.05em;
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
71 margin-left: 0;
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
72 margin-right: 0;
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
73 min-height: 2.3em;
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
74 color: white;
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
75 height: 2.2em;
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
76 font-size: 160%;
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
77 line-height: 1.1em;
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
78 }
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
79
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
80 div.slide h1 a {
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
81 color: white;
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
82 text-decoration: none;
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
83 }
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
84
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
85 div.slide h1 a:link {
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
86 color: white;
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
87 text-decoration: none;
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
88 }
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
89
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
90 div.slide h1 a:visited {
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
91 color: white;
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
92 text-decoration: none;
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
93 }
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
94
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
95 div.slide h1 a:hover {
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
96 color: white;
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
97 text-decoration: underline;
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
98 }
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
99
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
100 div.slide h1 a:active {
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
101 color: red;
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
102 text-decoration: underline;
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
103 }
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
104
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
105 #head-icon {
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
106 margin-top: 0.5em;
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
107 margin-bottom: 0;
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
108 margin-left: 0;
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
109 margin-right: 1em;
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
110 background: #728ec2;
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
111 border-width: 0;
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
112 height: 3em;
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
113 max-width: 3em;
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
114 z-index: 2;
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
115 float: left;
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
116 }
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
117
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
118 #head-logo {
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
119 margin: 0;
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
120 margin-top: 0.25em;
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
121 padding-top: 0.25em;
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
122 padding-bottom: 0.2em;
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
123 padding-left: 0;
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
124 padding-right: 0;
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
125 height: 3.2em;
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
126 width: 4.8em;
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
127 float: right;
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
128 z-index: 2;
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
129 background: #728ec2;
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
130 }
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
131
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
132 #head-logo-fallback {
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
133 margin: 0;
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
134 padding: 0;
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
135 margin-top: -0.8em;
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
136 width: 4.8em;
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
137 float: right;
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
138 z-index: 2;
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
139 }
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
140
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
141 /* the next two classes support vertical and horizontal centering */
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
142 div.vbox {
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
143 float: left;
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
144 height: 40%;
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
145 width: 50%;
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
146 margin-top: -240px;
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
147 }
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
148 div.hbox {
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
149 width:60%;
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
150 margin-top: 0;
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
151 margin-left:auto;
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
152 margin-right:auto;
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
153 height: 60%;
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
154 border:1px solid silver;
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
155 background:#F0F0F0;
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
156 overflow:auto;
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
157 text-align:left;
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
158 clear:both;
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
159 }
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
160
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
161 /* styling for named background */
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
162 div.background.slanty {
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
163 z-index: 2;
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
164 bottom: 0;
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
165 height: 100%;
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
166 background: transparent;
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
167 }
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
168
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
169 div.background.slanty img { margin-top: 4em; width: 100%; height: 80% }
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
170
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
171 /* the following makes the pre background translucent */
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
172 /* opacity is a CSS3 property but supported by Mozilla family */
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
173 /* filter is an IE specific feature that also requires width */
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
174 div.slide.slanty pre {
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
175 width: 93%; /* needed for IE filter to work */
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
176 opacity: .8;
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
177 filter: alpha(opacity=80);
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
178 }
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
179
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
180 img.withBorder {
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
181 border: 2px solid #c60;
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
182 padding: 4px;
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
183 }
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
184
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
185 li pre { margin-left: 0; }
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
186
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
187 @media print { pre { font-size: 60% } }
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
188
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
189 blockquote { font-style: italic }
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
190
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
191 img { background-color: transparent }
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
192
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
193 p.copyright { font-size: smaller }
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
194
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
195 .center { text-align: center }
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
196 .footnote { font-size: smaller; margin-left: 2em; }
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
197
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
198 a img { border-width: 0; border-style: none }
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
199
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
200 a:visited { color: navy }
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
201 a:link { color: navy }
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
202 a:hover { color: red; text-decoration: underline }
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
203 a:active { color: red; text-decoration: underline }
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
204
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
205 a {text-decoration: none}
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
206 .navbar a:link {color: white}
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
207 .navbar a:visited {color: yellow}
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
208 .navbar a:active {color: red}
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
209 .navbar a:hover {color: red}
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
210
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
211 ul { list-style-type: square; }
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
212 ul ul { list-style-type: disc; }
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
213 ul ul ul { list-style-type: circle; }
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
214 ul ul ul ul { list-style-type: disc; }
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
215 li { margin-left: 0.5em; margin-top: 0.5em; }
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
216 li li { font-size: 85%; font-style: italic }
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
217 li li li { font-size: 85%; font-style: normal }
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
218
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
219 div dt
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
220 {
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
221 margin-left: 0;
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
222 margin-top: 1em;
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
223 margin-bottom: 0.5em;
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
224 font-weight: bold;
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
225 }
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
226 div dd
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
227 {
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
228 margin-left: 2em;
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
229 margin-bottom: 0.5em;
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
230 }
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
231
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
232
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
233 p,pre,ul,ol,blockquote,h2,h3,h4,h5,h6,dl,table {
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
234 margin-left: 1em;
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
235 margin-right: 1em;
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
236 }
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
237
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
238 p.subhead { font-weight: bold; margin-top: 2em; }
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
239
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
240 div.cover p.explanation {
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
241 font-style: italic;
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
242 margin-top: 3em;
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
243 }
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
244
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
245
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
246 .smaller { font-size: smaller }
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
247
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
248 td,th { padding: 0.2em }
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
249
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
250 ul {
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
251 margin: 0.5em 1.5em 0.5em 1.5em;
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
252 padding: 0;
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
253 }
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
254
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
255 ol {
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
256 margin: 0.5em 1.5em 0.5em 1.5em;
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
257 padding: 0;
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
258 }
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
259
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
260 ul { list-style-type: square; }
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
261 ul ul { list-style-type: disc; }
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
262 ul ul ul { list-style-type: circle; }
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
263 ul ul ul ul { list-style-type: disc; }
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
264 li { margin-left: 0.5em; margin-top: 0.5em; }
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
265 li li { font-size: 85%; font-style: italic }
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
266 li li li { font-size: 85%; font-style: normal }
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
267
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
268
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
269 ul li {
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
270 list-style: none;
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
271 margin: 0.1em 0em 0.6em 0;
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
272 padding: 0 0 0 40px;
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
273 background: transparent url(../graphics/bullet.png) no-repeat 5px 0.3em;
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
274 line-height: 140%;
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
275 }
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
276
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
277 /* workaround IE's failure to support background on li for print media */
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
278 @media print { ul li { list-style: disc; padding-left: 0; background: none; } }
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
279
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
280 ol li {
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
281 margin: 0.1em 0em 0.6em 1.5em;
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
282 padding: 0 0 0 0px;
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
283 line-height: 140%;
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
284 }
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
285
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
286 li li {
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
287 font-size: 85%;
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
288 font-style: italic;
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
289 list-style-type: disc;
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
290 background: transparent;
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
291 padding: 0 0 0 0;
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
292 }
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
293 li li li {
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
294 font-size: 85%;
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
295 font-style: normal;
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
296 list-style-type: circle;
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
297 background: transparent;
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
298 padding: 0 0 0 0;
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
299 }
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
300 li li li li {
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
301 list-style-type: disc;
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
302 background: transparent;
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
303 padding: 0 0 0 0;
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
304 }
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
305
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
306 /* rectangular blue bullet + unfold/nofold/fold widget */
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
307
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
308 /*
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
309 setting class="outline on ol or ul makes it behave as an
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
310 ouline list where blocklevel content in li elements is
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
311 hidden by default and can be expanded or collapsed with
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
312 mouse click. Set class="expand" on li to override default
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
313 */
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
314
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
315 ol.outline li:hover { cursor: pointer }
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
316 ol.outline li.nofold:hover { cursor: default }
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
317
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
318 ul.outline li:hover { cursor: pointer }
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
319 ul.outline li.nofold:hover { cursor: default }
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
320
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
321 ol.outline { list-style:decimal; }
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
322 ol.outline ol { list-style-type:lower-alpha }
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
323
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
324 ol.outline li.nofold {
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
325 padding: 0 0 0 20px;
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
326 background: transparent url(../graphics/nofold-dim.gif) no-repeat 0px 0.3em;
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
327 }
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
328 ol.outline li.unfolded {
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
329 padding: 0 0 0 20px;
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
330 background: transparent url(../graphics/fold-dim.gif) no-repeat 0px 0.3em;
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
331 }
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
332 ol.outline li.folded {
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
333 padding: 0 0 0 20px;
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
334 background: transparent url(../graphics/unfold-dim.gif) no-repeat 0px 0.3em;
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
335 }
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
336 ol.outline li.unfolded:hover {
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
337 padding: 0 0 0 20px;
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
338 background: transparent url(../graphics/fold.gif) no-repeat 0px 0.3em;
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
339 }
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
340 ol.outline li.folded:hover {
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
341 padding: 0 0 0 20px;
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
342 background: transparent url(../graphics/unfold.gif) no-repeat 0px 0.3em;
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
343 }
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
344
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
345 ul.outline li.nofold {
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
346 padding: 0 0 0 52px;
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
347 background: transparent url(../graphics/bullet-nofold-dim.gif) no-repeat 5px 0.3em;
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
348 }
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
349 ul.outline li.unfolded {
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
350 padding: 0 0 0 52px;
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
351 background: transparent url(../graphics/bullet-fold-dim.gif) no-repeat 5px 0.3em;
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
352 }
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
353 ul.outline li.folded {
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
354 padding: 0 0 0 52px;
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
355 background: transparent url(../graphics/bullet-unfold-dim.gif) no-repeat 5px 0.3em;
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
356 }
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
357 ul.outline li.unfolded:hover {
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
358 padding: 0 0 0 52px;
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
359 background: transparent url(../graphics/bullet-fold.gif) no-repeat 5px 0.3em;
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
360 }
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
361 ul.outline li.folded:hover {
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
362 padding: 0 0 0 52px;
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
363 background: transparent url(../graphics/bullet-unfold.gif) no-repeat 5px 0.3em;
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
364 }
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
365
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
366 li ul.outline li.nofold {
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
367 padding: 0 0 0 21px;
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
368 background: transparent url(../graphics/nofold-dim.gif) no-repeat 5px 0.3em;
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
369 }
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
370 li ul.outline li.unfolded {
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
371 padding: 0 0 0 21px;
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
372 background: transparent url(../graphics/fold-dim.gif) no-repeat 5px 0.3em;
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
373 }
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
374 li ul.outline li.folded {
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
375 padding: 0 0 0 21px;
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
376 background: transparent url(../graphics/unfold-dim.gif) no-repeat 5px 0.3em;
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
377 }
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
378 li ul.outline li.unfolded:hover {
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
379 padding: 0 0 0 21px;
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
380 background: transparent url(../graphics/fold.gif) no-repeat 5px 0.3em;
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
381 }
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
382 li ul.outline li.folded:hover {
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
383 padding: 0 0 0 21px;
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
384 background: transparent url(../graphics/unfold.gif) no-repeat 5px 0.3em;
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
385 }
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
386
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
387 img.withBorder {
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
388 border: 2px solid #c60;
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
389 padding: 4px;
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
390 }
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
391
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
392 div.header {
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
393 position: absolute;
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
394 z-index: 2;
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
395 left: 0;
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
396 right: 0;
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
397 top: 0;
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
398 bottom: auto;
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
399 height: 2.95em;
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
400 width: 100%;
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
401 padding: 0 0 0 0;
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
402 margin: 0 0 0 0;
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
403 border-width: 0;
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
404 border-style: solid;
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
405 background-color: #005A9C;
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
406 border-bottom-width: thick;
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
407 border-bottom-color: #95ABD0;
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
408 }
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
409
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
410 div.footer {
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
411 position: absolute;
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
412 z-index: 80;
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
413 left: 0;
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
414 right: 0;
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
415 top: auto;
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
416 bottom: 0;
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
417 height: 3.5em;
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
418 margin: 0;
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
419 font-size: 80%;
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
420 font-weight: bold;
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
421 padding-left: 1em;
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
422 padding-right: 0;
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
423 padding-top: 0.3em;
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
424 padding-bottom: 0;
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
425 color: #003366;
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
426 background-color: #95ABD0;
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
427 }
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
428
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
429 /* this is a hack to hide property from IE6 and below */
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
430 div[class="footer"] {
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
431 position: fixed;
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
432 }
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
433
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
434 #hidden-bullet {
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
435 visibility: hidden;
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
436 display: none;
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
437 }
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
438
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
439 div.slide.cover {
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
440 color: white;
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
441 background-color: #728ec2;
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
442 padding-top: 0;
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
443 padding-right: 0;
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
444 padding-left: 3em;
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
445 height: 100%;
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
446 }
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
447
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
448 div.slide.cover h1 {
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
449 margin: 0;
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
450 padding: 0.5em;
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
451 color: white;
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
452 height: auto;
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
453 }
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
454
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
455 div.slide.cover h2 {
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
456 color: white;
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
457 }
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
458
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
459 div.slide.cover a {
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
460 color: white;
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
461 }
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
462
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
463 div.slide.cover a:visited { color: white }
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
464 div.slide.cover a:link { color: white }
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
465 div.slide.cover a:hover { color: yellow; text-decoration: underline }
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
466 div.slide.cover a:active { color: yellow; text-decoration: underline }
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
467
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
468 div.slide.cover a:hover, div.slide.cover a:active {
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
469 color: yellow; text-decoration: underline;
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
470 }
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
471
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
472 div.slide.cover img.cover {
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
473 margin: 0 0 0 0;
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
474 float: right;
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
475 padding-bottom: 4em;
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
476 width: 50%;
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
477 overflow: hidden;
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
478 }
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
479
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
480 div.slide.cover a:hover, div.slide.cover a:active {
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
481 color: yellow; text-decoration: underline;
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
482 }
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
483
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
484 /* for Bert as an ardent user of the old W3C slidemaker tool */
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
485
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
486 div.comment { display: none; visibility: hidden }
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
487
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
488 @media print {
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
489 div.slide h1 { background: transparent; color: black }
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
490 div.slide.cover { background: transparent; color: black }
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
491 div.slide.cover h1 { background: transparent; color: black }
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
492 div.comment { display: block; visibility: visible }
7fd82a802a66 add os9
anatofuz
parents:
diff changeset
493 }