pre.sh_sourceCode {background-color: white;color: black;font-style: normal;font-weight: normal;}pre.sh_sourceCode .sh_keyword { color: blue; font-weight: bold; } pre.sh_sourceCode .sh_type { color: darkgreen; }pre.sh_sourceCode .sh_usertype { color: teal; } pre.sh_sourceCode .sh_string { color: red; font-family: monospace; }pre.sh_sourceCode .sh_regexp { color: orange; font-family: monospace; } pre.sh_sourceCode .sh_specialchar { color: pink; font-family: monospace; }pre.sh_sourceCode .sh_comment { color: brown; font-style: italic; } pre.sh_sourceCode .sh_number { color: purple; } pre.sh_sourceCode .sh_preproc { color: darkblue; font-weight: bold; } pre.sh_sourceCode .sh_symbol { color: darkred; }pre.sh_sourceCode .sh_function { color: black; font-weight: bold; } pre.sh_sourceCode .sh_cbracket { color: red; }pre.sh_sourceCode .sh_todo { font-weight: bold; background-color: cyan; } pre.sh_sourceCode .sh_predef_var { color: darkblue; }pre.sh_sourceCode .sh_predef_func { color: darkblue; font-weight: bold; }pre.sh_sourceCode .sh_classname { color: teal; }pre.sh_sourceCode .sh_linenum { color: black; font-family: monospace; }pre.sh_sourceCode .sh_url { color: blue; text-decoration: underline; font-family: monospace; }pre.sh_sourceCode .sh_date { color: blue; font-weight: bold; }pre.sh_sourceCode .sh_time, pre.sh_sourceCode .sh_file { color: darkblue; font-weight: bold; }pre.sh_sourceCode .sh_ip, pre.sh_sourceCode .sh_name { color: darkgreen; }pre.sh_sourceCode .sh_variable { color: darkgreen; }pre.sh_sourceCode .sh_italics { color: darkgreen; font-style: italic; }pre.sh_sourceCode .sh_bold { color: darkgreen; font-weight: bold; }pre.sh_sourceCode .sh_underline { color: darkgreen; text-decoration: underline; }pre.sh_sourceCode .sh_fixed { color: green; font-family: monospace; }pre.sh_sourceCode .sh_argument { color: darkgreen; }pre.sh_sourceCode .sh_optionalargument { color: purple; }pre.sh_sourceCode .sh_math { color: orange; }pre.sh_sourceCode .sh_bibtex { color: blue; }pre.sh_sourceCode .sh_oldfile { color: orange; }pre.sh_sourceCode .sh_newfile { color: darkgreen; }pre.sh_sourceCode .sh_difflines { color: blue; }pre.sh_sourceCode .sh_selector { color: purple; }pre.sh_sourceCode .sh_property { color: blue; }pre.sh_sourceCode .sh_value { color: darkgreen; font-style: italic; }pre.sh_sourceCode .sh_section { color: black; font-weight: bold; }pre.sh_sourceCode .sh_paren { color: red; }pre.sh_sourceCode .sh_attribute { color: darkgreen; }