body 
{
	font-family: tahoma,verdana;
	font-size: 8pt;
}
h1 {font-size: 16pt;}

.kwd
{
  color: #000084;
}

.string
{
  color: #840000;
}

.comment
{
  color: #008200;
}

.code
{
  background-color: #efefef;
  padding-bottom: 10px;
  padding-left: 10px;
  padding-right: 10px;
  padding-top: 10px;
}