body {
  margin: 0;
  padding: 0;
  font-family: Georgia;
  font-size: 14px;
  line-height: 1.4em;
}

pre, code {
  font-family: "Menlo", "Courier", "Courier New", monospace;
  font-size: 12px;
}

a {
  color: black;
  text-decoration: none;
  border-bottom: 1px solid #A32929;
}
a:hover { border-bottom-color: black; }
code a {
  border-bottom: none;
}

#home #content ul {
  list-style: none;
  margin: 0 0 1em 0;
  padding: 0;
}
#home #content li {
  margin: 0.2em 0;
}
#home #content h2 {
  font-size: 0.8em;
  text-transform: uppercase;
  font-family: helvetica;
  letter-spacing: 0.1em;
  font-weight: 400;
  margin-top: 2em;
  margin-bottom: 0.5em;
}

header#banner {
  margin-left: 3em;
  margin-top:  2em;
  max-width: 600px;
}
header#banner h1 {
  font-family: Helvetica, sans-serif;
  font-size: 14px;
  font-weight: 300;
  color: #777;
}
header#banner h1 a {
  color: #777;
  border: none;
}
header#banner h1 a:hover {
  color: black;
}
header#banner img.si { width: 14px; position: relative; top: 2px; opacity: 0.6; }
header#banner a:hover img.si { opacity: 1.0; }

header#banner .vert-bar {
  font-size: 0.85em;
  color: rgb(182, 182, 182);
  position:relative; bottom:1px;
  padding: 0 2px;
}
header#banner .brkt {
  color: rgb(182, 182, 182);
}

header.main-header {
  margin-left: 3em;
  margin-top: 2em;
  max-width: 600px;
  font-family: Helvetica, sans-serif;
}
header.main-header h1 {
  letter-spacing: 0;
  text-transform: none;
  font-size: 1em;
  font-weight: 600;
  margin-top: 2em;
}
header.main-header h2 {
  font-family: Georgia, serif;
  font-weight: normal;
  font-size:   1em;
  margin-bottom: 0;
  margin-top: -0.5em;
  color: #777;
}

/* content */
section#content {
  margin-left: 3em;
  margin-top:  2em;
  max-width: 600px;
}
section#content header {
  font-family: Helvetica, sans-serif;
}
section#content header h1 {
  font-weight: 300;
  font-size: 1.6em;
  margin-bottom: 0;
}
section#content header h2 {
  font-weight: normal;
  font-size:   1em;
  margin-top: -0.5em;
  margin-bottom: 0;
  color: #777;
}

/* footer */
footer#main {
  font-style: italic;
  font-size:   11px;

  width:         600px;
  margin-left:   43px;
  margin-top:    5em;
  margin-bottom: 2em;
  padding-top:   0.5em;

  border-top: .5px solid #777;  
}

footer#main p {
  margin: 0.5em 0;
}
aside {
  font-family:Helvetica;
  font-size:0.85em;
  line-height:1.5em;
}

section#content header h1 {
  letter-spacing: 0;
  text-transform: none;
  font-size: 1em;
  font-weight: 500;
  margin-top: 2em;
}
section#content header h2 {
  margin-top: 0em;
  font-size: 0.85em;
  margin-bottom: 1.5em;
}

section#content h1 {
  font-size: 0.85em;
  font-weight: normal;
  font-family: Helvetica, sans-serif;
  text-transform: uppercase;
  letter-spacing: 1px;
  margin-top: 2em;
}

.aside {
  font-family:Helvetica;
  font-size:0.75em;
  line-height:1.5em;
  position: absolute;
  margin-top: -8px;
  left: 680px;
  width: 200px;
}

div[rundoc-tangle],
pre[rundoc-tangle] {
  padding-left: 10px;
  border-left: 2px solid #ccc;
}
div[rundoc-tangle="no"],
pre[rundoc-tangle="no"] {
  padding-left: 0;
  border-left: none;
}
pre.example {
  font-weight: bold;
  background-color: #eee;
  padding: 10px;
  border: 1px solid #ccc;
}

figure {
  margin: 1em 0;
  padding: 0;
}