body { padding:30px; font-family: sans-serif; }
body > * { margin-bottom:30px }
body > * > * { margin-bottom:30px }
header { float:left; margin: 5px 30px 0 0 } 
header h1 { margin-top: -12px }
header a { color: black; text-decoration: none; }
nav ul { padding:0; margin:0 45px 30px 0;float:left } 
nav ul { list-style-type: none; } 
nav ul li { display: inline; }
nav ul li::after { content: "/"; }
nav ul li:last-child::after { content: ""; }
nav ul:first-child::before { content: "["; }
nav ul:last-child::after { content: "]"; }
ul li { margin-bottom: 10px; }
main { max-width: 750px; clear: both}
pre { padding:10px; }
code { white-space: pre }
code, pre { background-color: #e0e0e0; overflow: scroll; }