.wp_syntax {margin:10px auto;width:500px;color:#100;background-color:#f9f9f5;border:1px solid silver;overflow:auto;}

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

.wp_syntax table {border-collapse:collapse;}
.wp_syntax div,
.wp_syntax td {vertical-align:top; padding:2px 1px;}
.wp_syntax .line_numbers pre {border-right:1px silver solid;color:silver;text-align:right;margin:0;padding:4px 6px 0 0px;width:35px;}


/* potential overrides for other styles */
.wp_syntax pre {margin:0;width:auto;float:none;clear:none;overflow:visible;font-size:12px;line-height:1.333;white-space:pre;}