Remove an obsolete style

This commit is contained in:
Richard Feldman 2023-11-19 19:48:18 -05:00
parent 25f6d5f6f3
commit f7cd9422f6
No known key found for this signature in database
GPG Key ID: F1F21AA5B1D9E43B

View File

@ -163,12 +163,6 @@ pre>samp {
display: block;
}
.repl-prompt:before {
/* Add this using CSS so it isn't selectable, which would be annoying when trying to copy/paste! */
color: var(--repl-prompt);
content: "» ";
}
.repl-err {
color: var(--magenta);
}