body {
  margin: 0em;
  padding: 0em;
  color: #000;
  background-color: #336699;
  font-family: "Bitstream Vera Sans", Verdana, sans-serif;
  min-width: 770px;
}

h1, h2, h3, h4, h5, h6 {
  font-weight: normal;
}

pre {
  overflow: auto;
  background-color: #F3F3F3;
  border: 1px solid #DDDDDD;
  padding: 0.5em;
}

table {
  margin: 1em 0em;
  border-collapse: collapse;
  border: 1px solid #DDDDDD;
}

tr {
  margin: 0.25em;
  padding: 0.25em;
  border: 1px solid #DDDDDD;
}

th {
  margin: 0.25em;
  padding: 0.25em;
  border: 1px solid #DDDDDD;
  color: white;
  background-color: gray;
}

td {
  margin: 0.25em;
  padding: 0.25em;
  border: 1px solid #DDDDDD;
}

#frame {
  margin: 1em auto;
  width: 90%;
  background-color: white;
}

#container {
  padding: 1em;
}

#site_title {
  padding: 0em;
  margin: 0em;
  border-bottom: 1px solid gray;
}

#site_title h1 {
  margin: 0em;
  font-size: 3em;
}

#page_title {
  margin-top: 1em; 
}

#search_form {
  float: right;
  margin-top: 0.5em;
}

#skip_link {
  visibility: hidden;
  margin: 0em;
  padding: 0em;
  font-size: 0px;
}

#message {
  color: #BF953F;
}

#edit_form textarea {
  width: 100%;
}

#comment_form {
  border-top: 1px dashed gray;
  margin-top: 1em;
  font-size: small;
  padding-top: 1em;
}

#comment_form textarea {
  width: 50%;
}

#user_comments {
  border-top: 1px dashed gray;
  font-size: small;
}

.comment {
  margin-bottom: 1.5em;
}

.comment_content {
  background-color: #FAFAFA;
  border: 1px solid #DDDDDD;
  padding: 0em 1em;
}

.comment_cite {
  margin: 0em;
}

#edit_timer {
  font-size: small; 
}

#main {
  float: left;
  width: 85%;
  line-height: 130%;
  margin-bottom: 1em;
}
	
#navigation {
  text-align: right;
  width: 13%;
  float: right;
  margin-top: 0.5em;
}

#navigation h2 {
  font-size: small;
  margin: 0em;
  padding: 0em;
}

#navigation ul {
  margin: 0em 0em 1em 0em;
  padding: 0em;
  list-style: none;
}

#navigation li {
  padding: 0.25em 1em 0.25em 0em;
  background-color: #f0f0f0;
}

#footer {
  border-top: 1px solid gray;
  clear: both;
  font-size: small;
  line-height: 0.5em;
}

a:link {
  color: #998832;
}

a:visited {
  color: #998832;
}

a:hover {
  color: #E6B24C;
}

a:after {
  font-size: x-small;
  vertical-align: top;
  content: url('http://www.cs.unc.edu/~gb/theme/css/common/image/external.gif');
  text-decoration: none;
}

a.local:link {
  color: #336699;
}

a.local:visited {
  color: #336699;
}

a.local:hover {
  color: #4C99E6;
}

a.local:after {
  content: "";
}

sup.footnote a:link {
  color: #1A5ECA;
}

sup.footnote a:visited {
  color: #1A5ECA;
}

sup.footnote a:hover {
  color: #FF0000;
}

sup.footnote a:after {
  content: "";
}

a.dne {
  color: #000;
}

a.dne:after {
  vertical-align: top;
  font-size: x-small;
  content: "?";
  text-decoration: none;
}