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

.blacktext {
color:#000;
}

.redbold {
color:#ff0000; font-weight:bold;
}