html {
    font-size: 90%;
}
body {
    font-family: "Martian Mono", monospace !important;
}