.examples { border: 0px; margin: 1em 0; }
.nav { background: #eee; border-top: 1px solid #ccc; padding: 5px; margin-bottom: 25px; }
.nav a { color: #000; padding: 0 5px; }
.nav a.highlight { color: #000; font-weight: bold; }