/*------------------------------------------------------------------------- 
     make new hover rules for menu items 
     .class3        {color: #2c4f40;}
     a.class3:hover {color: black; background-color: #FFCE7B;} 
  --------------------------------------------------------------------------*/  
 
a:hover   { color:#402600; text-decoration: none; background-color:#FCDABC;}
h3 {color:#FF9043; border-bottom:2px solid #FF9043;  margin-right:44px; }

 /* these are used on the Bugs page and the News page */ 
.title2  {border-bottom:2px solid #FFF1E6; font-weight:bold;}
.para2 {padding-left:20px;  padding-right:10px; margin-bottom:8px; }
.othersources {margin-top:0px; padding-top:0px; margin-right:24px; margin-bottom:40px; }

/*----- added July 25, 2018 for images that auto resize to screen-------------------*/  
.fixed-ratio-resize { max-width: 100%; height: auto; width: auto; }  

 body  {margin-top:0px; 	margin-left: 0px; margin-right: 0px; 
           padding-top:0px;  padding-left:0px;  padding-right:0px; 	
           background-color:white; font-family:verdana; 	
		   line-height:160%;  }
		      
.mono2  {font-family: 'Courier New', Courier, 'Lucida Console', Monaco,  monospace; } /*Added Sept 10, 2019*/ 		

/*------------------------------------------------------------------------------------------------*/  
/*----- added the below April 30, 2019 for new fancy responsive menu bar------------------*/  
/*------------------------------------------------------------------------------------------------*/  
.topnav { overflow: hidden;  background-color: #FF9043;  }   /* navbar background color */  
.topnav a { float: left;  display: block;  color: white;  text-align: center;  padding: 14px 16px;  text-decoration: none;
                 font-size: 17px;}  /* links, color was f2f2f2 */
.topnav a:hover { background-color: #FFF1E6;  color: black; } /* link hover top stripe is #935E3F  */ 
.topnav .icon {  display: none;  }

.active            {background-color: #935E3F;  color: black; } /* current page, from model - color does not work */ 
.thismenuitem {background-color: #935E3F;  color:black; }  /*current Page my old name  */


/* under 930px, hide links, except for Home. Show the hamburger menu */
@media screen and (max-width: 940px)           { 
    .topnav a:not(:first-child) {display: none;}
	.topnav a:nth-child(2)     {display: block;}   /* show SiteIndex always */
    .topnav a.icon {float: right; display: block;}  }

/* The "responsive" class is added to navbar with JS when user clicks hamburger icon. This class displays links vertically  */
@media screen and (max-width: 930px)                                       {
  .topnav.responsive {position: relative;}
  .topnav.responsive .icon {position: absolute; right: 0; top: 0;}
  .topnav.responsive a {float: none; display: block; text-align: left;} }