@media only screen and (max-device-width : 1024px) {
    body { width: 95%; margin: auto; }
}

@media only screen and (min-width : 1025px) {
    body { width: 50%; margin: auto; }
}

body { font-family: monospace; }
body.dark-True { background-color: black; color: white; }
body.dark-False { background-color: white; color: black; }
body.embiggen-True { font-size: 1.5em; }
body.embiggen-False { font-size: 1em; }
div.header-title { margin: 20px auto; text-align: center; }
div.header-links { text-align: center; }
div.dropdowns { display: grid; grid-template-columns: 50% 50%; text-align: center; }
div.dropdowns div { margin-bottom: 20px; }
div.search-box { margin: 10px auto; text-align: center; }
div.username { display: inline; }
input.search { margin-right: 5px; width: 50%; }
li { margin: 3px 10px 7px -20px; text-align: justify; }
div.traversal { display: grid; grid-template-columns: 50% 50%; margin-bottom: 10px; }
div.previous { text-align: left; padding-left: 20px; }
div.next { text-align: right; padding-right: 20px; }
span.highlight { background-color: yellow; color: black; }
div.info { text-align: center; margin-top: 20px; margin-bottom: 20px; }