body {
	background: white;
	color: black;

	padding: 0;
	border: 0;
	margin: 0;
}


#main, #footer {
	margin-right: 138px;
}
#footer {
	border-top: 1px solid #e8e8e8;
}

a { color: black; }
a:visited { color: black; }

/**************** Spacing of block level elements **********/

div, p, h1, h2, h3, h4, ul, ol, li, dl, dd, dt, table {
  padding: 0;
  border: 0;
  margin: 0;
}

p, h2, h3, h4, ul, ol, dl, table {
  margin-top: 1em;
  margin-bottom: 1em;
}

li, dd, dt {
	margin-top: 0.5em;
	margin-bottom: 0.5em;
}

/* indent these on both sides */
h3, h4, p, pre, ul, ol, dl {
  padding-left: 12px;
  padding-right: 12px;
}

/* We use padding instead of margin for table so we can use width: 100% and not
* have things overflowing (grr CSS...) */

table {
  padding-left: 1em;
  padding-right: 1em;
}

/* remove top/bottom spacing in nested elements */
dl ul,
dl li {
  margin-top: 0;
  margin-bottom: 0;
}

ul, ol, dd { margin-left: 2em; }

dd ul { margin-left: 0; }

dt img, h2 img, h3 img {
	border: 1px solid #8f8f8f;

	padding: 0;
	margin: 0;
	position: absolute;
	right: 12px;
}

ul { list-style: none; }

/****************** Decorate headings **********************/

h1, h2, h3, h4, dt { font-weight: normal; }
h1 {
	text-align: center;
	font-size: 250%;
	padding: 0.2em;
	padding-top: 0.6em;
	border-bottom: 1px solid black;
    margin-bottom: 1em;
	margin-right: -138px;
}
h2 {
	font-size: 220%;
	margin-top: 1.2em;
}

h1 img { float: right; }

dt, h3 {
	font-size: 150%;
}

dt, h3, h4 { font-style: italic; }

h4 { font-size: 100%; }

.details { font-size: 60%; margin-left: 3em; position: relative; bottom: 0.2em; }

/************** List Archives *****************/

ul.email-headers { list-style: none; }

div.msg-body {
  border-top: thin solid black;
  border-bottom: thin solid black;
  margin-top: 0.5em;
  margin-bottom: 0.5em;
}

div.msg-body pre {
  margin-left: 0;
  margin-right: 0;
}

/*************** Navbar **********************/

#navbar { display: none; }

/*************** Misc **************/

.disclaimer { color: #999999; }

.note { font-size: 90%; }

.footnote {
	border-top: 1px solid #8f8f8f;
	margin-top: 2em;
}

.footnote h2 { border: none; }

img {
  vertical-align: middle;
  border: none;
  padding: 0;
  margin: 0;
  margin-left: 0.5em;
  margin-right: 0.5em;
}
.figure, .figure p {
  text-align: center;
}