/* default.css */

code { background-color: gainsboro; }

div.highlight { background-color: gainsboro;
                margin-left: 32px; }

h1 { font-size: x-large; }
h2 { font-size: large; }

nav { text-align: center; }