1/* Following are the presentation styles -- edit away!
2   Note that the 'body' font size may have to be changed if the resolution is
3    different than expected. */
4
5body {background: #f3f3f3 url(bodybg.gif); color: #000; font-size: 2em; font-family: Verdana, Arial, sans-serif;}
6
7a {
8	color: #c30;
9	text-decoration: none;
10}
11
12a:hover {
13	text-decoration: underline;
14}
15
16:link, :visited {text-decoration: none;}
17#controls :active {color: #333 !important;}
18#controls :focus {outline: none;}
19h1, h2, h3, h4 {font-size: 100%; margin: 0; padding: 0; font-weight: inherit;}
20ul, pre {margin: 0; line-height: 1em;}
21html, body {margin: 0; padding: 0;}
22
23blockquote, q {font-style: italic;}
24blockquote {padding: 0 2em 0.5em; margin: 0 1.5em 0.5em; text-align: center; font-size: 1em;}
25blockquote p {margin: 0;}
26blockquote i {font-style: normal;}
27blockquote b {display: block; margin-top: 0.5em; font-weight: normal; font-size: smaller; font-style: normal;}
28blockquote b i {font-style: italic;}
29
30kbd {font-weight: bold; font-size: 1em;}
31sup {font-size: smaller; line-height: 1px;}
32
33code {padding: 2px 0.25em; font-weight: bold; color: #555;}
34code.bad, code del {color: red;}
35code.old {color: silver;}
36pre {font-size: .7em;
37	margin: 0 auto;
38	background-color: #f3f3f3;
39	border: 1px solid #d5d5d5;
40	width: 80%;
41	padding: 20px;}
42pre code {display: block;}
43pre code span {
44	font-weight: normal;
45	font-size: 0.98em;
46}
47ul {margin-left: 85px; margin-right: 3%; list-style: disc; padding: 0;}
48li {margin-top: 5px; margin-right: 0;}
49ul ul {line-height: 1;}
50ul ul li {margin: .2em; font-size: 85%; list-style: square;}
51p, li {
52	line-height: 1.2;
53}
54img.leader {display: block; margin: 0 auto;}
55
56
57div#header, div#footer {color: #AAB;
58  font-family: Verdana, Helvetica, sans-serif;}
59div#header {background: #f3f3f3 url(head.gif) repeat-x top;
60  line-height: 1px;}
61div#footer {font-size: 0.5em; font-weight: bold; padding: 1em 0; color: #666;}
62#footer h1, #footer h2 {display: block; padding: 0 1em;}
63#footer h2 {margin-top: 0.5em;}
64
65div.long {font-size: 0.75em;}
66.slide h1 {position: absolute; top: 0.8em; left: 0; z-index: 1;
67  margin-left: 85px; padding: 0; white-space: nowrap;
68  font-weight: bold; font-size: 150%; line-height: 1;
69  color: #f3f3f3;}
70.slide h3 {font-size: 130%;}
71h1 abbr {font-variant: small-caps;}
72
73div#controls {position: absolute; z-index: 5; left: 75%; top: 0;
74  width: 25%; height: 100%;
75  text-align: right;}
76#footer>div#controls {position: fixed; bottom: 0; padding: 2em 0;
77  top: auto; height: auto;}
78div#controls form {position: absolute; bottom: 0; right: 0; width: 100%;
79  margin: 0; padding: 0;}
80div#controls a {font-size: 2em; padding: 0; margin: 0 0.2em; border: none; color: #f3f3f3;
81  cursor: pointer;}
82div#controls a:hover {color: #f3f3f3;}
83div#controls select {visibility: hidden; background: #f3f3f3; color: #333;}
84div#controls div:hover select {visibility: visible;}
85
86#toggle, #prev, #next {
87	display: block;
88	width: 35px; height: 35px;
89	line-height: 35px;
90	float: left;
91	background: url(button.gif) no-repeat 0 0;
92}
93#toggle {
94
95}
96#next {
97	text-align: left;
98}
99
100#currentSlide {text-align: center; font-size: 0.5em; color: #666; font-weight: bold;}
101#currentSlide span {display: none;}
102
103#slide0 {padding-top: 3.5em; font-size: 90%;}
104#slide0 h1 {position: static; margin: 1em 0 1.33em; padding: 5px 0 5px 20px;
105   font: bold 2.2em Arial, Verdana, sans-serif; white-space: normal;
106   color: #000; background: transparent url(slide0h1.gif) no-repeat left bottom;
107	text-transform: none; }
108#slide0 h3 {margin-top: 0.3em; font-size: 1.2em;}
109#slide0 h4 {margin:0; font-size: 0.9em;}
110
111ul.urls {list-style: none; display: inline; margin: 0;}
112.urls li {display: inline; margin: 0;}
113.note {display: none;}
114
115acronym {
116	font-size: 90%;
117}
118
119div.image {
120	margin: 0 auto;
121	text-align: center;
122	background-color: #f3f3f3;
123	border: 1px solid #000;
124	font-size: 0.66%;
125	width: 400px;
126	padding: 20px;
127}
128
129p {
130	margin-left: 85px;
131}
132
133div.image p, #slide0 p {
134	margin-left: 0;
135}