From: Enrico Tassi Date: Thu, 24 Sep 2009 11:51:44 +0000 (+0000) Subject: ... X-Git-Tag: make_still_working~3440 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=9f7d1f9a67a20088c40326bec9553bb5b2d16033;p=helm.git ... --- diff --git a/helm/software/matita/nlibrary/topology/sh_gedit.css b/helm/software/matita/nlibrary/topology/sh_gedit.css index c1529dde4..a156d8236 100644 --- a/helm/software/matita/nlibrary/topology/sh_gedit.css +++ b/helm/software/matita/nlibrary/topology/sh_gedit.css @@ -11,7 +11,7 @@ pre.sh_sourceCode .sh_usertype { color: teal; } /* u pre.sh_sourceCode .sh_string { color: magenta; font-family: monospace; } /* strings and chars */ pre.sh_sourceCode .sh_regexp { color: orange; font-family: monospace; } /* regular expressions */ pre.sh_sourceCode .sh_specialchar { color: pink; font-family: monospace; } /* e.g., \n, \t, \\ */ -pre.sh_sourceCode .sh_comment { color: brown; font-style: italic; } /* comments */ +pre.sh_sourceCode .sh_comment { color: blue; } /* comments */ pre.sh_sourceCode .sh_number { color: black; } /* literal numbers */ pre.sh_sourceCode .sh_preproc { color: MediumSeaGreen; } /* e.g., #include, import */ pre.sh_sourceCode .sh_symbol { color:brown; font-weight: bold; } /* e.g., <, >, + */