.termgreen {color: Green;
			font-weight:bold;
			}
hr {color:navy;	
		}
/*for menu commands*/
.menu {font-family:Arial, Helvetica, sans-serif;
		font-size:90%;
			color:#ffffff;
			background:navy;
			}