h1 { margin-bottom: 0; }
.tagline { margin-top: -0.1em; font-style: italic; }
.menu { float: right; list-style-type: none; margin: 0.5em; padding: 0.5em; border: 1px solid; }
.menu li { margin: 0.1em; padding: 0; }
.menu li a { display: block; padding: 0.2em; }
.menu li a:hover { background-color: #eef; }
.menu ul { list-style-type: none; margin: 0 0 0.5em 2em; padding: 0; }
.warning { width: 60%; margin: 1em auto; padding: 1em; border: 2px solid; font-size: larger; }
.warning strong { font-size: larger; float: left; margin-right: 0.5em; }

code.example { display: block; margin-left: 2em; }