h1,h2,h3,h4,h5,h6 {
  color: #373737;
  font-variant: small-caps;
  font-family: serif;
}

/* pandoc makes the title class too big */
h1.title {
    font-size: 1.3em; margin: .83em 0;
}

a {
  text-decoration:none; 
}

pre,blockquote {
  padding: 5px;
  margin: 0 0 0 40px;
  background-color: #ccc;
  border: 1px solid black;
  white-space: pre-wrap; /* css-3 */
  white-space: -moz-pre-wrap !important; /* Mozilla, since 1999 */
  white-space: -pre-wrap; /* Opera 4-6 */
  white-space: -o-pre-wrap; /* Opera 7 */
  word-wrap: break-word; /* Internet Explorer 5.5+ */
}

code {
  font: 110% monospace;
}

img {
    padding: 0 3px 0 3px;
    border-style: none;
}

#container {
  width: 90%;
  margin: 10px auto;
  line-height: 130%;
  font: 90%/1.6em Verdana, Arial, Helvetica, sans-serif;
}

#top {
  padding: .5em;
  border-bottom: 1px solid gray;
  margin: 0 0 10px 0;
}

#top h1 {
  padding: 0;
  margin: 0;
}

#top a {
  color: #373737;
}

#top a:hover {
  color: #373737;
}

#leftnav {
  float: left;
  width: 100px;
  margin-left: -15px;
  padding: 1em;
}

#leftnav ul {
  list-style-type: none;
}

#content {
  margin-left: 120px;
  border-left: 1px solid gray;
  padding: 1em;
  max-width: 60em;
}

#content p {
    margin-top: 20px;
    margin-bottom: 20px;
}


table {
	border-width: 0px;
	border-spacing: 0px;
}
table th {
	border-width: 0px;
	padding: 0px;
    text-align: left;
}
table td {
	border-width: 0px;
	padding: 0px;
}

#footer {
  clear: both;
  margin: 10px;
  padding: .5em;
  color: #545454;
  font-size: smaller;
  border-top: 1px solid gray;
}

#footer div.left {
  float: left;
}

#footer div.right {
  float: right;
}