body {
    background-color: linen;
    margin: 1.5rem;
    font-family: sans-serif;
}

h1, h2, h3, p, menu, details {
    margin: 0.75rem 0;
}

h1 {
    font-size: 1.5em;
}

a {
    color: saddlebrown;
}

menu {
    list-style: none;
    padding: 0;
    line-height: 1.75;
}

menu > li {
    display: inline-block;
    margin-left: 1.5rem;
    text-indent: -1.5rem;
    padding-right: 0.5rem;
}

label {
    text-wrap: nowrap;
    padding-right: 0.25rem;
}

.flex-break {
    flex-basis: 100%;
    height: 0;
}

select:hover, input:hover, label:hover, button:hover, summary:hover {
    cursor: pointer;
}

:disabled:hover {
    cursor: default !important;
}

#gvContainer {
    border: 1px solid black;
    border-radius: 10px;
    background-color: white;
}

#gvContainer > div {
    width: 100%;
    height: 60vh;
}

#gvContainer div.vis-tooltip {
    max-width: 50%;
    text-wrap: wrap;
    font-family: sans-serif;
    font-size: 0.8rem;
    border-radius: 10px;
}

#gvRelations input[type=checkbox] ~ span {
    border-bottom: solid 1.5px;
}

#gvRelations input[type=checkbox] ~ span.dashedBorder {
    border-bottom-style: dashed;
}

@media (min-width: 120vh) {
    #gvContainer {
        width: 70%;
        float: left;
        margin-right: 0.75rem;
    }
}

footer {
    clear: both;
    /* This is to get margin/padding to work, see here: https://stackoverflow.com/a/4198306 */
    border: 1px solid transparent;
}

/* Animated spinning wheel on top of the network SVG to show when the graph is loading */

#gvContainer {
    display: grid;
}

#gvContainer > div {
    grid-column: 1;
    grid-row: 1;
}

#gvSpinningWheel {
    display: flex;
    justify-content: center;
    align-items: center;
}

#gvSpinningWheel > div {
    border: 16px solid linen;
    border-top-color: peru;
    border-radius: 50%;
    width: 80px;
    height: 80px;
    animation: spin 2s linear infinite;
}

@keyframes spin {
    0% { transform: rotate(0deg) }
    100% { transform: rotate(360deg) }
}