Created a new directory for Matita1.0

[helm.git] / helm / www / matita1.0 / grafite-format.css

diff --git a/helm/www/matita1.0/grafite-format.css b/helm/www/matita1.0/grafite-format.css
new file mode 100644 (file)
index 0000000..cb902f5
--- /dev/null
+++ b/helm/www/matita1.0/grafite-format.css
@@ -0,0 +1,85 @@
+/* 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;
+}
+
+.grafite_Commands {
+       color: #200080;
+       font-weight: bold;
+}
+
+.grafite_Tactics {
+       color: #930000;
+       font-style: italic;
+}
+
+.grafite_Macros {
+       color: #004a43;
+}
+
+.grafite_Sorts {
+       color: #7779bb;
+}
+
+.grafite_Operators {
+       color: #44aadd;
+}
+
+.grafite_String {
+       color: #1060b6;
+}
+
+.grafite_Comment {
+       color: #595979;
+}
+
+.grafite_Symbols {
+       color: #406080;
+       font-weight: bold;
+}
+*/