.wp_syntax {
color:#100;
background-color:#f9f9f9;
border:1px solid silver;
overflow:auto;
overflow-x:auto;
overflow-y:hidden;
padding-bottom:expression(this.scrollWidth>this.offsetWidth?15:0);
width:100%;
margin:0 0 1.5em;
}

.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;
}

.wp_syntax pre {
width:auto;
float:none;
clear:none;
overflow:visible;
font-size:12px;
line-height:1.333;
white-space:pre;
margin:0;
}