From 3402385d12a735f3f2b725ce57fea0669c20d499 Mon Sep 17 00:00:00 2001
From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Tue, 18 Jul 2006 08:47:41 +0000
Subject: [PATCH] changed colors to match our GtkSourceView settings

---
 helm/www/matita/grafite-format.css | 46 +++++++++++++++++++++++++++++-
 1 file changed, 45 insertions(+), 1 deletion(-)

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