body {
    background-color: #f8f9fa;

    /* Dotted background */
    /*
    background-image: radial-gradient(#0002 1px, transparent 1px),
                      radial-gradient(#0002 1px, transparent 1px);

    background-size: 20px 20px;
    background-position: 0 0, 10px 10px;
    */
}

.card-link {
    color: #003377;
    text-decoration: none;
    background-color: #f8f9fa;
}

.card-link:hover {
    color: #0056b3;
    text-decoration: none;
    background-color: #f8f9fa;
}

.monospace {
    font-family: monospace;
    /* preserve white-space */
    white-space: pre-wrap;
}

/*
#major, #minor {
    background-color: #f8f9fa;
}
*/
