div
{	margin-right: 30px;
	margin-left: 30px;
        text-align: left; /* To undo body.text-align: center. */
}
div.headbox, div.bodybox, div.footbox
{	/*margin: 25px;*/
	margin: 0px;
	margin-top: 10px;
	margin-bottom: 10px;
	border-style: solid; #dotted;
	border-width: 1px;
	padding: 10px;
}

p
{	
	text-decoration: none;
	margin-left: 30px;
	margin-right: 30px;
	font-family: sans-serif;
	line-height: 1.38em;
}

p.title 
{	font-size: 150%;
	margin: 0px;
	margin-left: 10px;
}

p.foot
{   margin: 0px;
    margin-left:10px;
}

/* These p styles all come out of fiddleType. */
p.pageTitle
{	font-size: 200%;
	/*padding-left: 10%;*/
	margin-top: 30px;
}
p.heading1 /*= headings*/
{	font-size: 150%;
	/*padding-left: 10%;*/
	/*margin-top: 30px;*/
}
p.heading2 /*== headings*/
{	font-size: 125%;
	/*padding-left: 10%;*/
	/*margin-top: 30px;*/
}
p.heading3 /*=== headings*/
{	font-size: 100%;
	/*padding-left: 10%;*/
	/*margin-top: 30px;*/
}
p.minor /* -- marks */
{	font-size: 100%;
	margin-bottom: -1em;
	top: -1em;	
	position: relative;
}

p.minor:before
{	content: "-- "
}

p.preformatted
{	font-family: monospace;
	white-space: pre;
}
p.normal
{
}

img.page
{   float: right;
    /*border-style: solid;
    border-width: 1px;*/
}
	    
body
{
	border-style: none;
	margin: 0px;
	padding: 0px;
	max-width: 57em;
	margin-left: auto;
	margin-right: auto;
        font: 12px/16px "Lucida Grande", "Lucida Sans Unicode", Arial, Verdana, sans-serif;
        text-align: center; /* For dumb IE. */
	color: #333;
}

body.wide {
    max-width: 100%;
    margin-left: 10px;
    margin-right: 10px;
}

.mono
{	font-family: monospace;
}	

a
{	
}

a.dark /*Use for links appearing in grey bars.*/
{	
}


ol
{	text-decoration: none;
	margin-left: 30px;
	margin-right: 30px;
	margin-top: 10px;
	font-family: sans-serif;
	line-height: 1.38em;
}	


li
{
	text-decoration: none;
	list-style-type: square;
	margin-left: 30px;
	margin-right: 30px;
	margin-top: 10px;
	font-family: sans-serif;
}

#set colors
p, p.foot, p.minor, ol, li, p.normal, p.preformatted
{ color: #333 }

p.pageTitle, p.heading1, p.heading2, p.heading3, img.page
{ color: #001060; }

a.dark, p.foot, p.title {
  color: white;
}

a {
  color: #002080;
}

body
{ 
	background-color: #d8d8d8;
	color: white;
}

div.bodybox
{
	background-color: #ffffff;
	border-color: #404040;
}

div.footbox, div.headbox {
	background-color: #202080;
	border-color: #404040;
}