.wp_syntax { 
  color: #100; 
  background-color: #f9f9f9; 
  border: 1px solid silver; 
  margin: 0 0 1.5em -2px;　/*-2pxに変更*/ 
  overflow: auto; 
}/* IE FIX */ 
/*pre {
	background-color: #f9f9f9; 
}*/
.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 div, .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; 
  padding: 5px;
  width: auto;
  float: none;
  clear: none;
  overflow: visible; 
}