body {
	background-color: #FFF868;
   font-family: Arial, Helvetica, sans-serif;
}
.source span.html { color: #000000; }
.source span.default { color: #0000BB; }
.source span.keyword { color: #007700; }
.source span.string { color: #DD0000; }
.source span.comment { color: #FF8000 }

pre {
   width: 95%;
   margin-left:7%;
   border-style:solid;
   border-color:silver;
   border-width:thin;
   padding:10px;

}