body {
    background: #fffff6;
    color: #575757;

    padding: 0;
    padding-left: 12px;
    padding-right: 12px;
    border: 0;
    margin: 0;

    max-width: 50em;
    margin-left: auto;
    margin-right: auto;
}


/***************** colors ******************/

#footer {
	border-top: 1px solid #e8e8e8;
}

a { color: #404f57; }
a:visited { color: #3a4b54; }
a:hover { background: #f0fdfd; }

.highlight { color: red; }

a.highlight { color: #133f58; }
a.highlight:visited { color: #133f58; }

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

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

code {
	font-size: 90%;
}

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

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

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

/* 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; */
	float: right;
}

/* ul { list-style: none; } */

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

h1 {
    font-size: 220%;
    font-weight: bold;

    text-align: center;

    color: #547a8f;

    background: #f5ffff;
    padding: 0.2em;
    padding-top: 0.6em;
    border-bottom: 1px solid #96b1b8;
    margin-bottom: 1em;
    margin-left: -12px;
    margin-right: -12px;
}

h2 {
    font-size: 180%;
    font-weight: bold;
    text-align: left;
    color: #8f5454;
    margin-top: 1.2em;
}

h3, h4, dt { font-weight: normal; }

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 {
	position: absolute;
	top: 4.8em;
	right: 24px;
}
#navbar, #navbar a, #navbar a:visited {
	font-style: italic;
	color: #666666;
}
#navbar a:hover {
	color: #222222;
}


#navbar ul, #navbar li {
  display: inline;
  padding: 0;
  margin: 0;
}
#navbar ul { list-style-type: none; }
#navbar li { padding-left: 1em; }

div#navbar ul ul ul { display: none; }

/* Sidebar */

.sidebar {
	float: right;
	background: #f5ffff;

	width: 30em;
    padding: 0;
	padding-left: 6px;
    padding-right: 6px;
	border: 1px solid #96b1b8;
}

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

.disclaimer { color: #999999; }

.important { color: #ad0e0e; }

.note { font-size: 90%; }

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

.anno {
    color: #99f;
    font-size: 85%;
    position: absolute;
    left: 30%;
}

p.standout {
    background: #ffd;
    border: thin solid #ff0;
    padding: 1em;
}

ul.filelist {
    list-style: none;
    margin-bottom: 0;
    margin-left: 4em;
    margin-right: 4em;
    padding: 0;
}

ul.filelist ul.filelist {
    margin-top: 0
    margin-bottom: 0;
    margin-left: 1em;
    margin-right: 0;
}

ul.filelist li {
    position: relative;
    margin: 0;
    padding: 0;
    font-family: monospace;
}

.footnote h2 { border: none; }

img {
  vertical-align: middle;
  border: none;
  padding: 0;
  margin: 0;
  margin-left: 0.5em;
  margin-right: 0.5em;
}

.figure {
	display: block;
	text-align: center;
	margin-left: auto;
	margin-right: auto;
}

.embed {
	  float: right;
	  border: none;
	  padding: 0;
	  margin: 0;
	  margin-left: 6px;
	  margin-bottom: 6px;

	  clear: both;

	  text-align: center;
}