pre.python {
	margin: 10pt;
  font-family:'Andale Mono','Courier New','Lucida Console',monospace;  
}

.python .number {
	color: #0080C0;
  font-weight: bold;
}  

.python .op {
	color: #0000C0;
  font-weight: bold;
}

.python .string {
	color: #004080;
  /* background-color: #EEEEEE; */
}

.python .comment {
	color: #008000;
  /* background-color: #CCCCCC; */
}

.python .name {
	color: #000000;
}

.python .errtoken {
	color: #FF8080;
}

.python .keyword {
	color: #C00000;
  font-weight: bold;
}

.python .text {
	color: #000000;
}