# HG changeset patch
# User wenzelm
# Date 1543357818 -3600
# Node ID bff3eb77b0d1e5cf723da613290cff92e9fd2bc1
# Parent  736c628cf00627fcdf272d7bb66a8a353d108476
adjusted to fc221fa79741;

diff -r 736c628cf006 -r bff3eb77b0d1 etc/isabelle.css
--- a/etc/isabelle.css	Tue Nov 27 23:20:58 2018 +0100
+++ b/etc/isabelle.css	Tue Nov 27 23:30:18 2018 +0100
@@ -46,7 +46,9 @@
 .inner_numeral  { color: #FF0000; }
 .inner_quoted   { color: #FF00CC; }
 .inner_cartouche { color: #CC6600; }
-.inner_comment  { color: #CC0000; }
+.comment1       { color: #CC0000; }
+.comment2       { color: #FF8400; }
+.comment3       { color: #6600CC; }
 .dynamic        { color: #7BA428; }
 .class_parameter_color { color: #D2691E; }