* {
  box-sizing: border-box;
}
body,
html {
  font-size: 18px;
  font-family: Georgia, serif;
  background-color: #fff;
  color: #151515;
  line-height: 1.5;
}
body {
  margin: 1rem;
  overflow-x: hidden;
}
.post:first-child > h1 {
  margin-top: 40.5px;
}
h1 {
  font-size: 42.63467467px;
  line-height: 1.2;
  margin-top: 48.6px;
  margin-bottom: 13.5px;
  font-weight: 700;
}
h1.first {
  margin-top: 13.5px;
}
h2 {
  font-size: 31.984002px;
  line-height: 1.25;
  margin-top: 40.5px;
  margin-bottom: 13.5px;
  font-weight: 700;
}
h3 {
  font-size: 23.994px;
  line-height: 1.3;
  margin-top: 32.4px;
  margin-bottom: 10.8px;
  font-weight: 700;
}
h4 {
  font-size: 18px;
  line-height: 1.5;
  margin-top: 20.25px;
  margin-bottom: 8.1px;
  font-weight: 700;
}
.main {
  max-width: 76ex;
  margin: 40.5px auto;
}
@media screen and (max-width: 1199px) {
  .info {
    display: none;
  }
  h1:first-child {
    margin-top: 2ex;
  }
}
@media screen and (min-width: 1200px) {
  .info-tiny {
    display: none;
  }
}
.info-tiny img {
  float: left;
  height: 3.2em;
  width: 3.2em;
  border-radius: 3em;
  margin-right: 1em;
}
.info {
  position: absolute;
  top: 4rem;
  left: 50%;
  margin-left: -65ex;
  width: 20ex;
  right: 2rem;
  text-align: right;
}
.info img {
  width: 8rem;
  height: 8rem;
  border-radius: 10em;
}
.first {
  font-size: 1.5em;
  text-shadow: 0 0 1px #000, 1px 2px 4px #fff, 2px 3px 4px #aaa;
  margin-bottom: 0;
}
.first a {
  color: #000;
}
.subtitle {
  font-style: italic;
  color: #666;
  margin-top: 0.25rem;
  margin-bottom: 0.25rem;
}
p {
  line-height: 1.5;
  margin-top: 0;
  margin-bottom: 20.25px;
}
p.subtitle {
  line-height: 1.3;
}
h1 + p,
h2 + p,
h3 + p,
h4 + p {
  margin-top: 0;
}
p + ul,
p + ol,
p + blockquote,
p + pre,
ul + p,
ol + p,
blockquote + p,
pre + p {
  margin-top: 20.25px;
}
ul,
ol {
  margin-top: 20.25px;
  margin-bottom: 20.25px;
  padding-left: 0;
}
li {
  line-height: 1.5;
  margin-bottom: 5.4px;
  margin-top: 0;
  margin-left: 2rem;
}
li ul,
li ol {
  margin-top: 5.4px;
  margin-bottom: 5.4px;
}
blockquote {
  border-left: solid 4px #f3ecdf;
  padding-left: 13.5px;
  margin: 20.25px 0;
  font-style: italic;
  color: #666;
}
blockquote p:last-child {
  margin-bottom: 0;
}
blockquote small {
  color: #666;
}
blockquote small:before {
  content: '\2014 \00A0';
}
a {
  text-decoration: none;
  border-bottom: dashed 1px #888;
  color: #333;
}
a.img {
  border-bottom: none;
}
a:hover {
  color: #37c;
}
a:active {
  color: #37c;
}
.post .date {
  margin: 6.75px 0 20.25px 0;
  font-style: italic;
  font-size: 0.875rem;
  color: #666;
  line-height: 1.5;
}
.post pre {
  background-color: #faf7f2;
  box-shadow: 0 0 0.25rem #decba7;
  padding: 13.5px;
  margin: 20.25px 0;
  font-family: Monaco, "Liberation Mono", Courier, monospace !important;
  font-size: 13px;
  line-height: 1.5;
  overflow: auto;
}
.post pre code {
  font-family: Monaco, "Liberation Mono", Courier, monospace !important;
}
.post img {
  max-width: 100%;
}
.post p code {
  color: #333;
  padding: 0.1em 0.3em;
  font-family: Monaco, "Liberation Mono", Courier, monospace !important;
  font-size: 15px;
  background-color: #fdfbf9;
  border-radius: 3px;
}
.post p code .pln {
  color: #333;
}
hr {
  border: none;
  border-top: solid 1px #f3ecdf;
  margin: 40.5px 0;
}
.social {
  margin: 40.5px 0 60.75px 0;
}
.content > table {
  margin: 20.25px 0;
  border: solid 2px #f3ecdf;
  border-collapse: collapse;
  border-spacing: 0;
  font-size: 1rem;
  line-height: 1.5;
}
.content > table td,
.content > table th {
  margin: 0;
  padding: 6.75px 10.125px;
  border: none;
}
.content > table tr {
  margin: 0;
  padding: 0;
  border: none;
}
.content > table tbody {
  margin: 0;
  padding: 0;
  border: none;
}
.content > table tr:nth-child(odd) > td {
  background-color: #f3ecdf;
}
.post .tickLabel,
.post .legendLabel {
  font-size: 0.8rem;
}
.post .content .plot {
  height: 560px;
}
.hn-share-button {
  margin: 0 0.5rem;
}