.annnormal {
	font-family: Georgia, "Times New Roman", Times, serif;
	font-size: 12px;
        margin: 0em 0em 1.5ex 0em;padding: 0em 0em 0em 0em;
}
.bold {
	font-family: Georgia, "Times New Roman", Times, serif;
	font-size: 12px;
	font-weight: bold;
}
.bio {
	font-family: Georgia, "Times New Roman", Times, serif;
	font-size: 12px;
}
.tinyital {
	font-family: Georgia, "Times New Roman", Times, serif;
	font-size: 10px;
	font-style: italic;
}
.italic {
	font-family: Georgia, "Times New Roman", Times, serif;
	font-size: 12px;
	font-style: italic;
}
.bolditalic {
	font-family: Georgia, "Times New Roman", Times, serif;
	font-size: 12px;
	font-style: italic;
	font-weight: bold;
}


div.mermaid {font-size:normal;
            margin: 0.5em 0em 0em 0em;padding: 0em 0.5em 0.5em 0.25em;
            border: 1pt 1pt 1pt 1pt;
            border-bottom: thin solid #006666;
            border-top: thin solid #006666; 
            border-left: thin solid #006666;
            border-right: thin solid #006666;}

img.mermaid {border:0px;float:left;
             margin:10px 10px 10px 0px; align:left;}