.SourceCode {
  border:solid 1px gainsboro;
  margin-left:72px;
  overflow:auto;
}


.SourceCode .LineNumbers {
  font:normal 12px 'Lucida Console';
  float:left;
  width:32px;
}


.SourceCode .SourceLines {
  font:normal 12px 'Lucida Console';
  margin-left:40px;
}


.SourceCode .LineNumber {
  background-color:whitesmoke;
  height:18px;
  line-height:18px;
  border-top:solid 2px white;
  font-weight:bold;
  text-align:center;
}


.SourceCode .SourceLine {
  background-color:white;
  height:18px;
  line-height:18px;
  border-top:solid 2px white;
  white-space:pre;
}


.SourceCode .CodeHeader {
  background-color:whitesmoke;
  border-bottom:solid 1px gainsboro;
  font-weight:bold;
  padding:8px;
}