* {
  -webkit-box-sizing: border-box;
          box-sizing: border-box;
}

body {
  margin: 0;
  padding: 1em;
  min-height: 100vh;
  color: #e8e8e8;
  background-color: #0f0f0f;
  line-height: 130%;
  font-family: Cambria, Cochin, Georgia, Times, 'Times New Roman', serif;
  font-size: 12pt;
}

a {
  color: inherit;
  text-decoration: none;
}

a:not(.no-hover):hover {
  background-color: #3c3c3c;
}

a:not(.no-hover):hover.accent-color {
  background-color: #c5281d;
}

input, button, textarea {
  padding: .3em;
  border: 1px solid #494949;
  color: inherit;
  background-color: #161616;
}

input:disabled, button:disabled, textarea:disabled {
  color: gray;
}

button {
  cursor: pointer;
}

button:not(:disabled):hover {
  background-color: #3c3c3c;
}

button:disabled {
  cursor: unset;
}

.flex-h {
  display: -webkit-box;
  display: -ms-flexbox;
  display: flex;
  -webkit-box-orient: horizontal;
  -webkit-box-direction: normal;
      -ms-flex-direction: row;
          flex-direction: row;
}

.flex-h.gap-half-em {
  gap: .5em;
}

.flex-h.centered {
  -webkit-box-pack: center;
      -ms-flex-pack: center;
          justify-content: center;
  -webkit-box-align: center;
      -ms-flex-align: center;
          align-items: center;
}

.flex-v {
  display: -webkit-box;
  display: -ms-flexbox;
  display: flex;
  -webkit-box-orient: vertical;
  -webkit-box-direction: normal;
      -ms-flex-direction: column;
          flex-direction: column;
}

.flex-v.gap-half-em {
  gap: .5em;
}

.box {
  display: -webkit-box;
  display: -ms-flexbox;
  display: flex;
  -webkit-box-orient: vertical;
  -webkit-box-direction: normal;
      -ms-flex-direction: column;
          flex-direction: column;
  background-color: #232323;
  border: 1px solid #494949;
  border-radius: .3em;
}

.box > * {
  padding: .3em;
}

.box > *:not(:first-child) {
  margin: .3em;
}

.box > *:first-child {
  background-color: #494949;
}

.box.passed {
  background-color: #008200;
}

.box.failed {
  background-color: #590000;
}

.box.accent-color {
  color: #e4e4e4;
  border: 1px solid #db2c20;
  background-color: #981f16;
}

.box.accent-color > *:first-child {
  background-color: #db2c20;
}

.simplebox {
  border-radius: .3em;
}

.simplebox > * {
  margin: .5em;
}

.simplebox.border {
  border: 1px solid #494949;
}

.simplebox.collapse-if-empty:empty {
  visibility: collapse;
}

.simplebox.passed {
  background-color: #008200;
}

.simplebox.failed {
  background-color: #590000;
}

.box2 {
  color: #ffdc40;
  font-weight: normal;
  font-family: inherit;
  border-left: 1px solid #ffdc40;
  margin: 0;
  padding-left: 1em;
}

.box2 > * {
  line-height: 115%;
}

.box2 h1 {
  margin-top: 0;
  color: #ffdc40;
  font-weight: normal;
  font-family: inherit;
}

.functionBox {
  display: -webkit-box;
  display: -ms-flexbox;
  display: flex;
  -webkit-box-orient: vertical;
  -webkit-box-direction: normal;
      -ms-flex-direction: column;
          flex-direction: column;
  padding: .3em;
  color: #ffdc40;
  font-family: 'Courier New', Courier, monospace;
  font-size: 12pt;
}

.functionBox.with-background {
  border: 1px solid #494949;
  background-color: rgba(35, 35, 35, 0.6);
}

.testcasebox {
  display: -ms-grid;
  display: grid;
  -webkit-box-orient: vertical;
  -webkit-box-direction: normal;
      -ms-flex-direction: column;
          flex-direction: column;
  overflow: hidden;
  border-radius: .3em;
  background-color: #322c00;
}

.testcasebox > *:first-child {
  background-color: #655900;
}

.testcasebox > *:not(:first-child) {
  margin: .5em;
}

.testcasebox > *:first-child {
  padding: .5em;
}

.testcasebox.passed {
  background-color: #001c00;
}

.testcasebox.passed > *:first-child {
  background-color: #008200;
}

.testcasebox.failed {
  background-color: #260000;
}

.testcasebox.failed > *:first-child {
  background-color: #590000;
}

.rectangle {
  display: -webkit-box;
  display: -ms-flexbox;
  display: flex;
  -webkit-box-orient: vertical;
  -webkit-box-direction: normal;
      -ms-flex-direction: column;
          flex-direction: column;
}

.rectangle > * {
  display: -webkit-box;
  display: -ms-flexbox;
  display: flex;
  -webkit-box-orient: horizontal;
  -webkit-box-direction: normal;
      -ms-flex-direction: row;
          flex-direction: row;
}

.rectangle > * > * {
  text-align: center;
  width: 1em;
}

.expectedRect {
  background-color: #0026ffc6;
}

.actualRect {
  background-color: #e61919cb;
}

.expectedRect.actualRect {
  background-color: #15ff00a6;
}

.CodeMirror {
  margin-left: 0em;
  height: unset;
  min-height: 20em;
  max-height: 60vh;
  -webkit-box-flex: 1;
      -ms-flex: 1;
          flex: 1;
}
/*# sourceMappingURL=styles.css.map */