/* EDITOR PROPERTIES - PLEASE DON'T DELETE THIS LINE TO AVOID DUPLICATE PROPERTIES */
.redtext {
color:red;
}

.blacktext {
color:black;
}

.text9px {
font-size: 9px;
}

.redbutton {
border:1px solid #A93D20;
padding:2px 4px;
background:#f9f9f9
}