main {
    margin: 3rem auto;
    max-width: 90vw;
    width: 50ch;
}

pre:hover {
    user-select: all;
    -moz-user-select: all;
    -webkit-user-select: all;
}