body {
	font-family:Verdana, Arial, Helvetica, sans-serif;
	color:#333;
	background-color:#FFFFFF;
}

#content {
	margin:0px 210px 50px 10px;
	padding:10px;
}

p {
	font-size: 0.8em;
	line-height: 1.7em;
	font-family:Verdana, Arial, Helvetica, sans-serif;
	margin:0px 0px 15px 0px;
	padding:0px;
}

#content ul li
{
	font-size: 1.0em;
	margin-bottom: 0.3em;
}

a {
	color:#2B916A;
	text-decoration:none;
	font-family:Verdana, Arial, Helvetica, sans-serif;
	border-bottom:1px dashed #2B916A;
}
a:hover {
	color:#2B916A;
	text-decoration:none;
	font-family:Verdana, Arial, Helvetica, sans-serif;
	border-bottom:0px;
}

#header {
	width:100%;
	display:table;
}
#header_right {
	float:right;
	font-size:0.7em;
	font-family:Verdana, Arial, Helvetica, sans-serif;
	text-align:right;
}

h1 {
	font-size:1.7em;
	color:#336699;
	background-color:#FFFFFF;
	font-family:Verdana, Arial, Helvetica, sans-serif;
	font-weight:300;
	margin:0px;
}
h1 a, h1 a:hover {
	color:#336699;
	border:0px;
}
h1 a:hover {
	text-decoration:underline;
}
h2 {
	font-size:1.15em;
	color:#CCCCCC;
	font-family:Verdana, Arial, Helvetica, sans-serif;
	font-weight:300;
	background-color:#FFFFFF;
	margin:0px;
}
h3 {
	font-family:Verdana, Arial, Helvetica, sans-serif;
	color:#336699;
	font-size:1em;
	font-weight:bold;
	background-color:#F9F9F9;
	border-width:1px;
	border-color:#AAAAAA;
	border-style:solid;
	text-align:left;
	padding:0.3em;
}
h4, h4.no_border {
	font-family:Verdana, Arial, Helvetica, sans-serif;
	color:#333;
	font-size:0.9em;
	font-weight:bold;
	text-align:left;
	margin:0.15em;
	padding-bottom:0.3em;
	padding-top:0.3em;
	border-top:1px dashed #333;
}
h4.no_border { border:0px; }
hr {
	border:0px;
	color:#CCCCCC;
	background-color:#CDCDCD;
	height: 1px;
	width: 100%;
	text-align: left;
}

/* Right column stuff */

#menu {
	position:absolute;
	top:100px;
	right:20px;
	width:172px;
}

div.rightad {
	margin-bottom:10px;
	border:0px;
	text-align:center;
}
div.rightad a {
	margin-bottom:10px;
	border:0px;
	text-decoration:none;
}

#menu div.rightbox {
	font-family:Verdana, Arial, Helvetica, sans-serif;
	font-size: 0.85em;
	line-height: 1.2em;
	padding:7px;
	background-color:#F9F9F9;
	border-width:1px;
	border-color:#AAAAAA;
	border-style:solid;
	margin-bottom:10px;
}

.rightbox p, .rightbox a {
	font-size: 0.85em;
	line-height: 1.2em;
	margin-bottom:0.8em;
}
.rightbox h4 {
	font-family:Verdana, Arial, Helvetica, sans-serif;
	font-size:1.1em;
	font-weight:300;
	text-align:center;
	margin:4px 0px 5px 0px;
	padding:0px;
	border:0px;
}
.rightbox ul {
	list-style-position: inside;
	list-style-image: none;
	list-style-type: none;
	margin:0px 0px 5px 0px;
	padding:0px;
}
.rightbox ul li:before {
	content: "\00BB \0020";
}
.rightbox a, .rightbox a:hover {
	border: 0px;
}
.rightbox a:hover {
	text-decoration: underline;
}

/* Stuff around the post form */

legend {
	font-family:Verdana, Arial, Helvetica, sans-serif;
	color:#336699;
	font-size:0.85em;
	font-weight:300;
	background-color:#F9F9F9;
	border-width:1px;
	border-color:#AAAAAA;
	border-style:solid;
	text-align:left;
	padding:0.16em;
}
fieldset {
	border-color:#AAAAAA;
	border-style:solid;
	border-width:1px;
	margin-top:2em;
}

table.post_options tr td
{
	text-align:left;
	border: 0px;
	font-size: 0.8em;
}
table.post_options
{
	text-align:left;
	border: 0px;
	margin-left:auto;
	margin-right:auto;
}
#post_submit
{
	text-align:center;
	display: table;
	width:100%;
}
div.post_instructions
{
	color:#336699;
	text-align:center;
	padding:0.9em;
	font-size:0.8em;
}

.error
{
	font-family:Verdana, Arial, Helvetica, sans-serif;
	color:#9b0036;
	font-size:0.9em;
	font-weight:200;
	background-color:#FFF;
	text-align:center;
	padding:0.4em;
}
.form_body
{
	font-size: 0.8em;
}

/* Stuff for displaying posts */
a.equation_link
{
	text-decoration:none;
	border:0px;
}
a.equation_link:hover
{
	text-decoration:none;
	border:0px;
}
div.equation
{
	margin-left: auto;
	margin-right: auto;
	text-align:center;
}
div.equation img
{
	border: 0px;
}
img.inline_equation
{
	border: 0px;
	vertical-align:middle;
}
div.diagram
{
}
div.diagram img
{
	border: 0px;
}


div.post
{
}
div.parent_post_header, div.post_header
{
	border:1px dashed #333;
	font-family:Verdana, Arial, Helvetica, sans-serif;
	color:#336699;
	font-size:0.9em;
	font-weight:200;
	background-color:#F9F9F9;
	text-align:left;
	padding:0.3em;
	margin-bottom: 15px;
	margin-top: 10px;
}
div.parent_post
{
	margin-left:0px;
}
div.post
{
	margin-left:2em;
}
div.post_top_header {
	display:table;
	width: 100%;
}
.post_title, .post_name
{
	font-weight:300;
}
div.post_top_header div.post_title
{
	float:left;
}
div.post_top_header div.post_name
{
	float:right;
}
.post_date
{
	font-size:0.7em;
}
.post_followup
{
	text-align:right;
	font-size:0.7em;
}
.post_body, .post_body p
{
	font-size:1.0em;
	line-height: 1.7em;
}


/* Stuff for latex examples and reference pages */
.latex_example
{
	font-size:smaller;
	font-family:monospace;
	color:#2300cc;
}
img.latex_ref, table.latex_ref
{
	border:1px solid#333;
	margin-bottom:15px;
}
img.latex_ref
{
	display:block;
}
table.latex_ref
{
	border-spacing:0px;
	border-collapse:collapse;
}
table.latex_ref tr td
{
	font-size:smaller;
	font-family:monospace;
	color:#2300cc;
	background-color:#FFFFFF;
	padding:3px;
	margin:0px;
	border:0px;
}
table.latex_ref tr td.alternate
{
}
table.latex_ref tr td img
{
	padding-left:10px;
}

/* article stuff */
div.article, div.article p
{
	font-size:1.0em;
	line-height: 1.7em;
}
img.article
{
}

.yellow_bg
{
	background-color:#feffeb;
}

	body.hl { background-color:#ffffff; }
	pre.hl  { color:#000000; background-color:#ffffff; font-size:10pt; font-family:Courier;}
	.num    { color:#a900a9; }
	.esc    { color:#C42DA8; }
	.str    { color:#ff0000; }
	.dstr   { color:#ff0000; }
	.slc    { color:#666666; font-style:italic; }
	.com    { color:#666666; font-style:italic; }
	.dir    { color:#00b800; }
	.sym    { color:#ff0000; }
	.line   { color:#666666; }
	.kwa    { color:#0000ff; font-weight:bold; }
	.kwb    { color:#0000ff; }
	.kwc    { color:#ec7f15; }
	.kwd    { color:#000000; font-weight:bold; }
