/* GENERAL STYLES */


/* EDITOR PROPERTIES */
.larger {
font-size: 1.3em;
}

.smaller {
font-size: 0.8em;
}

.red {
color:#ff0000;
}