@font-face {
    font-family: "JetBrains Mono";
    src: url("fonts/JetBrainsMono-Regular.woff2") format("woff2"),
         url("fonts/JetBrainsMonoNL-Regular.ttf") format("ttf");
}
body {
   font-family: Arial, sans-serif;
}
header {
    display: block;
    text-align: center;
    line-height: 0.5;
    margin-bottom: 20px;
}
main {
    display: block;
    max-width: 800px;
    margin: auto;
}
label {
    font-size: 18px;
}
.textarea {
    padding: 5px;
    border-radius: 4px;
    border: 1px solid black;
    font-size: 12px;
    font-family: "JetBrains Mono", monospace;
    font-variant-ligatures: none;
    -webkit-font-variant-ligatures: none;
    resize: vertical;
    outline: 1px solid white;
    margin-bottom: 30px;
    line-height: 1.7;
    word-break: break-all;
    word-wrap: break-word;
}
.textarea:focus {
    border-color: #1E88E5;
    outline-color: #1E88E5;
}
.textarea > span {
    padding: 2px;
}
.text {
    color: black;
}
.escaped {
    background-color: #FFEE58;
}
.invalid {
    background-color: #EF5350;
}
.highlighted {
    box-shadow:
        inset  2px  2px 0 rgba(0, 0, 0, 0.5),
        inset -2px -2px 0 rgba(0, 0, 0, 0.5);
}