/* a minimalist set of CSS resets */

/* default to border-box */
html {
    box-sizing: border-box;
    font-size: 16px;
}

*,
*:before,
*:after {
    box-sizing: inherit;
}

header {
    background-color: #facbc7;
    margin: 0 0 1em 0;
    text-align: center;
    padding: 0.5em 0em 0.6em 0em;
    border-bottom: 0.2em solid #cd9279;
}

body {
    color: #403941;
    font-family: "Open Sans", sans-serif;
    line-height: 1.5;
    background-color: #fff0eb !important;
    margin: 0 auto !important;
}

.centred {
    max-width: 720px;
    margin: 0 auto !important;
    float: none !important;
    padding: 1em;
}

/* images and videos max out at full width */
img,
video {
    height: auto;
    max-width: 100%;
}

footer {
    border-top: 0.2em solid #facbc7;
    margin-top: 3em;
}

textarea {
    width: 100%;
    min-height: 10em;
}

select {
    width: 100%;
    white-space: pre;
    overflow-wrap: normal;
    overflow-x: scroll;
}

#controls {
    background-color: #ccc;
    padding: 1em;
}

#debugContainer {
    margin-top: 5em;
    padding-top: 5em;
    border-top: 1px dotted #666;
}

#debugContainer textarea {
    font-family: monospace;
    padding: 0.5em;
}

pre {
    line-height: 1.15; /* ascii art */
}

.preTxt,
.pTxt,
.divTxt {
    line-height: 1.1; /* ascii art */
    height: auto;
    margin: 0px;
    padding: 0px;
    overflow: hidden;
}

.preTxt,
.pTxt {
    display: table-cell;
    border-spacing: 0px;
}

.divTxt {
    display: table;
}

p.outcome {
    padding-bottom: 1em;
}

.pTxt {
    font-size: 90% !important;
}

.divTxt h3 {
    font-size: 90% !important;
}

.preTxt {
    font-family: monospace;
    background-color: #ffe0d6;
    color: #999999;
}

.preTxt.stretch {
    transform: scaleY(10);
    transform-origin: 0 0;
}

.preHighlight {
    background-color: #00ffff;
}

pre pre {
    margin: 0px;
    display: inline-block;
}
pre code {
    white-space: pre-wrap; /* Since CSS 2.1 */
    white-space: -moz-pre-wrap; /* Mozilla, since 1999 */
    white-space: -pre-wrap; /* Opera 4-6 */
    white-space: -o-pre-wrap; /* Opera 7 */
    word-wrap: break-word; /* Internet Explorer 5.5+ */
    width: 80em;
}

textarea#debugTree {
    height: 310em;
}
textarea#debugGlossary {
    height: 20em;
}
textarea#debugLinks {
    height: 35em;
}
#debugTree {
    background-color: #ffe0d6;
}
#debugGlossary {
    background-color: #a0dee8;
}
#debugLinks {
    background-color: #facbc7;
}

button {
    background-color: #eeeeee;
    padding: 0.5em;
    border-radius: 0.5em;
    margin: 0.5em;
    line-height: 1em;
    display: inline-block;
    box-shadow: 0.2em 0.2em;
}

p button {
    margin: 0em 0.3em 0em 0.1em;
}

button.selected {
    background-color: #a0dee8;
    box-shadow: 0.1em 0.1em #000000;
    transform: translateY(0.1em);
}

.backButton {
    float: right;
    opacity: 0.7;
    margin-top: 1.5em;
    box-shadow: 0.1em 0.1em;
}

button:active {
    box-shadow: 0 0;
    transform: translateY(0.2em);
}

.lineDiv {
    padding: 0.5em 1em 2em 1em;
    margin: 1em 0em;
    border-radius: 0.5em;
}

#pageNav {
    padding: 0em 1em;
}

.current {
    background-color: #a0dee8;
}

.fine {
    background-color: #a6e8a0;
}

.notfine {
    background-color: #efbdbd;
}

.neutral {
    background-color: #f4e8c1;
}

.hidden {
    display: none;
}