.geshi {
	white-space: normal;
	font-size: 8px;
	font-family: Courier, Monaco, "Courier New", monospace; color: #000000;
	border-top: 0px;
	border-left: 4px solid #565962;
	border-right: 1px solid #565962;
	border-bottom: 1px solid #565962;
	margin: 0 auto 1px auto;
	padding: 1px;
	padding-top: 3px;
	padding-bottom: 3px;
	overflow: hidden;
	background-color: #ffffff;
	}
.lua {font-size: 8px;}
.de1 {font-weight:normal;background:transparent; font-family: Courier, Monaco, "Courier New", monospace; color:#000;}
.de2 {font-weight:normal;background:transparent; font-family: Courier, Monaco, "Courier New", monospace; color:#000;}
.kw1 { font-family: Courier, Monaco, "Courier New", monospace; color: #0000ff; font-weight: bold;}
.kw2 { font-family: Courier, Monaco, "Courier New", monospace; color: #ff0000;}
.kw3 { font-family: Courier, Monaco, "Courier New", monospace; color: #0000ff; font-weight: bold;}
.kw4 { font-family: Courier, Monaco, "Courier New", monospace; color: #F96CF9;}
.kw5 { font-family: Courier, Monaco, "Courier New", monospace; color: #0080C0; font-weight: bold;}
.kw6 { font-family: Courier, Monaco, "Courier New", monospace; color: #8000FF; font-weight: bold;}
.co1 { font-family: Courier, Monaco, "Courier New", monospace; color: #008000;}
.co2 { font-family: Courier, Monaco, "Courier New", monospace; color: #008000;}
.es0 { font-family: Courier, Monaco, "Courier New", monospace; color: #000033; font-weight: bold;}
.br0 { font-family: Courier, Monaco, "Courier New", monospace; color: #2700C2; font-weight: bold;}
.st0 { font-family: Courier, Monaco, "Courier New", monospace; color: #D02300; font-weight: bold;}
.nu0 { font-family: Courier, Monaco, "Courier New", monospace; color: #CC33FF;}
.me0 { font-family: Courier, Monaco, "Courier New", monospace; color: #990000;}
.re0 { font-family: Courier, Monaco, "Courier New", monospace; color: #B30000;}
.re1 { font-family: Courier, Monaco, "Courier New", monospace; color: #007000;}