/*
We don't want to reproduce every style that we use in the site. We just want to give the
user some options without ceding control.
*/
.red_text { color: red;}
.navyblue_text {color:rgb(23, 69, 144);}
.lightblue_txt {color:rgb(79, 139, 236);}