@font-face {
    font-family: 'Inter';
    font-display: auto;
    font-style:  normal;
    font-weight: 400;
    src: url("../fonts/Inter-Regular.woff2") format("woff2"),
         url("../fonts/Inter-Regular.woff") format("woff");
  }

  @font-face {
    font-family: 'Inter';
    font-display: auto;
    font-style:  normal;
    font-weight: 500;
    src: url("../fonts/Inter-Medium.woff2") format("woff2"),
         url("../fonts/Inter-Medium.woff") format("woff");
}

.header .site-title {
  margin: -15px 0 0 0;
  line-height: 1em;
}

div.post-header {
  flex-wrap: wrap;
}

div.matter {
  width: 706px;
}

table {
  font-size: 14px;
}

pre {
  font-family: monospace;
  background: rgba(0, 0, 0, 0.04);
}

code {
  margin: 0 .2rem;
  padding: .2rem .5rem;
  font-size: 80%;
  color: rgb(192, 192, 192);
  white-space: nowrap;
  background: rgba(0, 0, 0, 0.96);
  border-radius: 5px;
}

pre > code {
  display: block;
  font-size: 80%;
  padding: 1rem 1rem;
  white-space: pre;
  background: rgba(0, 0, 0, 0.96);
  border-radius: 0;
  line-height: 1.5em;
}

.highlight pre {
  padding: 0px;
  background-color: rgba(0, 0, 0, 1) !important;
}

.post ul li {
  margin-top: 10px;
}

#TableOfContents ul li {
  margin: 0px;
}