/* 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(https://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(https://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(https://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;
  margin-bottom: 8ex;
}

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

h1,
h2 {
  margin: 0;
}

h2 {
  font-size: 130%;
}

p {
  margin-top: 0;
  line-height: 1.5;
}

pre,
tt,
code {
  font-family: WebKitBugWorkaround, monospace;
}

pre {
  line-height: 1.5;
  padding-left: 2em;
}

a {
  color: #37f;
}

a.hiddenlink {
  color: black;
  text-decoration: none;
  transition: 0.2s;
}

a.hiddenlink:hover {
  color: #37f;
  transition: 0.1s;
}

/* gray header bar */
header {
  background: #ddd;
  border-bottom: solid 2px #777;
}

header>div {
  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>div {
    padding: 2ex;
    margin: 0;
  }

  main,
  footer {
    margin: 2ex;
  }
}

#date-table {
  margin: 1em 0;
}

.date {
  padding-right: 2ex;
  color: #555;
  white-space: nowrap;
}

#date-table td {
  vertical-align: baseline;
}

#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;
}