.container {
    width: 700px;
}
.unset {
    color: unset;
    text-decoration: unset;
}
textarea:focus {
    border-color: black;
}
.mono {
    font-family: monospace;
}
.aplinout { height: 213px }
.apl      { height: 426px }
.aplbase {
    font-family: APL, monospace;
    white-space: pre;
    background-color: #e2ffe2;
    color: black;
    box-sizing: border-box;
    width: 697px;
}
.samewidth {
    max-width: 697px;
}
/* thanks dyalog.com May 2025 */
@font-face {
    font-family: APL;
    src: local("APL385 Unicode"), url("assets/apl385.ttf") /*if add format('ttf') then firefox78 will NOT work*/;
}