changed colors to match our GtkSourceView settings

diff --git a/helm/www/matita/grafite-format.css b/helm/www/matita/grafite-format.css
index a02229d7e520e31e76f00d7af306b235b408a122..cb902f503bc75beddb6c02ed553e43bc86765c2e 100644 (file)
--- 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;
 }
-
+*/