body
{
	margin: 0;
	padding: 0;
	font-family: verdana,arial,sans-serif;
}

h1, h2, h3, h4, h5, h6
{
	font-family: arial,sans-serif;
	color: #000080;
	margin-top: 1em;
	margin-bottom: 0.5em;
	margin-left: 4.5pt;
	margin-right: 4.5pt;
	padding: 0;
}

p, ol, ul
{
	font-size: 9pt;
	color: #404040;
}

p
{
	margin: 4.5pt;
}

ol, ul
{
	margin-left: 12pt;
	margin-right: 4.5pt;
	margin-top: 0;
	margin-bottom: 0;
}

pre
{
	font-family: "Lucida Console",monospace;
	font-size: 9pt;
	margin-top: 4.5pt;
	margin-bottom: 4.5pt;
	margin-left: 5%;
	margin-right: 10%;
	padding: 9pt;
	background: #404040;
	color: white;
}

kbd
{
	font-family: monospace;
	font-size: 13pt;
	color: black;
}

button
{
	padding-top: 0.1em;
	padding-bottom: 0.1em;
	padding-left: 0.5em;
	padding-right: 0.5em;
}

.tight
{
	margin-top: 0;
	margin-bottom: 0;
}

.attention
{
	color: #008000;
}

.advert
{
	color: #555588;
}

.upgrade, .error
{
	color: #CC0000;
}

.platform
{
	color: #9999CC;
}

a:link img, a:visited img 
{
	border-style: none
}

/* The only way to hide the border in Netscape 4.x */
a img 
{ 
  color: white; 
} 

a:link, a:visited 
{
	color: #000080;
}

a:hover 
{ 
	color: #0000FF;
}