table.sourceCode, tr.sourceCode, td.lineNumbers, td.sourceCode, table.sourceCode pre 
   { margin: 0; padding: 0; vertical-align: baseline; }
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 { }
pre.sourceCode span.Normal { }
pre.sourceCode span.Keyword { color: #9600ff; }
pre.sourceCode span.DataType { color: black; }
pre.sourceCode span.DecVal { color: blue }
pre.sourceCode span.BaseN { color: #40a070; }
pre.sourceCode span.Float { color: #40a070; }
pre.sourceCode span.Char { color: #4070a0; }
pre.sourceCode span.String { color: #444444; }
pre.sourceCode span.Comment { color: #666666; font-style: italic; }
pre.sourceCode span.Others { color: #888888; }
pre.sourceCode span.Alert { color: red; font-weight: bold; }
pre.sourceCode span.Function { color: green; }
pre.sourceCode span.RegionMarker { }
pre.sourceCode span.Error { color: red; font-weight: bold; }
pre { border-left: 0.25em solid #eeeeee; padding-left: 1em; margin-left: 1em; }
body {
margin-left: 15em;
margin-right: 15em;
}