.keyword { color: #FF0000 }
.comment { color: #0000CC; font: italic }
.string  { color: #0000FF }

.sourcecode{ background-color: #F0F0F0  }