/*
GENERAL STYLES (NOT EVIDENT NAMES):
*/

.slim_title {
   font-family: 'Arial';
   font-size: large;
}
.bold_title {
   font-family: 'Arial';
   font-size: large;
   font-weight: bold;
}

.expressive_abbr {
   cursor: help;
   #text-decoration: dotted underline;
   text-decoration-line: underline;
   text-decoration-style: wavy;
   text-decoration-color: Gray;
}
