 DejaVu Sans Mono, MonoLisa, Consolas, monospace;
        }

        .monospace-table { /* Liberation is worse than DejaVu for block drawing characters. */
            font-family: DejaVu Sans Mono, Liberation Mono, MonoLisa, Consolas, monospace;
        }

        .shadow {
            box-shadow: 0 0 1rem var(--shadow-color);
        }

        input, textarea {
            border: 1px solid var(--border-color); /* The font must be not too small (to be inclusive) and not too large (it's less practical and