body {
	  margin-top:2px;
	  margin-bottom:2px;
	  /* DEBUG: this will reveal in green the text that has no specific FONT */
	  color:#000000;
   }
   /* default size */
   td {
      font-size:11px;
	  font-family:Verdana, Arial, Helvetica, sans-serif;
	 line-height:17px
   }
   /* Menus with items */
   .trigger{
      font-family: Verdana, Arial, Helvetica, sans-serif;
      font-size:10px;
   }
   /* Menus without items */
   .menu {
      font-family: Verdana, Arial, Helvetica, sans-serif;
      font-size:10px;
   }
   /* collapsed items */
   .branch {
      display: none;
      margin-left: 16px;
   }
   /* menu items (formerly named "link") */
   .menuitem{
      font-family: Verdana, Arial, Helvetica, sans-serif;
      font-size:10px;
      text-decoration: none;
      line-height:12px
   }
   /* menu header */
   .mheader {
      background: url(/img/bkg_menu_title.gif);
      font-family: Verdana, Arial, Helvetica, sans-serif;
      font-size: 10px;
      font-weight: bold;
      color: #FFFFFF;
      text-align: center;
      vertical-align: middle;
   }
   /* title of a paragraph */
   .title {
      color: #238FC6;
	  font-family: Verdana, Arial, Helvetica, sans-serif;
	  font-size: 13px;
	  font-weight: bold;
   }
   /* title of a top headline */
   .toptitle {
      color: #238FC6;
	  font-family: Verdana, Arial, Helvetica, sans-serif;
	  font-size: 18px;
	  font-weight: bold;
	 line-height:22px
   }
   .headlinestitle {
/*      background: url(/img/bkg_headlines_title.gif);*/
      color: #FFFFFF;
	  font-family: Verdana, Arial, Helvetica, sans-serif;
	  font-size: 12px;
	  font-weight: bold;
   }
   /* small */
   .small {
      color: #000000;
	  font-family: Verdana, Arial, Helvetica, sans-serif;
	  font-size: 10px;
	 line-height:12px
   }
/* generic link in text */
A:link {text-decoration: none; color:blue}
A:visited {text-decoration: none}
A:hover {text-decoration: underline; color:blue}
//A:active {text-decoration: none}
/* link in menuitem */
A.menuitem:link{color:#000000}
A.menuitem:visited{color:#4D4D4D}
A.menuitem:hover{text-decoration: underline; color:blue}
/* link in menu with items */
A.trigger:link{color:#4D4D4D}
A.trigger:visited{color:#4D4D4D}
A.trigger:hover{text-decoration: none; color:blue}
/* link in menu without items */
A.menu:link{font-size:10px;color:#4D4D4D}
A.menu:visited{font-size:10px;color:#4D4D4D}
A.menu:hover{font-size:10px;text-decoration: none; color:blue}
//A.menu:active{font-size:10px;color: #4D4D4D}