X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Fmatita%2Fgrafite-format.css;h=cb902f503bc75beddb6c02ed553e43bc86765c2e;hb=fdf7649cd98c08e6153f08ae5831191d9cbf1574;hp=a02229d7e520e31e76f00d7af306b235b408a122;hpb=911b2823c0e495fdebf487ad55f7c06eaabfd95f;p=helm.git

diff --git a/helm/www/matita/grafite-format.css b/helm/www/matita/grafite-format.css
index a02229d7e..cb902f503 100644
--- a/helm/www/matita/grafite-format.css
+++ b/helm/www/matita/grafite-format.css
@@ -1,4 +1,48 @@
+/* color scheme similar to the colors we use in gtksourceview */
 
+.grafite_TheoremKinds {
+	color: #a52a2a;
+	font-weight: bold;
+}
+
+.grafite_Commands {
+	color: #a52a2a;
+	font-weight: bold;
+}
+
+.grafite_Tactics {
+	color: #008b8b;
+	/*font-style: italic;*/
+}
+
+.grafite_Macros {
+	color: #a020f0;
+}
+
+.grafite_Sorts {
+	color: #2e8b57;
+}
+
+.grafite_Operators {
+	color: #a020f0;
+}
+
+.grafite_String {
+	color: #ff00ff;
+}
+
+.grafite_Comment {
+	color: #0000ff;
+}
+
+.grafite_Symbols {
+	color: #a52a2a;
+	font-weight: bold;
+}
+
+/* color scheme from colorer's navy.css stylesheet */
+
+/*
 .grafite_TheoremKinds {
 	color: #7779bb;
 	font-weight: bold;
@@ -38,4 +82,4 @@
 	color: #406080;
 	font-weight: bold;
 }
-
+*/