.highlight {
/* resets */ margin: 0; padding: 0;
background-color: #E8E8E8;
overflow: hidden;
}
.highlight PRE {
margin: 0;
padding: 0 0 0 45px;
font: 12px "Consolas","Courier New",Courier,mono;
overflow: auto;
}
.highlight PRE ol {
/* resets */ margin: 0; padding: 0;
color: #222222;
list-style-image: none;
list-style-position: outside;
list-style-type: decimal-leading-zero;
}
.highlight PRE ol li {
margin: 0;
padding: 0 0 0 10px;
border-left: 1px solid #CCCCCC;
background-color: #F8F8F8;
}
.highlight .bar .tools {
padding: 4px 0 4px 50px;
font: normal 9px Arial,Helvetica,Geneva,sans-serif;
background-color: #EEEEEE;
border-bottom: 1px solid #CCCCCC;
}
.highlight .bar .tools a {
padding: 0 6px;
color: #B2B2B2;
text-decoration: none;
outline: 0;
}
.highlight .bar .tools a:hover {
color: #3E606F;
}
/* Hide useless elements in print layouts... */
@media print {
    .highlight {
margin: 0; padding: 0;
border: 0 none;
    }
.highlight PRE {
font-size: 14px;
overflow: hidden;
}
.highlight PRE ol li {
border-bottom: 0 none;
}
}