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;}