10 div#header, div#footer {
52 /* copied from pretty.css for ul */
53 .slide ol {margin-left: 5%; margin-right: 7%;}
55 .slide ul, .slide ul li ul, .slide ol {
74 text-decoration: line-through;
86 .slide table.side-by-side tr {
108 margin: 0.1em 0 0.1em 0;
116 .fake-slide0 {padding-top: 3.5em; font-size: 90%;}
117 .fake-slide0 h1 {position: static; margin: 1em 0 0; padding: 0;
118 font: bold 2em Helvetica, sans-serif; white-space: normal;
119 color: #000; background: transparent;}