html {
	text-size-adjust: none;
	-webkit-text-size-adjust: none;
}

body {
	font-family: arial, helvetica, sans-serif;
	font-size: 12px;
	margin: 0;
	padding: 0;
	background: #ecddcf;
}

#main {
	background: #ffffff;
}


a {
	color: #3967ac;
}

sup {
	font-size: 0.5em;
}

.copyright {
	color: #5f5d5c;
	margin-top: 1em;
	margin-bottom: 1em;
	text-align: center;
}


h1, h2, h3 {
	font-family: garamond, times, serif;
	color: #8e6b56;
}

h2 {
	margin-top: 2em;
	margin-bottom: 1em;
	border-bottom: 1px solid #9D918B;
	border-bottom: 1px solid #8e6b56;
	padding-bottom: 0.2em;
}

h3, h4 {
	margin-bottom: 0.5em;
	margin-top: 1em;
}

p, ul, ol {
	margin-top: 0;
	margin-bottom: 1em;
}

li {
	margin-bottom: 0.5em;
}


pre, code {
	font-size: 11px;
	margin: 0;
	tab-size: 4;
}

pre.code .comment { color: #808080; }
pre.code .number, pre.code .value { color: #008080; }
pre.code .regexp { color: #008000; }
pre.code .string { color: #800000; }
pre.code .label { color: #8080F0; }
pre.code .keyword, pre.code .title { font-weight: bold; }
pre.code .variable { color: #604040; }


div.article, #content {
        padding: 10px;
}

@media (min-width: 700px) {
	body {
		padding: 8px;
	}
	
	#main {
		max-width: 1000px;
		margin: 10px auto;
		border: 1px solid #000000;
	}

	div.article, #content {
	        padding: 25px 38px 38px 38px;
	}

	#article p, #article ul, #article ol, #article h3, #article h4 {
		margin-left: 36px;
		margin-right: 36px;
	}

	#article table, #article div.demo, #article div.example, #article pre.example {
		margin-left: 36px;
		margin-right: 36px;
	}

	#article .example p, #article .example h3 {
		margin-left: 0;
		margin-right: 0;
	}

}

#header {
	overflow: hidden;
}

#header img {
	width: 100%;
	min-width: 600px;
}

p.back {
        margin: 20px 0 20px 36px;
}


#article p.created
{
	margin: 1em 0 0 0;
	color: #808080;
}

#article table, #article div.demo, #article div.example, #article pre.example
{
/*
	margin-left: 72px;
	margin-right: 72px;
*/
	margin-top: 1.5em;
	margin-bottom: 1.5em;
}

#article blockquote
{
	font-style: italic;
/*
	margin-left: 36px;
	margin-right: 36px;
*/
}

#article div.demo, #article div.example, #article pre.example
{
	border: 1px solid #c0c0c0;
	background-color: #f8f5f2;
	padding: 1em 1em;
	min-width: fit-content;
}

#article table
{
	border: 1px solid #606060;
	border-collapse: collapse;
}

#article table tr {
	background-color: #ffffff;
}

#article table tr.alt
{
	background-color: #f8f5f2;
}

#article table th, #article table td
{
	text-align: left;
	padding: 0.45em 0.9em;
	border-width: 0px 1px 0 0;
	border-style: solid;
	border-color: #000000;
}

#article table th
{
	background-color: #B9B1AD;
}

#article .demo table
{
	margin: 0;
	border: 0;
}

#article .figure
{
	text-align: center;
	margin-top: 0.8em;
}

#article .figure img
{
	border: 1px solid #c0c0c0;
}


#article .demo table th, #article .demo table td
{
	border-width: 0;
	background-color: transparent;
}

#article .demo #result
{
	margin: 0.5em 6em 0 6em;
	color: #b01000;
	font-weight: bold;
}


#bio
{
	padding: 2em;
	background-color: #bfa99d;
	border: 1px solid #9A867B;
	margin: 2em 4em 1em 4em;
	margin: 4em 0 1em 0;
	overflow: auto;
}

#bio p
{
	margin-top: 0;
	margin-bottom: 1em;
	margin-left: 100px;
	padding-left: 1.5em;
}

#bio img.headshot
{
	float: left;
}