code {
	background-color: #EFEFEF;
	border-color: #003333;
	display: block;
	font-family: courier;
	font-size: normal;
	width:700px;
}
div.code {
	width: 700px;overflow: auto;
	background-color: #EFEFEF;
	border-style: dotted;
	border-width: thin;
}

@print div.code {
	width: 700px;
	background-color: #EFEFEF;
	border-style: dotted;
	border-width: thin;
}

.syntax0 {
color: #000000;
}
.syntax1 {
color: #009900;
font-style: italic;
}
.syntax2 {
color: #cccccc;
font-style: italic;
}
.syntax3 {
color: #6600cc;
}
.syntax4 {
color: #cc6600;
}
.syntax5 {
color: #009191;
}
.syntax6 {
color: #000099;
}
.syntax7 {
color: #ff0000;
font-weight: bold;
}
.syntax8 {
color: #0000ba;
}
.syntax9 {
color: #990000;
font-weight: bold;
}
.syntax10 {
color: #0b5174;
font-weight: bold;
}
.syntax11 {
color: #006699;
font-weight: bold;
}
.syntax12 {
color: #990033;
font-weight: bold;
font-style: italic;
}
.syntax13 {
color: #ee0009;
font-style: italic;
}
.syntax14 {
color: #ff6666;
}
.syntax15 {
color: #9900cc;
}
.syntax16 {
color: #6600cc;
}
.syntax17 {
color: #990033;
}
.syntax18 {
color: #000000;
font-weight: bold;
}