/* EDITOR PROPERTIES - PLEASE DON'T DELETE THIS LINE TO AVOID DUPLICATE PROPERTIES */
pre {
background:#eee;
border:1px solid #ccc;
font-size:9px;
}