Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
more HTML markup (without rendering);
authorwenzelm
Sun, 08 Dec 2024 20:13:40 +0100
changeset 81566 f207acb03ccb
parent 81565 bf19ea589f99
child 81567 a1ad3d1761fe
more HTML markup (without rendering);
etc/isabelle.css file | annotate | diff | comparison | revisions
src/Pure/Build/browser_info.scala file | annotate | diff | comparison | revisions 
--- 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; }
--- a/src/Pure/Build/browser_info.scala	Sun Dec 08 20:09:14 2024 +0100
+++ b/src/Pure/Build/browser_info.scala	Sun Dec 08 20:13:40 2024 +0100
@@ -158,6 +158,7 @@
   val default_elements: Elements =
     Elements(
       html = Rendering.foreground_elements ++ Rendering.text_color_elements +
+        Markup.TCLASS + Markup.TCONST + Markup.CONST +
         Markup.NUMERAL + Markup.COMMENT + Markup.ENTITY + Markup.LANGUAGE +
         Markup.PATH + Markup.URL,
       entity = Markup.Elements(Markup.THEORY, Markup.TYPE_NAME, Markup.CONSTANT, Markup.FACT,
isabelle