@ -33,7 +33,7 @@ header {
text-decoration:none;
}
pre {
font-family: 'Mono';
font-family: monospace;
#menu {
font-size:2.5rem;