h1 { font-family: times; font-style: italic; font-size: 80px; margin: 0.5ex 0ex }
body { font-family: sans-serif; }
.footer { font-size: 80%; }
pre.code { background-color: #eee; padding: 2ex; }
.screenshot-float { float: right; padding: 2ex; }
.screenshot-float img { height: 400px; }