From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Tue, 18 Jul 2006 08:47:41 +0000 (+0000)
Subject: changed colors to match our GtkSourceView settings
X-Git-Tag: make_still_working~7061
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=3402385d12a735f3f2b725ce57fea0669c20d499;p=helm.git

changed colors to match our GtkSourceView settings
---

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;
 }
-
+*/