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.
tuned comment markup;
authorwenzelm
Wed, 11 Jul 2007 00:46:48 +0200
changeset 23731 e42f71809a7a
parent 23730 8866c87d1a16
child 23732 f9f89b7cfdc7
tuned comment markup;
lib/html/isabelle.css file | annotate | diff | comparison | revisions 
--- a/lib/html/isabelle.css	Wed Jul 11 00:29:52 2007 +0200
+++ b/lib/html/isabelle.css	Wed Jul 11 00:46:48 2007 +0200
@@ -32,7 +32,7 @@
 .string         { color: #008B00; }
 .altstring      { color: #8B8B00; }
 .verbatim       { color: #00008B; }
-.comment        { color: #00008B; }
+.comment        { color: #8B0000; }
 .control        { background-color: #FF6A6A; font-weight: bold; }
 .malformed      { background-color: #FF6A6A; font-weight: bold; }
isabelle