From 01c3b68d4e207f91fecb8c75a0dd7d09fe7a2036 Mon Sep 17 00:00:00 2001 From: Marshall Lochbaum Date: Tue, 15 Feb 2022 22:14:32 -0500 Subject: Highlight errors in the REPL code window --- docs/fonts.html | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) (limited to 'docs/fonts.html') diff --git a/docs/fonts.html b/docs/fonts.html index 0d81fbea..1e44081a 100644 --- a/docs/fonts.html +++ b/docs/fonts.html @@ -11,7 +11,7 @@ div.right { text-align:right; } span.ul { text-decoration:underline; } - textarea { padding:0.2em; } + textarea, .highlight { padding:0.2em; } .cont { margin-top:0; } .run { float:right; margin-left:0.4em; } .rslt { border:none; background:none; min-height:8em; } @@ -288,6 +288,7 @@ Iosevka Term Extended
+
-- cgit v1.2.3