html {
  font-family: -apple-system, Helvetica, arial, sans-serif;
  color: rgba(0, 0, 0, 0.8);
  line-height: 1.5em;
  -ms-text-size-adjust: 100%;
  -webkit-text-size-adjust: 100%;
  text-size-adjust: 100%;
}
body {
  margin: 0;
}
body .content {
  margin-bottom: 120px;
}
a {
  color: rgba(0, 0, 0, 0.8);
}
a:hover {
  text-decoration: none;
}
h1,
h2,
h3,
h4,
h5,
h6 {
  font-family: -apple-system, Helvetica, arial, sans-serif;
}
h1 {
  line-height: 1.2em;
}
.clear {
  clear: both;
}
.hidden {
  display: none;
}
.wrap {
  max-width: 700px;
  margin: 0 auto;
}
.mono {
  font-family: monospace;
}
.nav {
  margin-top: 15px;
  margin-bottom: 15px;
}
.nav a {
  color: rgba(0, 0, 0, 0.6);
  text-decoration: none;
  border-bottom: none;
  font-size: 12px;
}
.nav a:hover {
  font-weight: bold;
}
.nav ul {
  list-style-type: none;
  padding: 0;
}
.nav ul li {
  display: inline;
  margin-right: 10px;
}
.front-matter {
  padding: 20px 0;
  border-bottom: 1px solid rgba(0, 0, 0, 0.1);
  border-top: 1px solid rgba(0, 0, 0, 0.1);
}
.article {
  font-size: 15px;
  line-height: 1.6em;
  color: rgba(0, 0, 0, 0.8);
  margin-top: 50px;
  margin-bottom: 50px;
}
.article h2 {
  font-size: 26px;
  border-bottom: 1px solid rgba(0, 0, 0, 0.2);
  padding-bottom: 1rem;
  padding-top: 1em;
}
.article ul {
  padding: 0 15px;
}
.article hr {
  border-bottom: none;
  border-top: 1px solid rgba(0, 0, 0, 0.7);
  margin: 33px auto;
  width: 70px;
}
#blog {
  margin-top: 60px;
  margin-bottom: 100px;
  font-size: 14px;
  line-height: 1.6em;
  margin-bottom: 40px;
}
#blog #intro {
  font-style: italic;
}
#blog .authors {
  color: #666666;
}
#blog .title {
  font-weight: bold;
}
#blog .venue {
  font-style: italic;
}
#blog .quote {
  margin-bottom: 30px;
}
#blog .quote p {
  margin-bottom: 5px;
}
#blog .post-date {
  text-transform: uppercase;
  color: rgba(0, 0, 0, 0.7);
  font-size: 12px;
  font-weight: bold;
  margin-top: 4px;
  margin-bottom: 4px;
}
#blog .post-title {
  display: inline-block;
  font-weight: bold;
  margin-bottom: 0;
}
#blog .post-title a {
  font-size: 18px;
  text-decoration: none;
}
#blog .post-title a:hover {
  text-decoration: underline;
}
#blog .year {
  font-size: 18px;
  position: relative;
  right: 100px;
  color: rgba(0, 0, 0, 0.5);
  width: 100px;
  margin-bottom: -24px;
}
.label {
  display: inline-block;
  font-size: 11px;
  padding: 1px 5px;
  border-radius: 3px;
  text-decoration: none;
  margin-left: 4px;
  border: 1px solid rgba(0,0,0,0.2);
  color: rgba(0,0,0,0.6);
}
.label:hover {
  background-color: rgba(0,0,0,0.05);
}
.news-item {
  margin-bottom: 6px;
}
hr {
  border-top: #ccc;
}
@media screen and (max-width: 700px) {
  body {
    margin: 0 7px;
  }
  #blog {
    margin-top: 30px;
  }
  .nav {
    margin-top: 10px;
  }
}