@@ -0,0 +1,401 @@
3+ Copyright (c) 2005-2010 W3C (MIT, ERCIM, Keio), All Rights Reserved.
4+ W3C liability, trademark, document use and software licensing
7+ http://www.w3.org/Consortium/Legal/copyright-documents
8+ http://www.w3.org/Consortium/Legal/copyright-software
17+ background-color: white;
18+ font-family: "Gill Sans MT", "Gill Sans", GillSans, sans-serif;
23+ position: fixed; z-index: 200;
24+ top: auto; bottom: 0; left: 0; right: 0;
25+ height: 1.2em; text-align: right;
30+ background-color: rgb(240,240,240);
31+ border-top: solid 1px rgb(180,180,180);
34+div.toolbar span.copyright {
44+ background-color: rgb(200,200,200);
46+ background-color: rgb(200,200,200, 0.35);
50+div.initial_prompt p.help {
54+div.initial_prompt p.close {
71+ background: rgb(240,240,240);
77+div.slidy_toc .toc_heading {
82+ border-bottom-style: solid;
83+ border-bottom-color: rgb(180,180,180);
84+ border-bottom-width: 1px;
101+ background-color: transparent;
113+div.slide.titlepage {
117+div.slide.titlepage h1 {
124+ padding-right: 20pt;
126+ padding-bottom: 4pt;
130+ margin-bottom: 0.5em;
134+ background: transparent;
146+ border: solid thin black;
148+ background: rgb(240,240,240);
153+ visibility: visible;
158+ border-bottom: solid 1px rgb(180,180,180);
168+ padding-bottom: 0.2em;
171+ border-style: solid;
172+ border-left-width: 1em;
173+ border-top-width: thin;
174+ border-right-width: thin;
175+ border-bottom-width: thin;
176+ border-color: #95ABD0;
178+ background-color: #E4E5E7;
181+li pre { margin-left: 0; }
183+blockquote { font-style: italic }
185+img { background-color: transparent }
187+p.copyright { font-size: smaller }
189+.center { text-align: center }
190+.footnote { font-size: smaller; margin-left: 2em; }
192+a img { border-width: 0; border-style: none }
194+a:visited { color: navy }
195+a:link { color: navy }
196+a:hover { color: red; text-decoration: underline }
197+a:active { color: red; text-decoration: underline }
199+a {text-decoration: none}
200+.navbar a:link {color: white}
201+.navbar a:visited {color: yellow}
202+.navbar a:active {color: red}
203+.navbar a:hover {color: red}
205+ul { list-style-type: square; }
206+ul ul { list-style-type: disc; }
207+ul ul ul { list-style-type: circle; }
208+ul ul ul ul { list-style-type: disc; }
209+li { margin-left: 0.5em; margin-top: 0.5em; }
210+li li { font-size: 85%; font-style: italic }
211+li li li { font-size: 85%; font-style: normal }
217+ margin-bottom: 0.5em;
223+ margin-bottom: 0.5em;
227+p,pre,ul,ol,blockquote,h2,h3,h4,h5,h6,dl,table {
232+p.subhead { font-weight: bold; margin-top: 2em; }
234+.smaller { font-size: smaller }
235+.bigger { font-size: 130% }
237+td,th { padding: 0.2em }
240+ margin: 0.5em 1.5em 0.5em 1.5em;
245+ margin: 0.5em 1.5em 0.5em 1.5em;
249+ul { list-style-type: square; }
250+ul ul { list-style-type: disc; }
251+ul ul ul { list-style-type: circle; }
252+ul ul ul ul { list-style-type: disc; }
256+ margin: 0.1em 0em 0.6em 0;
262+ margin: 0.1em 0em 0.6em 1.5em;
265+ list-style-type: decimal;
271+ list-style-type: disc;
272+ background: transparent;
278+ list-style-type: circle;
279+ background: transparent;
283+ list-style-type: disc;
284+ background: transparent;
289+ list-style-type: decimal;
294+ list-style-type: decimal;
298+ setting class="outline on ol or ul makes it behave as an
299+ ouline list where blocklevel content in li elements is
300+ hidden by default and can be expanded or collapsed with
301+ mouse click. Set class="expand" on li to override default
304+ol.outline li:hover { cursor: pointer }
305+ol.outline li.nofold:hover { cursor: default }
307+ul.outline li:hover { cursor: pointer }
308+ul.outline li.nofold:hover { cursor: default }
310+ol.outline { list-style:decimal; }
311+ol.outline ol { list-style-type:lower-alpha }
313+ol.outline li.nofold {
314+ padding: 0 0 0 20px;
315+ background: transparent url(../graphics/nofold-dim.gif) no-repeat 0px 0.5em;
317+ol.outline li.unfolded {
318+ padding: 0 0 0 20px;
319+ background: transparent url(../graphics/fold-dim.gif) no-repeat 0px 0.5em;
321+ol.outline li.folded {
322+ padding: 0 0 0 20px;
323+ background: transparent url(../graphics/unfold-dim.gif) no-repeat 0px 0.5em;
325+ol.outline li.unfolded:hover {
326+ padding: 0 0 0 20px;
327+ background: transparent url(../graphics/fold.gif) no-repeat 0px 0.5em;
329+ol.outline li.folded:hover {
330+ padding: 0 0 0 20px;
331+ background: transparent url(../graphics/unfold.gif) no-repeat 0px 0.5em;
334+ul.outline li.nofold {
335+ padding: 0 0 0 20px;
336+ background: transparent url(../graphics/nofold-dim.gif) no-repeat 0px 0.5em;
338+ul.outline li.unfolded {
339+ padding: 0 0 0 20px;
340+ background: transparent url(../graphics/fold-dim.gif) no-repeat 0px 0.5em;
342+ul.outline li.folded {
343+ padding: 0 0 0 20px;
344+ background: transparent url(../graphics/unfold-dim.gif) no-repeat 0px 0.5em;
346+ul.outline li.unfolded:hover {
347+ padding: 0 0 0 20px;
348+ background: transparent url(../graphics/fold.gif) no-repeat 0px 0.5em;
350+ul.outline li.folded:hover {
351+ padding: 0 0 0 20px;
352+ background: transparent url(../graphics/unfold.gif) no-repeat 0px 0.5em;
355+/* for slides with class "title" in table of contents */
356+a.titleslide { font-weight: bold; font-style: italic }
359+ hide images for work around for save as bug
360+ where browsers fail to save images used by CSS
362+img.hidden { display: none; visibility: hidden }
363+div.initial_prompt { display: none; visibility: hidden }
366+ visibility: visible;
370+ border-top-style: solid;
371+ border-top-width: thin;
372+ border-top-color: black;
376+ .hidden { display: none; visibility: visible }
378+ div.slide.hidden { display: block; visibility: visible }
379+ div.handout.hidden { display: block; visibility: visible }
380+ div.background { display: none; visibility: hidden }
381+ body.single_slide div.initial_prompt { display: block; visibility: visible }
382+ body.single_slide div.background { display: block; visibility: visible }
383+ body.single_slide div.background.hidden { display: none; visibility: hidden }
384+ body.single_slide .invisible { visibility: hidden }
385+ body.single_slide .hidden { display: none; visibility: hidden }
386+ body.single_slide div.slide { position: absolute }
387+ body.single_slide div.handout { display: none; visibility: hidden }
391+ .hidden { display: block; visibility: visible }
393+ div.slide pre { font-size: 60%; padding-left: 0.5em; }
394+ div.toolbar { display: none; visibility: hidden; }
395+ div.slidy_toc { display: none; visibility: hidden; }
396+ div.background { display: none; visibility: hidden; }
397+ div.slide { page-break-before: always }
398+ /* :first-child isn't reliable for print media */
399+ div.slide.first-slide { page-break-before: avoid }