@font-face {
  font-family: "Helvetica Neue FD";
  src: url("https://font.download/cdn/webfont/helvetica-neue-5/HelveticaNeueRoman.woff") format("woff");
  font-weight: 400;
  font-style: normal;
  font-display: block;
}

@font-face {
  font-family: "Helvetica Neue FD";
  src: url("https://font.download/cdn/webfont/helvetica-neue-5/HelveticaNeueItalic.woff") format("woff");
  font-weight: 400;
  font-style: italic;
  font-display: block;
}

@font-face {
  font-family: "Helvetica Neue FD";
  src: url("https://font.download/cdn/webfont/helvetica-neue-5/HelveticaNeueBold.woff") format("woff");
  font-weight: 700;
  font-style: normal;
  font-display: block;
}

@font-face {
  font-family: "Helvetica Neue FD";
  src: url("https://font.download/cdn/webfont/helvetica-neue-5/HelveticaNeueBoldItalic.woff") format("woff");
  font-weight: 700;
  font-style: italic;
  font-display: block;
}

html {
  font-size: 100%;
}

body {
  font-family: "Helvetica Neue FD", "Helvetica Neue", Helvetica, Arial, sans-serif;
  font-size: 1rem;
  font-weight: 400;
  font-synthesis: none;
  font-kerning: normal;
  text-rendering: optimizeLegibility;
  -webkit-font-smoothing: antialiased;
  -moz-osx-font-smoothing: grayscale;
  color: #222;
  background: #fff;
}

a {
  color: #0864c7;
  text-decoration-thickness: 0.06em;
  text-underline-offset: 0.12em;
}

a:hover {
  text-decoration: underline;
  text-decoration-thickness: auto;
  text-underline-offset: 0.12em;
}

#menu {
  float: right;
  margin-top: 30px;
  margin-right: 34px;
  text-align: right;
  width: 150px;
  font-family: "Helvetica Neue FD", "Helvetica Neue", Helvetica, Arial, sans-serif;
  line-height: 1.2;
}

#menu .title {
  display: block;
}

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

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

#menu li a:hover {
  text-decoration: underline;
}

#left {
  height: 1px;
  float: left;
  display: block;
  min-width: 0;
  overflow: hidden;
  width: clamp(34px, calc(100vw - 880px), 200px);
  margin: 0;
  padding: 0;
}

#content {
  margin-top: 30px;
  float: left;
  width: 680px;
  max-width: calc(100vw - 250px);
}

#content h1,
#content h2,
#content h3 {
  font-family: "Helvetica Neue FD", "Helvetica Neue", Helvetica, Arial, sans-serif;
  margin: 0;
  color: #111;
}

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

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

#content p,
#content ul,
#content ol {
  line-height: 1.4;
}

#content .note,
.meta {
  font-size: 10px;
  color: #888;
}

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

#content .about-note {
  margin-top: 1em;
}

.experiments-intro {
  margin: 1em 0 1.4em;
  text-align: justify;
  text-align-last: left;
  white-space: pre-line;
}

.intro-subparagraph {
  display: block;
  margin-top: 0.55em;
}

.subtitle {
  margin-top: 0.45em;
}

.entries {
  margin-top: 1em;
  padding-left: 2.4em;
}

.entries li {
  margin-bottom: 0.85em;
}

.entry-title {
  font-weight: bold;
  font-size: 1rem;
  line-height: 1.4;
}

.entry-date {
  color: #777;
  font-size: 1rem;
  margin-left: 0.35em;
}

.entry-description {
  margin: 0.2em 0 0;
  color: #333;
  text-align: justify;
  text-align-last: left;
  white-space: pre-line;
}

.entry-motivation {
  margin: 0.2em 0 0;
  color: #555;
  text-align: justify;
  text-align-last: left;
  white-space: pre-line;
}

.experiment-group {
  margin-top: 1.8em;
  scroll-margin-top: 12px;
}

.experiment-group h2 {
  font-size: 1.14rem;
}

.experiment-group .entries {
  margin-top: 0.75em;
}

.experiment-toc {
  margin: 1em 0 1.6em;
  padding: 0;
  line-height: 1.4;
}

.experiment-toc a {
  display: block;
  width: fit-content;
  margin: 0 0 0.15em;
  text-decoration: none;
}

.experiment-toc a:hover {
  text-decoration: underline;
}

.experiment-toc .toc-count {
  color: #888;
}

.controls {
  margin: 1em 0;
  color: #777;
  font-size: 10px;
}

.controls label {
  margin-right: 0.35em;
}

.controls select {
  border: 1px solid #ccc;
  border-radius: 0;
  padding: 2px 18px 2px 4px;
  font: inherit;
  color: #333;
  background: #fff;
}

.filters {
  margin: 1em 0;
  padding: 0;
}

.filters label {
  display: block;
  max-width: 360px;
  color: #777;
  font-size: 10px;
}

.filters input {
  box-sizing: border-box;
  display: block;
  width: 100%;
  margin-top: 2px;
  border: 1px solid #ccc;
  border-radius: 0;
  padding: 3px 4px;
  font: inherit;
  background: #fff;
}

.papers a {
  overflow-wrap: anywhere;
}

.paper-entry {
  margin-bottom: 1.1em;
}

.paper-preview {
  position: fixed;
  z-index: 10;
  top: 132px;
  display: none;
  box-sizing: border-box;
  width: min(420px, calc(100vw - 40px));
  max-height: calc(100vh - 170px);
  overflow: auto;
  padding: 8px 10px;
  border: 1px solid #ddd;
  background: #fff;
  color: #333;
  box-shadow: 0 2px 8px rgba(0, 0, 0, 0.12);
  line-height: 1.4;
}

.paper-preview.visible {
  display: block;
}

.paper-preview-title {
  margin-bottom: 0.5em;
  font-weight: bold;
}

.paper-preview p {
  margin: 0;
  text-align: justify;
}

.paper-preview p.paper-preview-authors {
  margin-bottom: 0.75em;
  color: #666;
  font-size: 1rem;
}

.paper-preview .katex {
  font-size: 1em;
}

.paper-preview .katex-display {
  margin: 0.55em 0;
  overflow-x: auto;
  overflow-y: hidden;
}

.writing-index {
  margin-top: 1em;
  padding-left: 2.4em;
}

.writing-index li {
  margin-bottom: 0.3em;
}

.writing-post {
  margin-top: 3em;
}

#content .writing-post > h2 {
  font-size: 1.31rem;
  margin-top: 0;
}

#content .writing-post h2:not(:first-child) {
  font-size: 1.14rem;
  margin-top: 2em;
}

.writing-post p {
  max-width: 680px;
  text-align: justify;
}

.writing-post .note,
.writing-post .writing-nav {
  text-align: left;
}

.writing-figure {
  margin: 1.4em 0;
}

.writing-figure img {
  display: block;
  max-width: 100%;
  height: auto;
}

.writing-figure figcaption {
  margin-top: 0.35em;
  color: #777;
  font-size: 10px;
}

.writing-nav {
  margin-top: 3em;
}

@media (max-width: 760px) {
  body {
    font-size: 0.9375rem;
  }

  #menu {
    float: none;
    width: auto;
    margin: 18px 18px 0;
    text-align: left;
  }

  #menu li {
    display: inline;
    margin-right: 10px;
  }

  #left {
    display: none;
  }

  #content {
    float: none;
    width: auto;
    max-width: none;
    margin: 22px 18px 40px;
  }

  .paper-preview {
    position: static;
    width: auto;
    max-height: 240px;
    margin: 1em 0 0 2.4em;
  }
}