h1, h2, h3, h4, h5, h6 { 
   font-family: Arial, Helvetica, sans-serif;
}
h1 {
   font-size: 18pt;
}
h2 {
   font-size: 16pt;
}
h3 {
   font-size: 14pt;
}
h4 {
   font-size: 12pt;
}
h5 {
   font-size: 10pt;
}
h6 {
   font-size: 8pt;
}
.hh1 {
   font-size: 18pt;
}
.hh2 {
   font-size: 16pt;
}
.hh3 {
   font-size: 14pt;
}
.hh4 {
   font-size: 12pt;
}
.hh5 {
   font-size: 10pt;
}
.hh6 {
   font-size: 8pt;
}
body, pre {
font-family: Arial, Helvetica, sans-serif;
font-size: 8pt;
}
/*  text-decoration: underline; */
.menu {color:#505050; font-family: Arial, Helvetica, Sans-serif; font-size:10pt; font-weight: bold;}
.menu a:link {color:#0000FF; font-family: Arial, Helvetica, Sans-serif; font-size:10pt; font-weight: bold;}
.menu a:active {color:#FF0000; font-family: Arial, Helvetica, Sans-serif; font-size:10pt; font-weight: bold;}
.menu a:visited {color:#0000FF; font-family: Arial, Helvetica, Sans-serif; font-size:10pt; font-weight: bold;}
.menu a:hover {color:#0000FF; background-color: #FFFF00; font-family: Arial, Helvetica, Sans-serif; font-size:10pt; font-weight: bold;}