Line 342: | Line 342: | ||
} | } | ||
.header h1 { | .header h1 { | ||
− | font-family: 'DejaVu Sans Mono', Monaco, Courier, monospace | + | font-family: 'DejaVu Sans Mono', Monaco, Courier, monospace; |
margin: 0.2em 0; | margin: 0.2em 0; | ||
font-size: 3.5em; | font-size: 3.5em; |
Revision as of 12:45, 16 October 2017