/* style sheet for all local html pages at www.penmachine.com *//* Basic Text, List Items, Table Cells */body {  font-family: Lucida Grande, Lucida Sans, Trebuchet MS, Verdana, Helvetica, Arial, sans-serif;  font-size: 18px;  background-color: #333333;  color: #FFFFFF;}body.invert {  background-color: #FFFFFF;  color: #000000;}small {  background-color: #333333;  color: #FFFFFF;  font-family: Verdana, Helvetica, Arial, sans-serif;  font-size: 12px;  font-weight: normal;  font-variant: normal;  font-style: normal;}blockquote {  background-color: #333333;  color: #FFFFFF;  font-family: Verdana, Helvetica, Arial, sans-serif;  font-size: 16px;  font-variant: normal;}pre {  background-color: #333333;  color: #FFFFFF;  font-family: ProFont, Monaco, Courier New, Courier, monospaced;  font-size: 13px;  font-variant: normal;}tty {  background-color: #333333;  color: #FFFFFF;  font-family: ProFont, Monaco, Courier New, Courier, monospaced;  font-size: 13px;  font-variant: normal;}/* Headings */h1, h2, h3, h4, h5 {  background-color: #333333;  color: #FFFFFF;  font-family: Arial, Helvetica, sans-serif;  font-weight: bold;  font-variant: normal;  font-style: normal;}h1.invert, h2.invert, h3.invert, h4.invert, h5.invert {  background-color: #FFFFFF;  color: #000000;}h1 {  font-size: 40px;}h2 {  font-size: 36px;}h3 {  font-size: 30px;}h4 {  font-size: 28px;}h5 {  font-size: 24px;}h6 {  background-color: #333333;  color: #FFFFFF;  font-family: Verdana, Helvetica, sans-serif;  font-weight: bolder;  font-variant: normal;  font-style: normal;}/* Links */  /* Local Internal */	a:link {	  background-color: #333333;	  color: #9999FF;	  TEXT-DECORATION: none;	}	a:visited {	  background-color: #333333;	  color: #CC6666;	}	a:active {	  background-color: #333333;	  color: #999999;	}	a:hover {	  background-color: #9999FF;      color: #000000;	  TEXT-DECORATION: none;	}  /* E-mail */	a.e-mail:link {	  background-color: #333333;	  color: #9999FF;	}	a.e-mail:hover {	  color: #000000;	  background-color: #999999;	  text-decoration: none;	}  /* No hover background or link colour */	a.nohover:link {	  background-color: #333333;	  color: #9999FF;	  text-decoration: none;	}	a.nohover:visited {	  background-color: #333333;	  color: #9999FF;	  text-decoration: none;	}	a.nohover:active {	  background-color: #333333;	  color: #9999FF;	  text-decoration: none;	}	a.nohover:hover {	  background-color: #333333;	  color: #9999FF;	  text-decoration: none;	}
