body {
    background-color: #ffffff;
    color: #000;
    MARGIN-LEFT: 5%;
	MARGIN-RIGHT: 5%;
    font-family: Arial, Helvetica, sans-serif;
    font-weight: normal;
}

/* ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
 * Links
 * ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ */

/* normal links           */
/* ====================== */
a:link {
    color: #0000CC;
    background-color: inherit;
	text-decoration: none;
}

a:visited {
    color: #0066FF;
    background-color: inherit;
	text-decoration: none;	
}

a:link:hover,
a:link:active,
a:visited:hover,
a:visited:active {
    color: #0073c7;
    background-color: #f0f0f0;
	text-decoration: none;	
}

/* hover on non-white backgrounds */
tr.header a:hover,
tr.header a:active,
div.warning a:hover,
div.warning a:active,
div#quickview a:hover,
div#quickview a:active {
    background-color: #fff;
    color: #0073c7;
}

/* ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
 * Page config
 * ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ */

pre, code {
	font-family: "Courier New", Courier, monospace;
	margin-top: 0.5em;
	margin-right: 0em;
	margin-bottom: 0.5em;
	margin-left: 0em;
}

P {
	TEXT-ALIGN: justify
}

FORM {
	MARGIN-BOTTOM: 0px
}
TABLE {
	MARGIN-BOTTOM: 0px
}

HR {
	COLOR: #666666; 
	BORDER-TOP-STYLE: dashed; 
	BORDER-RIGHT-STYLE: dashed; 
	BORDER-LEFT-STYLE: dashed; 
	HEIGHT: 1px; 
	BORDER-BOTTOM-STYLE: dashed
}

A IMG {
	BORDER-RIGHT: 0px; BORDER-TOP: 0px; BORDER-LEFT: 0px; BORDER-BOTTOM: 0px
}

/* ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
 * Headings
 * ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ */

/* h1                     */
/* ====================== */
h1 {
	padding: 0.2em;
	margin: 0;
	border: 1px solid #405871;
	background-color: inherit;
	color: #036;
	text-decoration: none;
	font-size: 150%;
	font-weight: bold;
	margin-top: 0.2em;
}

/* h2                     */
/* ====================== */
h2 {
    padding: 0.2em 0 0.2em 0.7em;
    margin: 0 0 0.5em 0;
    text-decoration: none;
    font-size: 18px;
    font-weight: bold;
}

.section h2 {
    background-color: #405871;
    color: #fff;
}

.directive-section h2 {
    background-color: #557697;
    color: #fff;
}

.category h2 {
    background-color: #e5ecf3;
    color: #405871;
    font-size: 14px;
}

/* take care of <a name>s inside */
h2 a,
h2 a:hover,
h2 a:active {
    color: inherit;
    background-color: inherit;
    text-decoration: none;
}

/* h3, h4                 */
/* ====================== */
h3 {
    background-color: inherit;
    color: #036;
    text-decoration: none;
    font-weight: bold;
    font-size: 16px;
    margin: 1.3em 0 0.4em 0;
    padding: 0;
}

h4 {
    background-color: inherit;
    color: #036;
    text-decoration: none;
    font-weight: bold;
    font-size: 14px;
    margin: 1.3em 0 0.2em 0;
    padding: 0;
}

/* ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
 * main page sections
 * ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ */

div#credits {
	padding: 0;
	font-size: 80%;
	margin-top: 0.5em;
	margin-right: 0px;
	margin-bottom: 0px;
	margin-left: 0px;
	border-top: 1px dashed #405871;
	padding-top: 0.2em;
}

div#credits p {
	text-align: right;
	margin-top: 0.5em;
	margin-right: 0px;
	margin-bottom: 0px;
	margin-left: 0px;
}

div#credits p.config {
	text-align: left;
	margin-top: 0.5em;
	margin-right: 0px;
	margin-bottom: 0px;
	margin-left: 0px;
	font-style: italic;
}

div#path {
	padding: 0;
	font-size: 90%;
	margin-top: 0px;
	margin-right: 0px;
	margin-bottom: 0px;
	margin-left: 0px;
}

div#path p.footer {
	text-align: center;
	margin-bottom: 0.2em;
	margin-right: 0px;
	margin-left: 0px;
	padding-top: 0px;
}

div#footer {
	padding: 0;
	font-size: 100%;
	border-top: 1px solid #405871;
	margin-top: 0.2em;
	margin-right: 0px;
	margin-bottom: 0px;
	margin-left: 0px;
	padding-top: 0.2em;
	padding-right: 0px;
	padding-bottom: 0px;
	padding-left: 0px;	
}

div#footer p.copyright {
	text-align: right;
	font-style: italic;
	font-size: 70%;
	margin: 0;
}

div#footer p.menu {
    text-align: right;
	margin: 0;	
}