/*The general style for the body.*/
body{
	margin: 30px auto 100px;
	max-width: 700px;
	line-height: 1.5;
	padding: 0 15px;

	background-color: #BFDFAF;
	color: #000000;
}

/* For monospace formatted text (e.g. code). */
code{
	font-family: Consolas, monospace;
}

/* A pretty box for displaying content. */
div.box{
	padding: 1% 5%;
	margin: 2% 10%;
	border-style: solid;
}

/* Used to indent text. */
div.indent{
	margin: 2% 10%;
}

/* An area for site-navigating links. */
div.nav_header{
	padding: 1% 0%;
	background-color: #B0D0A0;
}

/* Styles for the links in the nav_header, so that they are spaced
further apart to look better. */
a.header_link{
	margin: 0% 1%;
}

/* Styles for a table. */
table {
	border-style: solid;
	width: 100%;
	border-collapse: collapse;
}

/* Styles for table head and data. */
th, td {
	border-style: solid;
	padding: 1%;
}