.section {
    width: 100%;
    font-size: 1.2em;
}
.section h3 {
    margin-top: -10 px;
}
#themeselector {
    padding-left: 90px;
    padding-right: 40px;
    font-size: 1.2em;
    animation-duration: 0.7s;
    background-color: white;
}
#themeselector a {
    color: #0000EE;
    text-decoration: underline;
}
@media (max-width: 900px) or (orientation: portrait) {
    #themeselector {
        padding-left: 40px;
    }
}
.hoverable {
    color: #0000EE;
    text-decoration: underline;
}
.hoverable:hover {
    color: #551A8B;
}
.tooltip {
    color: black;
    background-color: white;
    border: 1px solid black;
    padding-top: 2px;
    padding-bottom: 2px;
    padding-left: 4px;
    padding-right: 4px;
}
.emph {
    font-style: italic;
}
.serif {
    font-family: sans-serif;
}
@keyframes rainbow-text {
    100%,0%{color: rgb(255,0,0); text-shadow: 0 0 4px rgb(216, 1, 1);}
    8%{color: rgb(255,127,0); text-shadow: 0 0 4px rgb(211, 105, 0);}
    16%{color: rgb(255,255,0); text-shadow: 0 0 4px rgb(214, 214, 0);}
    25%{color: rgb(127,255,0); text-shadow: 0 0 4px rgb(105, 211, 0);}
    33%{color: rgb(0,255,0); text-shadow: 0 0 4px rgb(0, 204, 0);;}
    41%{color: rgb(0,255,127); text-shadow: 0 0 4px rgb(0, 209, 105);}
    50%{color: rgb(0,255,255); text-shadow: 0 0 4px rgb(0, 202, 202);}
    58%{color: rgb(0,127,255); text-shadow: 0 0 4px rgb(0, 103, 206);}
    66%{color: rgb(0,0,255); text-shadow: 0 0 4px rgb(0, 0, 206);}
    75%{color: rgb(127,0,255); text-shadow: 0 0 4px rgb(103, 0, 206);}
    83%{color: rgb(255,0,255); text-shadow: 0 0 4px rgb(211, 0, 211);}
    91%{color: rgb(255,0,127); text-shadow: 0 0 4px rgb(211, 0, 105);}
}
div#buttons {
    margin-top: 2rem;
}