html {
    color: rgb(51, 51, 46);
    font-family: "monospace";
    font-size: 1rem;
}

pre {
    font-size: 0.7rem;
}

#links {
    line-height: 1.5;
}

#links a {
    color: #2525d8; 
}

@media (max-width: 600px) {
    html {
        font-size: 1rem;
    }
    pre {
        font-size: 2.6vw
    }
    #links {
        line-height: 1.6;
    }
}
