.wp_syntax {
	background-color: #fff;
	border: none;
	border-left: 3px solid #ececde;
	font-family: Monaco, monospace;
  	font-size: 11px;
  	line-height: 17px;
  	color: #595750;
	overflow: auto;
	}	

/* IE FIX */
.wp_syntax {
  	overflow-x: auto;
  	overflow-y: hidden;
  	padding-bottom: expression(this.scrollWidth > this.offsetWidth ? 15 : 0);
  	width: 100%;
	}

.wp_syntax table {
  	border-collapse: collapse;
	}

.wp_syntax td {
  	vertical-align: top;
  	padding: 2px 4px;
	}

.wp_syntax .line_numbers {
  	text-align: right;
  	background-color: #def;
  	color: gray;
  	overflow: visible;
	}

/* potential overrides for other styles */
.wp_syntax pre {
 	margin: 0;
  	width: auto;
  	float: none;
  	clear: none;
  	overflow: visible;
	}