table.sourceCode, tr.sourceCode, td.lineNumbers, td.sourceCode, table.sourceCode pre{margin:0;padding:0;border:0;vertical-align:baseline;border:none}td.lineNumbers{border-right:1px solid #AAAAAA;text-align:right;color:#AAAAAA;padding-right:5px;padding-left:5px}td.sourceCode{padding-left:5px}pre.sourceCode span.kw{color:#75D075;font-weight:bold}pre.sourceCode span.dt{color:#00FFFF;font-weight:bold}pre.sourceCode span.dv{color:#7FFFD4}pre.sourceCode span.bn{color:#40a070}pre.sourceCode span.fl{color:#40a070}pre.sourceCode span.ch{color:#FFA3E0}pre.sourceCode span.st{color:#FFA3E0}pre.sourceCode span.co{color:#60a0b0;font-style:italic}pre.sourceCode span.ot{color:#ADFF2F}pre.sourceCode span.al{color:red;font-weight:bold}pre.sourceCode span.fu{color:#BDDEFF}pre.sourceCode span.re{}pre.sourceCode span.er{color:red;font-weight:bold}