/* hpp_styles.css - Styles for HPP's web pages, Version 2.0 */

<style type="text/css">

<!--

body {
     }
body,td,th {
	font-family: Arial, Helvetica, sans-serif;
	color: #ffffff;
        background-color: #000000;
}

.fontcolor {color: #000000;}

.header {background-color: #000000; color: #000000;}
.headerf {font-size: 9pt; color: white;}
.headerfb {font-size: 13pt; color: white;}
.menuele {background-color: #aaaaaa; color: #000000; text-align: center;}
.textele {background-color: #ffffff; color: #000000;} 
.pmenu {background-color: #5555ff; color: #ffffff; text-align: left;} 
.example {background-color: #dddddd; color: #2222ff;} 
.singlel {background-color: #f9f9f9; color: #0000ff;} 
.whitefont {color: #ffffff;} 
.mainbody {background-color: #000000; color: #ffffff;}
.portal {background-color: #000000; color:#ffffff;}
.notes {background-color: #ddddcc; color: #444577;}
.slidelib {background-color: white; color: #444567;}
.lastupdated {font-size: 7pt; color: #ffffff;}
.locallinks {font-size: 8pt; color: #111111;}
.commands {font-size: 9pt; color: #0000FF;}
.examples {font-size: 9pt; color: #FF00FF;}
.menuheaders {font-size: 9pt; color: #ffffff;}


.sevenpix {font-size: 7pt;}
.eightpix {font-size: 8pt;}
.ninepix {font-size: 9pt;}
.twelvepix {font-size: 12pt;}
.thirteenpix {font-size: 13pt;}
.fifteenpix {font-size: 15pt;}

* {face="Arial, Helvetica, Verdana, sans-serif";}

h1 {font-size: 17pt;}
h2 {font-size: 17pt;}
h3 {font-size: 15pt;}
h4 {font-size: 13pt;}
h5 {font-size: 12pt;}
p  {font-size: 12pt;}
ul {font-size: 12pt;}
ol {font-size: 12pt;}
table {font-size: 12pt;}

a:link {font-size: 12pt; color: #ffffff; text-decoration: none; background: #aaaaaa;}

a:visited {font-size: 12pt; color: #123175; font-weight: bold; text-decoration: none; background: #aaaaaa;}

a:hover {color: #000000; background: #879CAF;	text-decoration: none;
	font-weight: bold;
}
a:active {
	text-decoration: none;


-->
</style>