...

diff --git a/helm/software/matita/nlibrary/topology/sh_gedit.css b/helm/software/matita/nlibrary/topology/sh_gedit.css
index c1529dde44578dce84c0663ac539f35e96caefa6..a156d82365d7630a65abc5d5726011ecc59171c7 100644 (file)
--- 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 */\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