pre.highlight{background:#f8f8f8;border-color:black;border-style:solid;border-width:1px;padding:10px;margin-left:10px;margin-top:0;margin-bottom:0;font-weight:bolder;float:left}