@ -537,11 +537,15 @@ div.helpResponse h2, div.infoBoxContents h2 {
font-size : 12pt;
}
pre {
/* pre {
border : 1px solid #c0c0c0;
padding : 5px;
background : #f0f0f0;
margin : 5px 10px 5px 10px;
} */
margin : 5px;
input.extSearch {
@ -791,6 +795,4 @@ div.postHeader td.postDate {
display : none;
div.postContent pre {
border-width : 0px;