/*
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; }
.bigger { font-size: 117%; }