li       { font-size: small; font-family: Verdana, Arial, Helvetica, Geneva, Swiss, SunSans-Regular; text-decoration: none }
h1      { font-style: italic; font-weight: bold; font-size: large; font-family: Verdana, Arial, Helvetica, Geneva, SunSans-Regular; text-decoration: none }
h2 { font-size: x-large; font-family: Verdana, Arial, Helvetica, Geneva, SunSans-Regular; font-weight: bold; text-decoration: none; }
h3     { font-weight: bold; font-size: medium; font-family: Verdana, Arial, Helvetica, Geneva, SunSans-Regular }
h5        {
	font-weight: bold;
	font-size: small;
	font-family: Verdana, Arial, Helvetica, Geneva, Swiss, SunSans-Regular;
	margin-bottom: 0.25em; 
	text-decoration: none;
	color: #0c6339;
}
h6        { font-size: x-small; font-family: verdana, Arial, Helvetica, Geneva, Swiss ; line-height: 10pt; }
.small { font-size: x-small }
.large { font-size: large }
p     { font-size: small; font-family: Verdana, Arial, Helvetica, Geneva, Swiss, SunSans-Regular }
.external_link { color: black; font-weight: normal; text-decoration: underline; }
.simphaas_link    { font-weight: normal }
a:link            { color: #012e83; font-weight: 700; text-decoration: none   }
a:visited           { color: #012e83; font-weight: 700; text-decoration: none   }
a:hover   { color: #0c6339; font-weight: 700; text-decoration: underline   }
a:active   { color: red; font-weight: 700; text-decoration: underline   }
#menu a:link { color: black; font-weight: normal; text-decoration: none; }
#menu p {
	font-size: x-small;
}
#menu a:visited { color: black; font-weight: normal; text-decoration: none; }
#menu a:hover { color: black; font-weight: normal; text-decoration: underline; }
#menu a:active { color: black; font-weight: normal; text-decoration: none; }
#db a:link { color: #012e83; font-weight: normal; text-decoration: none; }
#db a:visited { color: #012e83; font-weight: normal; text-decoration: none; }
#db a:hover { color: #0c6339; font-weight: normal; text-decoration: underline; }
#db a:active { color: #0c6339; font-weight: normal; text-decoration: underline; }
#submenu p { font-size: x-small; }
#submenu a:link { color: black; font-weight: normal; text-decoration: none; }
#submenu a:visited { color: black; font-weight: normal; text-decoration: none; }
#submenu a:hover { color: black; font-weight: normal; text-decoration: underline; }
#submenu a:active { color: black; font-weight: normal; text-decoration: none; }
#footer p { font-size: x-small; font-weight: bold; }
#footer a:link { color: #012e83; text-decoration: none; }
#footer a:visited { color: #012e83; text-decoration: none; }
#footer a:hover { color: #0c6339; text-decoration: underline; }
#footer a:active { text-decoration: none; }
.red {
	color: #F00;
}
.verdana {
	font-family: Verdana, Geneva, sans-serif;
	font-size: small;
}
.green {font-weight: bold;
	font-size: small;
	font-family: Verdana, Arial, Helvetica, Geneva, Swiss, SunSans-Regular;
	text-decoration: none;
	color: #0c6339;
line-height: 10pt;
}

a.publ { color: black; font-weight: normal; text-decoration: underline; }
a.publ:link { color: black; font-weight: normal; text-decoration: underline; }
a.publ:visited { color: black; font-weight: normal; text-decoration: underline; }
a.publ:hover { color: #0c6339; font-weight: normal; text-decoration: underline; }
a.publ:active { color: #0c6339; font-weight: normal; text-decoration: underline; }

a.db { color: black; font-weight: 700; text-decoration: underline; }
a.db:link { color: black; font-weight: 700; text-decoration: underline; }
a.db:visited { color: black; font-weight: 700; text-decoration: underline; }
a.db:hover { color: #0c6339; font-weight: 700; text-decoration: underline; }
a.db:active { color: #0c6339; font-weight: 700; text-decoration: underline; }

a.fossil { color: gray; font-weight: 700; text-decoration: underline; }
a.fossil:link { color: gray; font-weight: 700; text-decoration: underline; }
a.fossil:visited { color: gray; font-weight: 700; text-decoration: underline; }
a.fossil:hover { color: #0c6339; font-weight: 700; text-decoration: underline; }
a.fossil:active { color: #0c6339; font-weight: 700; text-decoration: underline; }

.hanging {
  padding-left: 22px ;
  text-indent: -22px ;
}