/* thanks dyalog.com May 2025 */
@font-face {
    font-family: APL;
    src: local("APL385 Unicode"), url("assets/apl385.ttf");
}

kbd.l, pre, code, .apl, #aplblock, #aplinout, #session, #primerGlyphs input, .ngn_lb b {
  font-family: APL, monospace;
}
kbd.l, pre, code, .apl, #aplblock, #aplinout, #session, #primerGlyphs input {
  white-space: pre;
}