/** OVERALL STYLE **/

body {
    font-family: sans-serif;
    margin: 0;
    padding: 0;
    min-height: 100vh;
    position: relative;
}
.theme-colors {
    font-family: monospace;
    background: black;
    color: white;
}
.theme-colors a {
    color: lightgreen;
    text-decoration: none;
}
.theme-colors a:hover {
    text-decoration: underline;
}
.header {
    padding: 1rem;
    line-height: 1.8;
}
.footer {
    padding: 1rem;
    box-sizing: border-box;
    position: absolute;
    bottom: 0;
    width: 100%;
}
.main {
    padding: 0 1rem 4rem 1rem;
    max-width: 50rem;
}

/** FOLDERS **/

.folder-icon {
    height: 20px;
    width: 20px;
    margin-right: 5px;
}
li {
    line-height: 1.3;
    list-style-image: none; /** prevent inheritance if inside folder **/
}
.hidden {
    display: none;
}
.selected {
    background: rgba(255, 0, 0, 0.5);
}

/** INDENTATION **/

.indent-1 {
    white-space: pre;
    tab-size: 2;
}
.indent-2 {
    white-space: pre;
    tab-size: 4;
}
.indent-3 {
    white-space: pre;
    tab-size: 6;
}
.indent-4 {
    white-space: pre;
    tab-size: 8;
}
.indent-5 {
    white-space: pre;
    tab-size: 10;
}
.indent-6 {
    white-space: pre;
    tab-size: 12;
}
.indent-7 {
    white-space: pre;
    tab-size: 14;
}
.indent-8 {
    white-space: pre;
    tab-size: 16;
}
.indent-9 {
    white-space: pre;
    tab-size: 18;
}
.indent-right-align {
    white-space: pre;
    tab-size: 100;
}

/** HIGHLIGHTED REGIONS **/

.oxe-image {
    position: relative;
    display: inline-block; /** so resizes to inner image **/
    max-width: none;
}
.oxe-region {
    position: absolute;
    display: block;
    background: rgba(25,122,250,.3);
}

/** TABLES **/
table {
    border-collapse: collapse;
}
td, th {
    border: 1px solid black;
    padding: .4rem;
}

/** ABOUT PAGE **/
.about-body {
    padding: 2rem 5vw;
}
.about-h1 {
    font-size: 6rem;
    font-weight: normal;
}
.about-content {
    line-height: 1.5;
    min-width: 6rem;
    max-width: 100%;
    width: 30rem;
    font-size: 1.5em;
    margin-bottom: 1.5rem;
    margin-left: 3vw;
    text-justify: justify;
}
