.wp_syntax {color: #000;background-color: #f9f9f9;border: 1px solid #ccc;margin: 0 0 1.5em 0;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 {width: 100%;border-collapse: collapse;}
/*.wp_syntax div, .wp_syntax td {vertical-align: top;padding: 2px 4px;}*/
.wp_syntax .line_numbers {width: 25px;text-align: right;background-color: #def;color: #666;overflow: visible;}

/* 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;}*/