.wp_syntax { color: #100; background-color: #FFF; border: 1px solid #E0E0E0; margin: 0 0 1.5em 0; overflow: auto; padding: 2px; }


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

.wp_syntax table { background: none; border-collapse: collapse; margin: 0; width: 100%; }

.wp_syntax div,
.wp_syntax table td { vertical-align: top; padding: 2px 8px; }

.wp_syntax .line_numbers { border-right: solid 2px #6CE26C !important; text-align: right; background-color: #EFEFEF; color: gray; overflow: visible; padding-left: 18px; }

.wp_syntax .code { background: #EFEFEF; }
.wp_syntax .code:hover { background: #FFF; }

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