Pulpscript fixes by november

/* ==UserStyle==
@name         Pulpscript fixes
@version      20240228.17.49
@namespace    EN-US
@description  Makes the font size legible
@author       November
@license      CC0
==/UserStyle== */

@-moz-document url-prefix("https://play.date/pulp/") {
html {
    --height: 32px;
}

.ace_editor {
    font: 40px 'Ubuntu Mono', monospace;
}

#mode-script #script-editor div {
    line-height: var(--height) !important;
}

.ace-twilight .ace_comment {
    font-style: normal;
}

.ace_line {
    height: var(--height) !important;
}
}