body {
  font-family: Helvetica;
  font-size: 13px;
}

#menu {
  float: right;
  margin-top: 30px;
  margin-right: 20px;
  text-align: right;
  width: 150px;
  font-family: "Myriad Pro", "Helvetica Neue", Helvetica;
}

#menu .title {
}

#menu ul {
  list-style-type: none;
  margin: 0;
  padding: 0;
}

#menu li {
}

#menu li a {
  display: inline-block;
  color: #0864c7;
}

#left {
  height: 1px;
  float: left;
  display: block;
  min-width: 0;
  overflow: hidden;
  width: 200px;
  margin: 0;
  padding: 0;
}

#content {
  margin-top: 15px;
  float: left;
  width: 500px;
}

#content h1, #content h2, #content h3 {
  font-family: "Myriad Pro", "Helvetica Neue", Helvetica;
  margin: 0;
}

#content h2 {
  margin-top: 2em;
}

#content .byline, #content .byline a, #content .note {
  font-size: 10px;
  color: #aaa;
}

#content a, #content a:visited {
  color: #0864c7;
}

#content p, #content ul {
  color: #000000;
  line-height: 18px;
}

#content sup.note {
  display: inline-block;
  margin-top: -5px;
}

#content p.notop {
  margin-top: 0;
}

#content .thanks {
  margin-top: 2em;
  padding-top: 1em;
  border-top: 1px solid #eee;
  margin-bottom: 4em;
  font-size: smaller;
  color: #777;
}

#content .thanks a {
  color: #777;
}

#content li {
  margin-bottom: 0.7em;
}

#content .thumbs {
  display: flex;
  flex-wrap: wrap;
  gap: 10px;
  margin-top: 2em;
}

#content .thumbs img {
  height: 100px;
  width: auto;
  display: block;
}

.post + .post {
  margin-top: 50px;
}

sup, sub {
  vertical-align: baseline;
  position: relative;
  top: -0.4em;
}
sub { 
  top: 0.4em; 
}

/* --- additions appended by generate.py --- */
#pager { margin-top: 40px; margin-bottom: 3em; clear: both; }
#pager a, #pager b { margin-right: .55em; }
#pager a, #pager a:visited { color: #0864c7; text-decoration: none; }
#content h1 a, #content h1 a:visited { color: inherit; text-decoration: none; }
#content h1 a:hover { text-decoration: underline; }
.img-placeholder { background:#f5f5f5; border:1px dashed #ccc; color:#999;
  font:11px/1.5 monospace; padding:20px; text-align:center;
  word-break:break-all; max-width:500px; margin:8px 0; }
/* search */
#q { width:100%; max-width:500px; box-sizing:border-box; padding:8px 10px;
  font:14px inherit; font-family:inherit; border:1px solid #ccc; border-radius:4px;
  margin:12px 0 22px; }
#results .result { margin-bottom:20px; }
#results .result h3 { margin:0 0 2px; font-size:15px;
  font-family:"Myriad Pro","Helvetica Neue",Helvetica; }
#results .result .meta { font-size:10px; color:#aaa; }
#results .result .snippet { font-size:13px; line-height:18px; color:#333; margin-top:3px; }
#results mark { background:#fff2a8; padding:0 1px; }
#results .empty { color:#777; font-size:13px; }