44 lines
735 B
CSS
44 lines
735 B
CSS
|
.wp_syntax {
|
||
|
|
color: #100;
|
||
|
|
background-color: #f9f9f9;
|
||
|
|
border: 1px solid silver;
|
||
|
|
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 {
|
||
|
|
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;
|
||
|
|
width: auto;
|
||
|
|
float: none;
|
||
|
|
clear: none;
|
||
|
|
overflow: visible;
|
||
|
|
font-size: 12px;
|
||
|
|
line-height: 1.333;
|
||
|
|
white-space: pre;
|
||
|
|
}
|