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;padding-right:5px;padding-left:5px}td.sourceCode{padding-left:5px}pre.sourceCode span.kw{font-weight:bold}pre.sourceCode span.dt{}pre.sourceCode span.dv{}pre.sourceCode span.bn{}pre.sourceCode span.fl{}pre.sourceCode span.ch{}pre.sourceCode span.st{font-style:italic}pre.sourceCode span.co{font-style:italic}pre.sourceCode span.ot{}pre.sourceCode span.al{font-weight:bold}pre.sourceCode span.fu{}pre.sourceCode span.re{}pre.sourceCode span.er{font-weight:bold}