3 font-family: Verdana, Helvetica, sans-serif;
11 div#header, div#footer {
53 /* copied from pretty.css for ul */
54 .slide ol {margin-left: 5%; margin-right: 7%;}
56 .slide ul, .slide ul li ul, .slide ol {
75 text-decoration: line-through;
87 .slide table.side-by-side tr {
109 margin: 0.1em 0 0.1em 0;
117 .fake-slide0 {padding-top: 3.5em; font-size: 90%;}
118 .fake-slide0 h1 {position: static; margin: 1em 0 0; padding: 0;
119 font: bold 2em Helvetica, sans-serif; white-space: normal;
120 color: #000; background: transparent;}