@import url(pygment.css);
@import url(https://fonts.googleapis.com/css?family=PT+Sans);
@import url(https://fonts.googleapis.com/css?family=PT+Serif);

html, body {
  margin: 0;
  padding: 0;
}

#leftbar, #content h1, #content h2, .articlelist, #content footer {
  font-family: "PT Sans", sans-serif;
}
#content {
  font-family: "PT Serif", serif;
  font-size: 13pt;
  line-height: 140%;
}

/* main content area */
#wrapper {
  position: relative;
  margin: 3em auto;
  padding: 1em;
  width: 50em;
}

#content {
  padding-left: 11em;
}
#content p {
  text-align: justify;
}

/* left bar/menu */
#leftbar {
  float: left;
  padding: 1em 0em;
  width: 9em;
  border-right: 1px solid #CCC;
}

#leftbar ul {
  display: table;
  padding: 0;
  list-style-type: none;
  text-align: right;
  width: 100%;
}
#leftbar li {
  display: table-row;
}
#leftbar li > * {
  padding: 0.2em 1em;
  display: table-cell;
  height: 1.4em;
  vertical-align: bottom;
  border-right: 0.4em solid transparent;
}
#leftbar li.current > * {
  font-weight: bold;
  border-right-color: #CCC;
}
#leftbar li:hover > a {
  border-right-color: #EEE;
}

/* leftbar aside */
#leftbar aside {
  padding: 1em 1em 0 0;
  border-right: 0.4em solid transparent;
}
#leftbar aside .avatar {
  max-width: 100%;
}
#leftbar aside p {
  text-align: right;
  margin: 0.4em 0;
}

/* article list */
.articlelist time {
  font-family: sans-serif;
  font-size: 10pt;
  color: #999;
}
.articlelist .title {
  font-weight: bold;
  font-family: sans-serif;
  padding-left: 0.5em;
}
.articlelist dd p {
  margin-top: 0.2em;
  margin-bottom: 1em;
}

/* footer */
footer {
  margin-top: 3em;
  padding-top: 0.6em;
  border-top: 1px solid #CCC;
  font-size: 10pt;
}

/* links */
a {
  color: #E40;
  text-decoration: none;
}
a:hover {
  text-decoration: underline;
}
a:visited {
  color: #F73;
}


/*** articles and pages ************************/
#content header h1 {
  margin-top: 0;
  font-size: 160%;
}
#content header h2 {
  font-size: 100%;
  color: #999;
}

#content code {
  padding: 2px 0.2em;
  font-size: 10pt;
  background: #F6F6F6;
}
#content pre {
  overflow: auto;
  padding: 0.6em 1em;
  margin-left: 1.4em;
  font-size: 10pt;
  background: #F6F6F6;
}

#content ul {
  padding-left: 1.4em;
}
#content ul li {
  list-style-type: none;
  line-height: 1.4em;
}
#content ul li::before {
  content: "•";
  color: #E40;
  padding-right: 0.3em;
}

/* this is the world's hackiest <hr>'s */
#content hr, #content hr::before, #content hr::after {
  position: relative;
  margin: 2.5em auto;
  border: 0;
  background: #CCC;
  width: 0.4em;
  height: 0.4em;
  border-radius: 0.2em;
}
#content hr::before, #content hr::after {
  position: absolute;
  display: block;
  content: "";
  top: -2.5em;
}
#content hr::before {
  left: -3em;
}
#content hr::after {
  left: 3em;
}

/* footnotes */
.simple-footnotes {
  margin-top: 3em;
  padding-top: 0.5em;
  border-top: 1px solid #CCC;
  font-size: 90%;
  padding-left: 1em;
}