/* This is an inline of
     http://fonts.googleapis.com/css?family=Open+Sans:400,700
   so that I can add my own locally-hosted copy of the font (which
   I do so I can work on the page offline).  Is there a better way to do
   this?
*/
@font-face {
  font-family: 'Open Sans';
  font-style: normal;
  font-weight: 400;
  src: local('Open Sans'), local('OpenSans'), url(http://themes.googleusercontent.com/static/fonts/opensans/v7/cJZKeOuBrn4kERxqtaUH3T8E0i7KZn-EPnyo3HZu7kw.woff), url(OpenSans.woff) format('woff');
}
@font-face {
  font-family: 'Open Sans';
  font-style: normal;
  font-weight: 700;
  src: local('Open Sans Bold'), local('OpenSans-Bold'), url(http://themes.googleusercontent.com/static/fonts/opensans/v7/k3k702ZOKiLJc3WVjuplzHhCUOGz7vYGh680lGh-uXM.woff), url('OpenSans-Bold.woff') format('woff');
}
@font-face {
  font-family: 'Open Sans';
  font-style: italic;
  font-weight: 400;
  src: local('Open Sans Italic'), local('OpenSans-Italic'), url(http://themes.googleusercontent.com/static/fonts/opensans/v7/xjAJXh38I15wypJXxuGMBobN6UDyHWBl620a-IRfuBk.woff) url('OpenSans-Italic.woff') format('woff');
}

body {
  font-family: 'Open Sans', sans-serif;
  margin: 0;
}
h1, h2, h3 {
  font-weight: normal;
}
h1, h2 {
  margin: 0;
}
h2, h3 {
  font-size: 130%;
}

p {
  margin-top: 0;
  margin-bottom: 1em;
  line-height: 1.4em;
}
pre, tt, code {
  font-family: WebKitBugWorkaround, monospace;
}
pre {
  line-height: 1.4em;
  padding-left: 2em;
}
a {
  color: #37f;
}
a.hiddenlink {
  color: black;
  text-decoration: none;
  -webkit-transition: 0.2s;
}
a.hiddenlink:hover {
  color: #37f;
  -webkit-transition: 0.1s;
}

header {
  background: #ddd;
  border-bottom: solid 2px #777;
}
#header {
  max-width: 80ex;
  padding: 2ex 10ex;
  padding-bottom: 0;
  margin-bottom: 2ex;
}

main, footer {
  margin: 2ex 10ex;
  max-width: 80ex;
}

footer {
  font-style: italic;
  margin-bottom: 8ex;
}

@media (max-width: 500px) {
  header {
    padding: 0;
  }
  #header {
    padding: 2ex;
    margin: 0;
  }
  main, footer {
    margin: 2ex;
  }
}

.date {
  color: #555;
  line-height: 1.8;
}

#summaries {
  margin: 1em 0;
}
#summaries .date {
  padding-right: 2ex;
}
.summary td {
  padding-bottom: 2ex;
}

#post-heading {
  margin: 2ex 0;
}

/* Emacs htmlize styles. */
.comment {
  /* font-lock-comment-face */
  color: #b22222;
}
.comment-delimiter {
  /* font-lock-comment-delimiter-face */
  color: #b22222;
}
.function-name {
  /* font-lock-function-name-face */
  color: #0000ff;
}
.keyword {
  /* font-lock-keyword-face */
  color: #a020f0;
}
.preprocessor {
  /* font-lock-preprocessor-face */
  color: #da70d6;
}
.string {
  /* font-lock-string-face */
  color: #bc8f8f;
}
.type {
  /* font-lock-type-face */
  color: #228b22;
}
.variable-name {
  /* font-lock-variable-name-face */
  color: #b8860b;
}