body {
    font-family: sans-serif;
    font-size: 16px;
    letter-spacing: -0.01em;
    line-height: 150%;
    text-align: left;
    background-color: white;
    color: black;
    padding: 0;
    border: none;

    max-width: 1100px;
    margin-right: auto;
    margin-left : auto;
    /* margin: 0px 0px 0px 0px; */
    /* min-width: 740px; */
}

/* -- body styles ----------------------------------------------------------- */

p {
    margin: 0.8em 20px 0.5em 20px;
}

mjx-container {
    text-align: left !important;
    text-indent: 30px !important;
}  

a {
    color: #CA7900;
    text-decoration: none;
}

a:hover {
    color: #2491CF;
}

h1 {
    margin: 0;
    padding: 0.7em 20px 0.0em 20px;
    font-size: 1.6em;
    color: #11557C;
}

h2 {
    margin: 1.7em 20px 0.2em 20px;
    font-size: 1.35em;
    padding: 0;
}

h3 {
    margin: 1em 20px -0.3em 20px;
    font-size: 1.2em;
}

pre code {
    font-family: monospace;
    background-color: #ffffff;
    border: 1px solid #999;
    display: block;
    margin: 0 20px 0 20px;
    padding: 10px 20px 10px 20px;
}

table {
    border-collapse: collapse;
    border-right-width: 0;
    border-left-width: 0;
    margin: 20px 10px 20px 10px;
}

th {
    border-top-width: 1px;
    border-bottom-style: double;
    border-bottom-width: 2px;
    border-right-width: 0;
    border-left-width: 0;
    padding: 0.2em 0.5em 0.2em 0.5em;
}

td {
    border-width: 0 0;
    padding: 0.25em 0.5em 0.25em 1.5em;
}

img {
    display: block;
    margin: auto;
}

header {
    background-color: #ffffff;
    padding: 0.5em 20px 0.5em 20px;
}

footer {
    background-color: #ffffff;
    padding: 0.5em 20px 0.5em 20px;
}

div {
    position: relative;
}

canvas {
    border: 0px solid red;
}

ul.select-lang li {
    display: inline;
    margin-top: 0px;
    margin-bottom: 0px;
    margin-left: 1.0em;
    margin-right: 1.0em;
}

ul.select-lang {
    margin-top: 0px;
    margin-bottom: 0px;
}

ul li {
    margin-top: 0.2em;
    margin-bottom: 0.2em;
}

details {
    color: #ffffff;
}

.parent {
    display: grid;
    align-items: flex-end;
    grid-template-columns: 400px 700px;
}

button {
    font-size: 16px;
}

input {
    font-size: 16px;
}

output {
    font-size: 16px;
}

.screen {
  height: 0;
  overflow: hidden;
}