h1 { font-family: sans-serif; font-size: 110%; margin-top: 0.5ex; margin-bottom: 0ex; font-weight: bold }
h2 { font-family: sans-serif; font-size: 90%; margin-top: 1.5ex; margin-bottom: 0ex; font-weight: normal }
p { font-family: sans-serif; font-size: 90%; margin-top: 0.5ex; margin-bottom: 0ex }
p.quote { font-family: serif; font-size: 90%; margin-top: 1ex; margin-bottom: 0ex; margin-left: 2em }
ul, li { margin-top: 0ex; margin-bottom: 0ex }
div.menu { align: right; font-family: sans-serif; font-size: 80%; margin-top: 0.2ex; margin-bottom: 0ex; font-weight: bold }
a.menu { color: #00a4a3 }
a.example { font-size: 90% }
div.copy { align: left; font-family: sans-serif; font-size: 60% }
div.presenting { font-size: 90%; font-family: sans-serif }
span.hacks { font-weight: bold; font-family: sans-serif; color: #00a4a3 }