/*
 * Stylesheet for IViPP's User Manual
 * by Justin Hagstrom
 */




/*
 * Font color and background color for text.
 */
html, body {
	background-color: #FFFFFF;
	color: #000000;
}


/*
 * For ordered lists (such as the table of contents), this defines
 * the numbering/lettering scheme to use.
 */
ol { list-style-type: decimal; }
ol ol { list-style-type: lower-alpha; }
ol ol ol { list-style-type: decimal; }
ol ol ol ol { list-style-type: lower-alpha; }


/*
 * Sets colors and underlining for links.
 */
a:visited, a:active {
	color: #00008F;
	text-decoration: none;
}
a:link {
	color: #0000FF;
	text-decoration: none;
}
a:hover {
	color: #0000FF;
	text-decoration: underline;
}


/*
 * Sets the <hr> tag to be a 1 pixel tall black line.
 */
hr {
	text-align: center;
	width: 70%;
	height: 1px;
	border: 0;
	color: #000000;
	background-color: #000000;
}


/*
 * Used for the text at the top of every page.
 */
.title {
	text-align: center;
}


/*
 * Used for pictures and the text that describes them.
 */
.figure {
	text-align: center;
	font-weight: bold;

	display: block;
	margin-left: auto;
	margin-right: auto;
	border: none;
}


/*
 * Settings for the text at the bottom of every page ("Return to the table of contents").
 */
.to_index {
	text-align: right;
	font-size: .8em;
}