body
{
	font: 13px / 1.231 sans-serif;
	color: #444;
	margin: 0px;
	/* background-color: #CCC */
	background-image: url('art/container-bg.jpg');
}


h1, h2
{
	font-variant: small-caps;
	font-weight: bold;
	margin-top: 1em;
	clear:both;
}

h1
{
	border-bottom-style: solid;
	border-width: 1px;
}



#pagetitle
{
	text-align: center;
	/** margin-top: 0px;
	margin-bottom: 0px;
	border-bottom-style: none; **/
}
div.header
{
	color: white;
	/* background-color: #31043f; */
	background-color: #008CFF;
	padding-top: 10px;
	padding-bottom: 5px;
}

div.header h1
{
	margin-top: 0px;
	margin-bottom: 0px;
	font-size: 250%;
}

div.navigation
{
	color: #6c6c6c;
	font-style: italic;
	padding-top: 2px;
	padding-bottom: 5px;
	text-align: right;
	font-weight: bold;
}
div.navigation a
{
	color: #6c6c6c;
}

a
{
	text-decoration: none;
}
a:hover
{
	text-decoration: underline;
}

ul
{
	list-style-position: inside;
	list-style-type: square;
}

ul li
{
	padding-bottom: 3px;
}
div.main
{
	padding:13px;
	margin:auto;
	width:600px;
	/* border-style:solid;
	border-width:1px;
	border-color: #777; */
	background-color: #FFF;
}
div.mainwrapper
{
	width: 100%;
	background: url("art/text-bg.png") repeat-y center top;
}

div#footer
{
    text-align: center;
    color: #FFFFFF;
	font-style: italic;
    padding-top: 10px;
    padding-bottom: 10px;
	background-color: #3e3a39;
}
div.image
{
	float:left;
	padding: 4px;
	margin-right: 10px;
}

span.title
{
    font-style: italic;
    font-weight: bold;
}

span.right
{
	float: right;
}
span.thm, span.def
{
    font-weight: bold;
	text-decoration: underline;
}
span.thm
{
    font-variant: small-caps;
    font-size: large;
}
span.proof, span.rmk
{
    font-style: italic;
}
span.emph
{
    font-style: italic;
}
span.bold
{
	font-weight: bold;
}