pre
{
  background:#f8f8f8;
  border:0.1rem solid #1a1a1a;
  padding:0.5em 1em;
  overflow-x:auto
}

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}.sourceCode

span.kw{color:#007020;font-weight:bold}.sourceCode
span.dt{color:#902000}.sourceCode
span.dv{color:#40a070}.sourceCode
span.bn{color:#40a070}.sourceCode
span.fl{color:#40a070}.sourceCode
span.ch{color:#4070a0}.sourceCode
span.st{color:#4070a0}.sourceCode
span.co{color:#60a0b0;font-style:italic}.sourceCode
span.ot{color:#007020}.sourceCode
span.al{color:red;font-weight:bold}.sourceCode
span.fu{color:#06287e}.sourceCode
span.re{}.sourceCode
span.er{color:red;font-weight:bold}