/* 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;
}

table {
  table-layout: auto;
  width: 100%;
}

/* 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;
}

td {
  padding-bottom: 2em;
}

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 0.5em 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;
}