# HG changeset patch # User wenzelm # Date 1184107608 -7200 # Node ID e42f71809a7a7871a2f2ec7b54cb7f302d31c720 # Parent 8866c87d1a163a2af26db346cb43555b670eafd2 tuned comment markup; diff -r 8866c87d1a16 -r e42f71809a7a lib/html/isabelle.css --- 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; }