/* overall layout */

body {
  min-width: 1250px;
  color: #111;
  font-family: "Times New Roman", "Georgia", serif;

  font-size: 11pt;
  line-height: 23px;
  margin: 0; padding: 0;
}

h1, h2, h3, h4, h5, h6 {font-family: "Average", "Georgia", "Times New Roman", serif;}

.main {width: 100%;}
.main .inner {width: 700px; margin: 0 auto;}

.main .inner {padding-bottom: 20px;}


/* sidebar nav */

/* reset list stuff */
nav ul, nav ol, nav li {
  margin: 0; padding: 0; list-style-type: none;
}

nav {
  width: 200px; margin-left: -240px;
  float: left; position: fixed;
  margin-top: 28px;
}

nav ul {
  border: 1px solid #999; line-height: 14px;
  background-color: #e5e5e5;
}

nav ul li {line-height: 22px;}
nav ul li a {
  display: block;
  padding: 7px 10px;
  text-decoration: none;
  color: #111;
}
nav ul li:hover a {
  background-color: #888; color: #f5f5f5;
}
nav ul li.active a {
  color: #f5f5f5;
  background-color: #444;
}

nav p {padding: 5px 10px;}

nav p a {
  text-decoration: none;
  font-weight: bold;
  color: #036;
}

nav p a:hover {
  text-decoration: underline;
  color: #111;
}

/* document styling */

article h2 {font-size: 24pt; margin-top: 0px; margin-bottom: 20px;}
article h3 {font-size: 18pt; margin-top: 0;}
article h4 {font-size: 16pt; margin-top: 0; padding-top: 30px; margin-bottom: 10px;}
article a {color: #036;}

article p.dateline {margin-bottom: 10px; text-align: right; color: #444;}
article p.small {font-size: 10pt;}

article ul.people, article ul.people li {
  list-style-type: none;
  list-style-position: outside;
  padding-left: 0; padding-right: 0;
  line-height: 28px;
}

article ul.people a {text-decoration: none; font-weight: bold;}
article ul.people a:hover {text-decoration: underline; color: #111;}

article ul.contributors {

}