@import url("https://fonts.googleapis.com/css?family=B612+Mono&display=swap");
@import url("https://fonts.googleapis.com/css?family=Noto+Sans&display=swap");
@import url("https://fonts.googleapis.com/css?family=Noto+Serif&display=swap");

:root {
    --symbol-fonts: "Arial Unicode", "Apple Symbols", "Symbol", "Symbola_hint";
    --body-family: "Noto Serif", serif, var(--symbol-fonts);
    --title-family: "Noto Sans", sans-serif, var(--symbol-fonts);
    --mono-family: "B612 Mono", monospace, var(--symbol-fonts);
    --text-color: rgb(0,0,0);
    --comment-color: rgb(86,180,233);
    --value-color: rgb(0,114,178);
    --name-color: rgb(0,158,115);
    --mark-color: rgb(213,94,0);
}

html {
    margin: 0;
    padding: 0;
    font-size: 14pt;
    font-family: var(--body-family);
    line-height: 150%;
}

body {
    margin: 0;
    padding: 0;
}

body header dl div {
    padding-left: 0;
}

body header dl dt {
    font-family: var(--title-family);
}

main {
    margin-top: 1em;
    margin-left: auto;
    margin-right: auto;
    max-width: 50em;
}

div {
    padding-left: 1rem;
    padding-right: 1rem;
}

.toc, .box {
    border: thin solid red;
}

h1, h2, h3, h4, h5, h6 {
    font-family: var(--title-family);
}

h1, h2 {
    clear: both;
}

.informal .sectnum {
    display: none;
}

.formal .toc ul {
    list-style: none;
}

.formal .toc > ul {
    padding-left: 1rem;
}

pre {
    margin-left: 2em;
    padding: 0.5em 0 0.5em 1em;
    border: 3px solid #ddf;
    border-radius: 0.5em;
    overflow: scroll;
}

span.todo, ins {
    background: yellow
}

.conform {
    font-weight: bold
}

a, a:visited, a:link {
    color: blue;
}

a.button {
    color: black;
}

img {
    float: right;
    width: 25%; margin-left: 1em;
    border: thin solid black;
}

code {
     color: #A00;
     font-family: var(--mono-family);
}

.docid {
    padding-top: 1in;
    padding-bottom: 0.5in;
    color: #7f7f7f;
    font-size: 75%;
    font-family: var(--title-family);
}

.docid .bh {
    float: right;
}

.nobreak {
    white-space: nowrap;
}

/* ============================================================ */

.open, .close, .space {
    display: inline-block;
    width: 1rem;
    display: none;
}

.open, .close {
    cursor: pointer;
}

.open, .close,
.com {
    color: var(--comment-color);
}

.text {
    color: var(--mark-color);
}

.avalue, 
.mark, .rep, .reps {
    color: var(--mark-color);
}

.aname, .eq, .q,
.str, .hex {
    color: var(--name-color);
}

.stag, .etag, .gi,
.nt {
    color: var(--value-color);
}

add {
    background-color: #ccffcc;
}

chg {
    background-color: #ffffcc;
}

del {
    background-color: #ffcccc;
    text-decoration: line-through;
}

/* ============================================================ */
/* Slider-style checkbox */
/* Inspired by https://codepen.io/AllThingsSmitty/pen/MmxxOz */

.js .checkboxes {
    display: block;
}

.no-js .checkboxes {
    display: none;
}

.checkboxes {
    float: right;
    padding-right: 0.5rem;
    padding-top: 0.5rem;
}

.checkboxes div {
    padding-left: 0;
    padding-right: 0;
}

.switch {
    display: inline-block;
    height: 14px;
    position: relative;
    width: 24px;
}

.switch input {
    display:none;
}

.slider {
  background-color: #888;
  bottom: 0;
  cursor: pointer;
  left: 0;
  position: absolute;
  right: 0;
  top: 0;
  transition: .4s;
}

.slider:before {
  background-color: #fff;
  bottom: 2px;
  content: "";
  height: 10px;
  left: 2px;
  position: absolute;
  transition: .4s;
  width: 10px;
}

input:checked + .slider {
  background-color: #66bb6a;
}

input:checked + .slider:before {
  transform: translateX(10px);
}

.slider.round {
    border-radius: 10px;
}

.slider.round:before {
  border-radius: 50%;
}