From 9f7d1f9a67a20088c40326bec9553bb5b2d16033 Mon Sep 17 00:00:00 2001 From: Enrico Tassi Date: Thu, 24 Sep 2009 11:51:44 +0000 Subject: [PATCH 1/1] ... --- helm/software/matita/nlibrary/topology/sh_gedit.css | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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., <, >, + */ -- 2.39.2