--- a/etc/isabelle.css	Sun Dec 08 20:09:14 2024 +0100
+++ b/etc/isabelle.css	Sun Dec 08 20:13:40 2024 +0100
@@ -34,8 +34,11 @@
 .control        { font-weight: bold; font-style: italic; }
 
 .binding        { color: #336655; }
+.tclass         { }
+.tconst         { }
 .tfree          { color: #A020F0; }
 .tvar           { color: #A020F0; }
+.const          { }
 .free           { color: #0000FF; }
 .skolem         { color: #D2691E; }
 .bound          { color: #008000; }