body {
    font-family: Inter, sans-serif;
    background-color: hsl(240deg, 100%, 95%);
}

input {
    font-size: 16pt;
    font-family: monospace;
}

textarea {
    font-size: 16pt;
    font-family: monospace;
}

input[type=text] {
    width: 400px;
}

#main {
}

.mono {
    font-family: monospace;
}

div.maininput {
    width: 100%;
    margin-bottom: 20px;
    text-align: center;
}

#maininput {
    position: fixed;
    top: 0;
    left: 0;
    z-index: 10;
    background: hsla(240deg, 100%, 85%, 80%);
    padding-top: 10px;
    padding-bottom: 10px;
}

#input {
    width: 600px;
}

div.maininputrow {
    display: block;
    margin-bottom: 10px;
}

div.maininputrow button {
    font-size: 12pt;
    margin-left: 20px;
    margin-right: 20px;
}

div.help {
    position: relative;
    font-size: 10pt;
    display: inline-block;
    width: 600px;
    text-align: left;
    background-color: hsl(240deg, 100%, 85%);
    vertical-align: top;
}

div.expandbutton {
    display: inline-block;
    text-align: center;
    cursor: pointer;
    width: 14pt;
    height: 14pt;
    line-height: 14pt;
    font-size: 12pt;
    background-color: hsl(240deg, 100%, 85%);
}

div.helpbar {
    background-color: hsl(240deg, 100%, 90%);
    color: gray;
    cursor: pointer;
}

div.helptext {
    position: absolute;
    top: 16pt;
    left: 0;
    padding-left: 10px;
    padding-right: 10px;
    background-color: hsl(240deg, 100%, 85%);
}

a.inputexample {
    font-family: monospace;
    background-color: hsl(240deg, 100%, 90%);
    text-decoration: none;
    color: black;
    cursor: pointer;
}

div.mainoutput {
    width: 100%;
    font-size: 12pt;
    text-align: center;
}

#mainoutput {
    position: absolute;
    top: 160px;
    left: 0;
}

div.outputgroupcolumn {
    display: inline-block;
    vertical-align: top;
    margin-left: 5px;
    margin-right: 5px;
}

div.outputgroup {
    position: relative;
    display: block;
    vertical-align: top;
    width: 600px;
    background-color: hsl(120deg, 100%, 95%);
    padding: 5px;
    margin-bottom: 10px;
    box-shadow: 3px 3px 10px black;
}

div.outputgroupvoid {
    background-color: #eeeeee;
}

div.outputgrouprow {
    display: block;
    width: 100%;
    margin-bottom: 15px;
}

div.outputgrouptitle {
    display: block;
    width: 100%;
    font-size: 14pt;
    margin-bottom: 10px;
    text-align: left;
}

.inputtype {
    font-weight: bold;
}

div.outputgrouprowtitle {
    display: block;
    width: 100%;
    text-align: left;
    margin-top: 10px;
    border-top: 1px solid gray;
}

div.outputcellsubtitle {
    display: block;
    width: 100%;
    font-size: 10pt;
}

div.outputgrouprow {
    position: relative;
    display: block;
    width: 100%;
    text-align: center;
}

div.outputcellrow {
    display: block;
    margin-bottom: 5px;
}

div.outputcell {
    display: inline-block;
    text-align: center;
    vertical-align: top;
}

.outputcontainer {
}

.outputvalue {
    position: relative;
    font-family: monospace;
    min-height: 16pt;
    line-height: 16pt;
    background-color: white;
    border: 1px solid silver;
}

.autocopytagdata {
    /* Must be positioned so that the copy indicator positions itself
     * correctly within it */
    position: relative;
}

.outputvalue.clicktocopy:not(.outputcontainervoid), .autocopytagdata[data-text-to-copy] {
    cursor: pointer;
}

.outputvalue.clicktocopy:not(.outputcontainervoid):hover, .autocopytagdata[data-text-to-copy]:hover {
    background-color: hsl(60deg, 100%, 80%);
}

.bigoutputvalue {
    min-height: 24pt;
    line-height: 24pt;
    font-size: 16pt;
}

/* Ordinary output values don't look like links, but if you click them they'll
 * bring you to index.html?i=[output value as new input] */
a.outputvaluelink {
    text-decoration: none;
    color: black;
}

a.outputvaluelink:hover {
    background-color: hsl(60deg, 100%, 80%);
}

.outputcontainervoid {
    background-color: silver;
}

div.outputcellbigcharacter {
    display: inline-block;
    font-family: sans-serif;
    height: 120px;
    width: 120px;
    line-height: 120px;
    font-size: 80px;
    text-align: center;
    border: 1px silver inset;
}

div.buttonblock {
    text-align: center;
}

div.buttonrow {
    margin-bottom: 5px;
}

div.buttongroup {
    display: inline-block;
    vertical-align: bottom;
    margin-left: 5px;
    margin-right: 5px;
}

div.buttongrouplegend {
    font-size: 10pt;
    color: gray;
    border-bottom: 1px solid gray;
    margin-bottom: 2px;
}

div.flagrow {
    display: block;
    text-align: right;
    width: 100%;
    font-size: 10pt;
}

div.cornerflags {
    display: block;
    position: absolute;
    text-align: right;
    right: 2px;
    top: 2px;
    font-size: 10pt;
}

div.flag {
    display: inline-block;
    visibility: hidden;
    padding-left: 0.5em;
    padding-right: 0.5em;
    background-color: hsl(60deg, 100%, 80%);
}

div.flagactive {
    visibility: visible;
}

a {
    text-decoration: none;
}

.outputtablefootnote {
    font-family: "Inter", sans-serif;
    font-style: italic;
    text-align: right;
    font-size: 10pt;
    background-color: none;
    margin-right: 0.5em;
    color: gray;
}

table.inttable th {
    font-weight: normal;
    font-size: 10pt;
}

td.rowtitle {
    text-align: center;
    font-weight: normal;
    font-size: 10pt;
}

table.inttable td label {
    display: block;
    width: 100%;
    height: 100%;
}

table.inttable td input[type=radio] {
    width: 100%;
    height: 100%;
    margin: 0;
    padding: 0;
    cursor: pointer;
}

table.inttable td input[type=radio]:hover {
}

table.inttable tr.radiobuttonrow td:hover {
}

table.dyntable {
    border-collapse: collapse;
}

table.dyntable th {
    font-weight: normal;
    font-size: 10pt;
    text-align: left;
    border-left: 1px solid transparent;
}

table.dyntable td {
    border: 1px solid silver;
    background-color: white;
    padding: 2px;
    text-align: left;
}

table.dyntable td.unicodechar {
    font-family: sans-serif;
    text-align: center;
}

span.invalidbyte {
    color: red;
    border-bottom: 1pt dotted red;
}

span.invalidbyteseq {
    color: red;
    border-bottom: 1pt dotted red;
}

@keyframes floatup {
    0% {
        opacity: 100%;
        transform: translate(-50%, -75%);
    }
    100% {
        opacity: 0%;
        transform: translate(-50%, -150%);
    }
}

div.copyindicator {
    position: absolute;
    transform: translate(-50%, 50%);
    text-align: center;
    font-family: Inter, sans-serif;
    font-size: 10pt;
    height: 16pt;
    line-height: 16pt;
    animation-name: floatup;
    animation-fill-mode: forwards;
    animation-timing-function: ease-out;
    animation-duration: 1s;
    z-index: 10;
    padding: 5px 10px 5px 10px;
    border-radius: 5px;
    font-weight: bold;
    color: white;
    background: black;
}

table.calendar {
    background-color: white;
    border-collapse: collapse;
    border: 1px solid silver;
}

table.calendar.outputcontainervoid {
    background-color: silver;
}

table.calendar tr.titlerow {
    font-weight: bold;
}

table.calendar tr.titlerow td {
    text-align: center;
    padding: 5px;
}

table.calendar tr.weekdayrow {
    font-size: 10pt;
    text-align: center;
}

table.calendar tr.daterow {
    text-align: right;
}

table.calendar tr.daterow td {
    border: 1px solid silver;
    padding: 2px;
    width: 1.5em;
    font-variant-numeric: tabular-nums;
}

table.calendar tr.daterow td.highlightday {
    background-color: yellow;
}