#container
{
	margin: 0 30px;
	margin-left:auto; margin-right:auto;
	background: #fff;
        foreground: #000000;
        color: #000000;
	font-family: ‘Trebuchet MS’, Helvetica, sans-serif;	
	max-width: 80ex;
}
/*
+
	font-family: ‘Lucida Sans Unicode’, ‘Lucida Grande’, sans-serif;
	font-family: Verdana,sans-serif;

	font-family: "Gill Sans","Gill Sans MT", sans-serif;
    font-family: Consolas, monaco, monospace;

*/



#container code
{
    font-family: Consolas, inconsolata, monospace;

}
#container pre
{
    background: #f0f0f0;
    foreground: #000000;
    color: #000000;
    border: thin solid black;
    padding: 0.5em;
}
#container ul
{

    list-style-type: circle;
    foreground: #000000;
    color: #000000;
}

#navigation
{
	float: right;
	width: 100%;
	foreground: #ffffff;
        color: #000000;
        background: #002F66;
	font-weight: bold;
}

#navigation ul
{
	margin: 0;
	padding: 0;
}

#navigation ul li
{
	list-style-type: none;
	display: inline;
}

#navigation li a
{
	display: block;
	float: right;
	padding: 5px 10px;
	color: #fff;
	text-decoration: none;
/*	border-right: 1px solid #fff;*/
}

#navigation li a:hover { background: #aabbaa; }
#navigation li a:link { color: #fff; }
#navigation li a:visited { color: #fff; }

#content
{
	clear: left;
	padding: 20px;
        foreground: #000000;
        color: #000000;
}

#content p
{
    text-align: justify;
    foreground: #000000;
    color: #000000;
}

#container a:link {color:#0066cc;}
#container a:visited {color:#002F66;}

#TOC {
    background: #f0f0f0;
    border: thin solid black;
    padding: 0.5em;
}

#TOC li a:link {color:black;font-weight: bold; text-decoration: none;}
#TOC li a:visited {color:gray; font-weight: bold; text-decoration: none;}
#TOC li a:hover {color:#002F66;}



#content h3
{
	color: #000;
	font-size: 110%;
	margin: 0 0 0 0;
}
#content h2
{
	color: #000;
	font-size: 120%;
	margin: 0 0 0 0;
}

#content h1
{
	color: #000;
	font-size: 140%;
	margin: 0 0 0 0;
}



#header h1  {
    line-height:5ex;
    vertical-align: middle;
    font-size: 100%;
    text-align: right;
}


#header h3  {
    line-height:5ex;
    vertical-align: middle;
	font-size: 100%;
	text-align: right;
}

#bhead  {
	text-align: right;
}

#indextable  {
    margin: 10px 10px 0px 10px;
    float: right;
    background: #aaa;
}



#footer
{
	background: #ccc;
	text-align: right;
	padding: 20px;
	height: 1%;
}

img.centered
{
    display: block;
    margin-left: auto;
    margin-right: auto; 
}

/* table css*/
table {
    margin-left: auto;
    margin-right: auto;
    margin-bottom: 24px;
    border-spacing: 0;
    border-bottom: 2px solid black;
    border-top: 2px solid black;
}
table th {
    padding: 3px 10px;
    background-color: white;
    border-top: none;
    border-left: none;
    border-right: none;
    border-bottom: 1px solid black;
}
table td {
    padding: 3px 10px;
    border-top: none;
    border-left: none;
    border-bottom: none;
    border-right: none;
}


/* Add border for the last row of the table.           */
/*      (Might be of use for table footnotes, later).  */
/* tr:last-child td { border-top: 2px solid black; }   */