X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fmatita%2Fnlibrary%2Ftopology%2Fsh_gedit.css;h=a156d82365d7630a65abc5d5726011ecc59171c7;hb=d05dded8c907533b3aba2fcc75c82fa56478af0e;hp=c1529dde44578dce84c0663ac539f35e96caefa6;hpb=488fb7a872e0cf99f58a97baf6ec2358625d1212;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., <, >, + */