body{width:800px;margin:0px auto 0px auto;color:#330000}a:link{color:#881111;text-decoration:none;font-weight:bolder}a:active{color:red;text-decoration:underline;font-weight:bolder}a:visited{color:#881111;text-decoration:none;font-weight:bolder}a:hover{color:red;text-decoration:none;font-weight:bolder}div#navigation{text-align:center;border-bottom:4px solid #330000}div#navigation a{color:white;text-decoration:none;background-color:#330000;padding:3px 10px 3px 10px;margin:0px 10px 0px 10px}pre{border:1px dotted gray;background-color:#FFFFCC;color:#1111111;padding:0.5em}code{font-family:monospace;font-size:90%}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:#007020;font-weight:bold}pre.sourceCode span.dt{color:#902000}pre.sourceCode span.dv{color:#40a070}pre.sourceCode span.bn{color:#40a070}pre.sourceCode span.fl{color:#40a070}pre.sourceCode span.ch{color:#4070a0}pre.sourceCode span.st{color:#4070a0}pre.sourceCode span.co{color:#60a0b0;font-style:italic}pre.sourceCode span.ot{color:#007020}pre.sourceCode span.al{color:red;font-weight:bold}pre.sourceCode span.fu{color:#06287e}pre.sourceCode span.re{}pre.sourceCode span.er{color:red;font-weight:bold}