helm/software/matita/nlibrary/topology/sh_gedit.css

   1 pre.sh_sourceCode {\r
   2   background-color: white;\r
   3   color: black;\r
   4   font-style: normal;\r
   5   font-weight: normal;\r
   6 }\r
   7 \r
   8 pre.sh_sourceCode .sh_keyword { color: brown; font-weight: bold; }           /* language keywords */\r
   9 pre.sh_sourceCode .sh_type { color: darkgreen; font-weight: bold; }          /* basic types */\r
  10 pre.sh_sourceCode .sh_usertype { color: teal; }                             /* user defined types */\r
  11 pre.sh_sourceCode .sh_string { color: magenta; font-family: monospace; }        /* strings and chars */\r
  12 pre.sh_sourceCode .sh_regexp { color: orange; font-family: monospace; }     /* regular expressions */\r
  13 pre.sh_sourceCode .sh_specialchar { color: pink; font-family: monospace; }  /* e.g., \n, \t, \\ */\r
  14 pre.sh_sourceCode .sh_comment { color: blue; }         /* comments */\r
  15 pre.sh_sourceCode .sh_number { color: black; }                             /* literal numbers */\r
  16 pre.sh_sourceCode .sh_preproc { color: MediumSeaGreen; }       /* e.g., #include, import */\r
  17 pre.sh_sourceCode .sh_symbol { color:brown; font-weight: bold; }                            /* e.g., <, >, + */\r
  18 pre.sh_sourceCode .sh_function { color: black; font-weight: bold; }         /* function calls and declarations */\r
  19 pre.sh_sourceCode .sh_cbracket { color: red; }                              /* block brackets (e.g., {, }) */\r
  20 pre.sh_sourceCode .sh_todo { font-weight: bold; background-color: cyan; }   /* TODO and FIXME */\r
  21 \r
  22 /* Predefined variables and functions (for instance glsl) */\r
  23 pre.sh_sourceCode .sh_predef_var { color: darkblue; }\r
  24 pre.sh_sourceCode .sh_predef_func { color: darkblue; font-weight: bold; }\r
  25 \r
  26 /* for OOP */\r
  27 pre.sh_sourceCode .sh_classname { color: teal; }\r
  28 \r
  29 /* line numbers (not yet implemented) */\r
  30 pre.sh_sourceCode .sh_linenum { color: black; font-family: monospace; }\r
  31 \r
  32 /* Internet related */\r
  33 pre.sh_sourceCode .sh_url { color: blue; text-decoration: underline; font-family: monospace; }\r
  34 \r
  35 /* for ChangeLog and Log files */\r
  36 pre.sh_sourceCode .sh_date { color: blue; font-weight: bold; }\r
  37 pre.sh_sourceCode .sh_time, pre.sh_sourceCode .sh_file { color: darkblue; font-weight: bold; }\r
  38 pre.sh_sourceCode .sh_ip, pre.sh_sourceCode .sh_name { color: darkgreen; }\r
  39 \r
  40 /* for Prolog, Perl... */\r
  41 pre.sh_sourceCode .sh_variable { color: darkgreen; }\r
  42 \r
  43 /* for LaTeX */\r
  44 pre.sh_sourceCode .sh_italics { color: darkgreen; font-style: italic; }\r
  45 pre.sh_sourceCode .sh_bold { color: darkgreen; font-weight: bold; }\r
  46 pre.sh_sourceCode .sh_underline { color: darkgreen; text-decoration: underline; }\r
  47 pre.sh_sourceCode .sh_fixed { color: green; font-family: monospace; }\r
  48 pre.sh_sourceCode .sh_argument { color: darkgreen; }\r
  49 pre.sh_sourceCode .sh_optionalargument { color: purple; }\r
  50 pre.sh_sourceCode .sh_math { color: orange; }\r
  51 pre.sh_sourceCode .sh_bibtex { color: blue; }\r
  52 \r
  53 /* for diffs */\r
  54 pre.sh_sourceCode .sh_oldfile { color: orange; }\r
  55 pre.sh_sourceCode .sh_newfile { color: darkgreen; }\r
  56 pre.sh_sourceCode .sh_difflines { color: blue; }\r
  57 \r
  58 /* for css */\r
  59 pre.sh_sourceCode .sh_selector { color: purple; }\r
  60 pre.sh_sourceCode .sh_property { color: blue; }\r
  61 pre.sh_sourceCode .sh_value { color: darkgreen; font-style: italic; }\r
  62 \r
  63 /* other */\r
  64 pre.sh_sourceCode .sh_section { color: black; font-weight: bold; }\r
  65 pre.sh_sourceCode .sh_paren { color: red; }\r
  66 pre.sh_sourceCode .sh_attribute { color: darkgreen; }\r