div, h1, h2, h3, h4, h5, pre, code, p {
    margin: 0;
    padding: 0;
}

h1, h2, h3, h4, h5 {
    margin-top: 1.6em;
    margin-bottom: 0.6em;
}

input {
    outline: none;
}

h1 {
    margin-top: 0.7em;
}

p {
    margin-top: 0.4em;
    margin-bottom: 0.4em;
}

ul {
    margin-bottom: 2.0em;
}

li {
    margin-top: 0.3em;
}

body {
    font-family: monospace;
    font-size: 140%;
    line-height: 1.4;
    color: #000;
}

td {
    padding: 0 1em 0 1em;
    margin: 0 0em 0 0em;
    text-align: right;
}

input[type=button] {
    background-color: #e7e7e7;
    border-style: solid;
    border-radius: 6px;
    border-color: #e0e0e0;
    border-width: 2px;
    text-decoration: none;
    color: #000;
    padding: 5px 18px;
    cursor: pointer;
}

input[type=button] {
    margin-top: 1.4em;
}

input[type=button].loading {
    background-color: #e7d0d0;
}

input[type=button].loaded {
    border-color: #c0e7c0;
}

input[type=button].run_example_button {
    border-color: #b0e7b0;
}

input[type=button].running {
    border-color: #e7b0b0;
}

code#output {
    display: block;
    min-height: 20em;
}

p#load_status {
    margin-top: 0em;
}

p.buttonrow {
    --position: fixed;
    --margin-top: 20px;
}

div#footer {
    width: 2em;
    height: 6em;
}

.prejson {
    font-family: monospace;
    white-space: pre;
}

.bytesTB {
    color: #8b1f8e;
}

.bytesGB {
    color: #952300;
}

.bytesMB {
    --ccolor: #255111;
    color: #12697d;
}

.highlight_error {
    color: red;
    font-weight: bold;
}