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: #0055bb;
    text-decoration: none;
    background-color: #f8f9fa;
}

.navigation {
    color: #007733;
    text-decoration: none;
    background-color: #f8f9fa;
}

.navigation:hover {
    color: #009955;
    text-decoration: none;
    background-color: #f8f9fa;
}

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

.intro-image {
    /* Rounded corners */
    width: 150px;
    height: auto;
    border-radius: 15%;
    overflow: hidden;
}

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