html {
	background-color: black;
	margin: 0px;
	padding: 0px;
	height: 100%;
	width: 95%;
}

body {
	/*background-color:#cececc;*/
	/*background-color:#fcb01f;*/
	/*background-color:#83c55f;*/
	background-color:#6f99c9;
	/*background-image:url(images/ff_logo_x_orange.gif);*/
	/*background-image:url(images/ff_logo_x_blue_on_gray.gif);*/
	background-image:url(images/ff_logo_x_blue.gif);
	background-repeat:no-repeat;
	background-position:top right;
	font-family: Georgia, "Times New Roman", Times, Serif;
	border: solid 8px white;
	margin: 0px;
	margin-bottom: 2em;
	padding: 2em;
	padding-bottom: 4em;
	height: auto;
}

a:link {
	color: #ff0000;
}
a:visited {
	color:#003366;
}
a:hover {
	color: white;
}

h1, h2, h3, h4, h5, h6 {
	font-family: "Franklin Gothic Medium", Arial, Helvetica, Sans-Serif;
}

h2 {
	//color: #fcfcee;
	color: white
}

h3 {
	margin-bottom: 0em;
}

div.credit h3 {
	margin-bottom: 1em;
} 

h4.className {
  color:#3300cc;
  margin-bottom: 0em;
}
h4.functionName {
  color:#111166;
  margin-bottom: 0em;
}
h4.variableName {
  color:#007700;
  margin-bottom: 0em;
}

h5 {
    margin-bottom: 0.5em;
	font-size: 1em;
	font-weight: bold;
}
h5.credit {
	margin-top: 0px;
    margin-bottom: 1em;
	font-size: 1em;
	font-style: italic;
	font-weight: normal;
	color: black;
}
h5.subcat {
	font-family: Georgia, "Times New Roman", Times, Serif;
	margin-top: 0em;
    margin-bottom: 0em;
	font-style: normal;
	font-weight: bold;
}

h6 {
	font-family: Georgia, "Times New Roman", Times, Serif;
    margin-bottom: 0em;
	font-size: 1em;
	font-style: italic;
	font-weight: normal;
}
hr {
   border-style: dotted 

}

p {
	margin-top: 0em;
} 

ol, ul {
	margin-top: 0em;
	margin-bottom: 1em;
} 
li {
	margin-bottom: 0.5em;
	margin-left: -1.5em;
	list-style-type:square;
} 
li.informal {
	margin-left: -2.5em;
	list-style-type:none;
} 
ol li {
	margin-bottom: 0.5em;
	margin-left: 0em;
	list-style-type:decimal;
}

img {
    border-width:2px;
    border-color:#000000;
}

pre {
	line-height:1.1em
	margin-top: 0em;
	margin-bottom: 0.25em;
	font-family: "Courier New", Courier, mono;
    font-size: 0.8em;
	color: #111166;
}
.pre-inline {
	font-family: "Courier New", Courier, mono;
    font-size: 0.8em;
	color: #111166;
}

.function {
	font-weight:bold;
	color:#111166;
}
.comment {
	color:#666600;
}
.pseudo-p {
	margin-top: 0.5em;
}
.line-break {
	font-family: "Courier New", Arial, "Times New Roman", Courier, mono;
}