]> matita.cs.unibo.it Git - helm.git/commitdiff
...
authorEnrico Tassi <enrico.tassi@inria.fr>
Thu, 24 Sep 2009 11:51:44 +0000 (11:51 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Thu, 24 Sep 2009 11:51:44 +0000 (11:51 +0000)
helm/software/matita/nlibrary/topology/sh_gedit.css

index c1529dde44578dce84c0663ac539f35e96caefa6..a156d82365d7630a65abc5d5726011ecc59171c7 100644 (file)
@@ -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 */\r
 pre.sh_sourceCode .sh_regexp { color: orange; font-family: monospace; }     /* regular expressions */\r
 pre.sh_sourceCode .sh_specialchar { color: pink; font-family: monospace; }  /* e.g., \n, \t, \\ */\r
-pre.sh_sourceCode .sh_comment { color: brown; font-style: italic; }         /* comments */\r
+pre.sh_sourceCode .sh_comment { color: blue; }         /* comments */\r
 pre.sh_sourceCode .sh_number { color: black; }                             /* literal numbers */\r
 pre.sh_sourceCode .sh_preproc { color: MediumSeaGreen; }       /* e.g., #include, import */\r
 pre.sh_sourceCode .sh_symbol { color:brown; font-weight: bold; }                            /* e.g., <, >, + */\r