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);
  text-decoration: underline;
}
a:hover {
  color: rgba(0, 0, 0, 0.5);
  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 {
  box-sizing: border-box;
  max-width: 732px;
  margin: 0 auto;
  padding-left: 16px;
  padding-right: 16px;
  width: 100%;
}
.mono {
  font-family: monospace;
}
.nav {
  margin-top: 15px;
  margin-bottom: 15px;
  line-height: 24px;
  /* Matches publications nav line-height. */
}
.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.wrap {
  padding-left: 16px;
  padding-right: 16px;
}

.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);
}
.front-matter h4 {
  font-family: -apple-system, Helvetica, arial, sans-serif;
}
.front-matter .bylines .byline {
  margin-right: 20px;
  float: left;
}
.front-matter .bylines .byline h3,
.front-matter .bylines .byline p {
  margin: 0;
  font-family: -apple-system, Helvetica, arial, sans-serif;
}
.front-matter .bylines .byline h3 {
  font-size: 9px;
  text-transform: uppercase;
  color: rgba(0, 0, 0, 0.5);
}
.front-matter .bylines .byline p {
  font-size: 10px;
  line-height: 1.6em;
}
.front-matter-image {
  background-size: 100%;
}
.front-matter-image img {
  width: 100%;
}
.front-matter-image h4 {
  font-family: -apple-system, Helvetica, arial, sans-serif;
}
.front-matter-image .bylines .byline {
  margin-right: 20px;
  float: left;
}
.front-matter-image .bylines .byline h3,
.front-matter-image .bylines .byline p {
  margin: 0;
  font-family: -apple-system, Helvetica, arial, sans-serif;
}
.front-matter-image .bylines .byline h3 {
  font-size: 9px;
  text-transform: uppercase;
  color: rgba(0, 0, 0, 0.5);
}
.front-matter-image .bylines .byline p {
  font-size: 10px;
  line-height: 1.6em;
}
.img-left {
  float: left;
  width: 49%;
}
.img-right {
  float: right;
  width: 49%;
}
table {
  font-size: 14px;
  margin: 22px auto;
  border-collapse: collapse;
  border-top: 2px solid black;
  border-bottom: 1px solid black;
}
table thead > tr > th {
  border-bottom: 1px solid black;
  padding: 2px 10px;
  text-align: center;
}
table td {
  padding: 3px 10px;
  text-align: center;
}
.tag-page h1 span {
  font-size: 14px;
}
.article {
  font-size: 15px;
  line-height: 1.6em;
  color: rgba(0, 0, 0, 0.8);
  margin-top: 50px;
  margin-bottom: 50px;
  overflow-wrap: break-word;
}

.post-toc {
  display: none;
}

@media (min-width: 1320px) {
  .post-body.has-toc {
    display: grid;
    grid-template-columns: 220px minmax(0, 732px) 220px;
    column-gap: 34px;
    max-width: 1240px;
    margin: 0 auto;
    align-items: start;
  }

  .post-body.has-toc .article.wrap {
    grid-column: 2;
    width: 100%;
    margin-left: 0;
    margin-right: 0;
  }

  .post-body.has-toc .post-toc {
    display: block;
    grid-column: 3;
    grid-row: 1;
    position: sticky;
    top: 28px;
    margin-top: 50px;
    width: 220px;
    max-height: calc(100vh - 56px);
    overflow: auto;
    color: rgba(0, 0, 0, 0.34);
    font-size: 11px;
    line-height: 1.35em;
    transition: color 140ms ease;
  }

  .post-toc:hover,
  .post-toc:focus-within {
    color: rgba(0, 0, 0, 0.68);
  }

  .post-toc p {
    margin: 0 0 9px;
    color: rgba(0, 0, 0, 0.42);
    font-size: 9px;
    font-weight: 700;
    letter-spacing: 0.04em;
    text-transform: uppercase;
  }

  .post-toc nav {
    border-left: 1px solid rgba(0, 0, 0, 0.1);
  }

  .post-toc a {
    display: block;
    padding: 4px 0 4px 11px;
    color: inherit;
    text-decoration: none;
    border-left: 1px solid transparent;
    transform: translateX(-1px);
    transition: border-color 140ms ease, color 140ms ease, padding-left 140ms ease;
  }

  .post-toc a:hover,
  .post-toc a:focus {
    color: rgba(0, 0, 0, 0.82);
    border-left-color: rgba(37, 99, 235, 0.7);
    padding-left: 14px;
  }
}
.article blockquote {
  margin: 0;
  padding: 0 1em;
  color: #777;
  border-left: 0.25em solid #ddd;
}
.article h2 {
  font-size: 26px;
  border-bottom: 1px solid rgba(0, 0, 0, 0.2);
  padding-bottom: 1rem;
  padding-top: 1em;
}
.article .figure-no-caption {
  margin-bottom: 40px;
  margin-top: 40px;
}
.article .figure-no-caption .caption {
  padding-top: 15px;
  color: rgba(0, 0, 0, 0.8);
  display: inline-block;
  font-size: 12px;
  line-heigh: 1.2em;
}
.article .figure {
  border-top: 1px solid hsla(0, 0%, 0%, 0.2);
  border-bottom: 1px solid hsla(0, 0%, 0%, 0.2);
  padding: 20px 0;
}
.article .figure .caption {
  padding-top: 15px;
  display: inline-block;
  font-size: 13px;
  line-heigh: 1.2em;
}
.article .figure .caption-label {
  font-weight: bold;
}
.article .footnote {
  line-height: 0;
}
.article div.highlight {
  border-top: 1px solid rgba(0, 0, 0, 0.2);
  border-bottom: 1px solid rgba(0, 0, 0, 0.2);
  font-size: 13px;
  line-height: 1.3em;
}
.article ul {
  padding: 0 15px;
}

.article pre,
.article table {
  max-width: 100%;
  overflow-x: auto;
}

.article pre {
  box-sizing: border-box;
  margin: 20px auto;
  padding: 13px 15px;
  white-space: pre;
  background: #f8f8f6;
  border: 1px solid rgba(0, 0, 0, 0.16);
  border-radius: 4px;
  box-shadow: none;
  color: rgba(0, 0, 0, 0.78);
  font-size: 13px;
  line-height: 1.45em;
}

.article table {
  display: block;
  width: max-content;
  margin: 22px auto;
}

.article table th,
.article table td {
  text-align: center;
  vertical-align: middle;
}

.article table.numeric-table th:first-child,
.article table.numeric-table td:first-child,
.article table.size-table th:first-child,
.article table.size-table td:first-child,
.article table.visited-table th:first-child,
.article table.visited-table td:first-child {
  text-align: left;
}

.article table.numeric-table th:not(:first-child),
.article table.numeric-table td:not(:first-child),
.article table.size-table th:last-child,
.article table.size-table td:last-child,
.article table.visited-table th:last-child,
.article table.visited-table td:last-child {
  text-align: right;
  font-variant-numeric: tabular-nums;
}

.article table .anchor-row td {
  font-weight: 650;
}

.article p code,
.article li code,
.article figcaption code,
.article table code {
  padding: 0.08em 0.24em;
  border-radius: 3px;
  background: rgba(0, 0, 0, 0.045);
}

.article a,
.article code {
  overflow-wrap: anywhere;
}

.katex-display {
  overflow-x: auto;
  overflow-y: hidden;
  padding: 2px 0;
}
#bibliography {
  border-top: 1px solid rgba(0, 0, 0, 0.1);
}
#bibliography ol.bibliography {
  padding-left: 15px;
  padding-top: 30px;
  font-size: 12px;
  color: rgba(0, 0, 0, 0.5);
}
#blog,
.tag-page {
  margin-top: 80px;
  margin-bottom: 100px;
}
#blog #intro,
.tag-page #intro {
  font-size: 14px;
  font-style: italic;
  line-height: 1.4em;
  margin-bottom: 40px;
}
#blog .quote,
.tag-page .quote {
  margin-bottom: 30px;
}
#blog .quote p,
.tag-page .quote p {
  margin-bottom: 5px;
}
#blog .post-date,
.tag-page .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,
.tag-page .post-title {
  display: inline-block;
  font-weight: bold;
  margin-bottom: 0;
}
#blog .post-title a,
.tag-page .post-title a {
  font-size: 18px;
  text-decoration: none;
}
#blog .post-title a:hover,
.tag-page .post-title a:hover {
  text-decoration: underline;
}
#blog .post-subtitle,
.tag-page .post-subtitle {
  font-size: 14px;
  margin-top: 0;
  margin-bottom: 25px;
  line-height: 1.5em;
}
#blog .year,
.tag-page .year {
  font-size: 18px;
  position: relative;
  right: 100px;
  color: rgba(0, 0, 0, 0.5);
  width: 100px;
  margin-bottom: -24px;
}
#blog #y2017.year,
.tag-page #y2017.year,
#blog #y2018.year,
.tag-page #y2018.year {
  margin-top: 0px;
}
#blog ul#tag-nav,
.tag-page ul#tag-nav {
  padding: 0 0 30px 0;
  line-height: 1.3em;
}
#blog ul#tag-nav span,
.tag-page ul#tag-nav span {
  font-size: 14px;
  display: inline-block;
  padding-right: 15px;
}
#blog ul#tag-nav li,
.tag-page ul#tag-nav li {
  display: inline;
  padding-right: 10px;
}
#blog ul#tag-nav li a,
.tag-page ul#tag-nav li a {
  font-size: 14px;
  font-weight: bold;
  text-decoration: none;
}
#blog #more,
.tag-page #more {
  font-size: 15px;
  padding-top: 40px;
}
#blog #more a,
.tag-page #more a {
  font-weight: bold;
}
.tag-page h2 {
  font-size: 26px;
  border-bottom: 1px solid rgba(0, 0, 0, 0.2);
  padding-bottom: 1rem;
  padding-top: 1em;
}
.footnotes {
  margin-top: 100px;
  font-size: 12px;
  border-top: 1px solid rgba(0, 0, 0, 0.1);
}
@media screen and (max-width: 700px) {
  body {
    margin: 0;
  }
  .front-matter-image {
    display: none;
  }

  .wrap {
    padding-left: 16px;
    padding-right: 16px;
  }

  .front-matter {
    padding: 16px 0;
  }

  .front-matter h1 {
    font-size: 24px;
  }

  .front-matter h4 {
    margin-bottom: 12px;
  }

  .article {
    margin-top: 36px;
    margin-bottom: 70px;
  }

  .article h2 {
    font-size: 22px;
    margin-top: 34px;
  }

  .article .lead {
    font-size: 16px;
  }

  #blog,
  .tag-page {
    margin-top: 56px;
    margin-bottom: 70px;
  }

  #blog .year,
  .tag-page .year {
    position: static;
    width: auto;
    margin-bottom: 0;
  }
}

.article .errimg {
  text-align: center;
}

.article .figure.errimg {
  margin: 32px 0;
  padding: 16px 0;
  border-top: 1px solid hsla(0, 0%, 0%, 0.16);
  border-bottom: 1px solid hsla(0, 0%, 0%, 0.16);
}

.article .figure.errimg p {
  margin: 0;
}

.article .figure.errimg p + p {
  margin-top: 10px;
}

.article .figure.errimg img {
  display: block;
  width: 100%;
  max-height: 680px;
  object-fit: contain;
  border: 1px solid rgba(0, 0, 0, 0.13);
  background: #f8f8f6;
}

.article .figure.errimg em {
  color: rgba(0, 0, 0, 0.58);
  font-size: 13px;
}

.article img {
  max-width: 100%;
  height: auto;
}

.article .lead {
  font-size: 17px;
  line-height: 1.55em;
  color: rgba(0, 0, 0, 0.78);
  margin-bottom: 28px;
}

.article .thesis-callout {
  margin: 28px 0;
  padding: 2px 0 2px 16px;
  background: transparent;
  border-left: 2px solid rgba(37, 99, 235, 0.62);
  border-radius: 0;
}

.article .thesis-callout p {
  margin: 0 0 8px;
}

.article .thesis-callout p:last-child {
  margin-bottom: 0;
}

.article h2 {
  border-bottom: none;
  padding-bottom: 0;
  padding-top: 0;
  margin-top: 42px;
  margin-bottom: 14px;
}

.article h3,
.article h4 {
  margin-top: 34px;
  margin-bottom: 10px;
}

.article .note,
.article .orange-block {
  padding: 10px 16px;
  border-radius: 4px;
  background: #fdf4e6;
  border: 1px solid #e5e5e1;
  border-left: 4px solid #ef821f;
  margin-top: 18px;
  margin-bottom: 22px;
}

.article .note p,
.article .orange-block p {
  margin-top: 0.5em;
  margin-bottom: 0.5em;
}

.article figure {
  margin: 34px 0;
  padding: 18px 0;
  border-top: 1px solid hsla(0, 0%, 0%, 0.16);
  border-bottom: 1px solid hsla(0, 0%, 0%, 0.16);
}

.article figcaption {
  display: inline-block;
  padding-top: 12px;
  font-size: 13px;
  line-height: 1.35em;
  color: rgba(0, 0, 0, 0.64);
}

.article .diagram-caption {
  margin-top: -18px;
  margin-bottom: 28px;
  color: rgba(0, 0, 0, 0.64);
  font-size: 13px;
  line-height: 1.35em;
}

.article details {
  border: 1px solid rgba(0, 0, 0, 0.14);
  border-radius: 4px;
  margin: 24px 0;
  padding: 10px 14px;
  background: rgba(0, 0, 0, 0.015);
}

.article summary {
  cursor: pointer;
  font-weight: bold;
}

.article details pre {
  margin-top: 12px;
}

.article .algorithm-figure {
  margin: 32px 0;
  padding: 14px 0 16px;
  border-top: 1px solid rgba(0, 0, 0, 0.16);
  border-bottom: 1px solid rgba(0, 0, 0, 0.16);
  overflow-x: auto;
}

.article .algorithm-figure svg {
  display: block;
  width: 100%;
  height: auto;
  max-width: 760px;
  margin: 0 auto;
}

.article .technical-diagram text {
  fill: rgba(0, 0, 0, 0.78);
  font-family: -apple-system, Helvetica, arial, sans-serif;
  font-size: 14px;
  text-rendering: geometricPrecision;
}

.article .technical-diagram .diagram-title {
  font-size: 18px;
  font-weight: 700;
}

.article .technical-diagram .diagram-subtitle,
.article .technical-diagram .small-label {
  fill: rgba(0, 0, 0, 0.58);
  font-size: 12px;
}

.article .technical-diagram .card rect,
.article .technical-diagram .pill,
.article .technical-diagram .band {
  stroke-width: 1.15;
  vector-effect: non-scaling-stroke;
}

.article .technical-diagram .card rect {
  fill: rgba(248, 250, 252, 0.96);
  stroke: rgba(51, 65, 85, 0.24);
}

.article .technical-diagram .blue-card rect {
  fill: rgba(219, 234, 254, 0.78);
  stroke: rgba(37, 99, 235, 0.38);
}

.article .technical-diagram .green-card rect {
  fill: rgba(220, 252, 231, 0.78);
  stroke: rgba(22, 101, 52, 0.32);
}

.article .technical-diagram .amber-card rect {
  fill: rgba(254, 243, 199, 0.82);
  stroke: rgba(180, 83, 9, 0.32);
}

.article .technical-diagram .slate-card rect {
  fill: rgba(241, 245, 249, 0.92);
  stroke: rgba(51, 65, 85, 0.32);
}

.article .technical-diagram .flow {
  fill: none;
  stroke: #2563eb;
  stroke-linecap: round;
  stroke-linejoin: round;
  stroke-width: 2.1;
  vector-effect: non-scaling-stroke;
}

.article .technical-diagram .muted-flow {
  fill: none;
  stroke: rgba(51, 65, 85, 0.42);
  stroke-linecap: round;
  stroke-linejoin: round;
  stroke-width: 1.35;
  vector-effect: non-scaling-stroke;
}

.article .technical-diagram .dashed {
  stroke-dasharray: 6 6;
}

.article .technical-diagram .amber-flow {
  stroke: rgba(180, 83, 9, 0.72);
}

.article .technical-diagram .lane {
  stroke: rgba(0, 0, 0, 0.11);
  stroke-width: 1;
  vector-effect: non-scaling-stroke;
}

.article .technical-diagram .pill {
  fill: rgba(255, 255, 255, 0.92);
  stroke: rgba(51, 65, 85, 0.22);
}

.article .technical-diagram .accent-dot {
  fill: #2563eb;
}

.article .hnsw-figure text {
  fill: rgba(0, 0, 0, 0.78);
  font-family: -apple-system, Helvetica, arial, sans-serif;
  font-size: 16px;
  text-rendering: geometricPrecision;
}

.article .hnsw-figure .diagram-title {
  font-size: 19px;
  font-weight: 700;
}

.article .hnsw-figure .diagram-subtitle,
.article .hnsw-figure .small,
.article .hnsw-figure .legend {
  fill: rgba(0, 0, 0, 0.58);
  font-size: 13px;
}

.article .hnsw-figure .panel-label {
  font-size: 15px;
  font-weight: 700;
}

.article .hnsw-figure .layer-label {
  font-size: 13px;
  font-weight: 600;
}

.article .hnsw-figure .tiny-label {
  fill: rgba(0, 0, 0, 0.55);
  font-size: 11px;
  letter-spacing: 0.02em;
  text-transform: uppercase;
}

.article .hnsw-figure .flow-arrow {
  fill: none;
  stroke-width: 2.2;
  vector-effect: non-scaling-stroke;
}

.article .hnsw-figure .flow-arrow.blue {
  stroke: #2f6f8f;
}

.article .hnsw-figure .flow-arrow.red,
.article .hnsw-figure .search-path {
  fill: none;
  stroke: #a65345;
  stroke-width: 2.4;
  vector-effect: non-scaling-stroke;
}

.article .hnsw-figure .search-path {
  stroke-dasharray: 5 5;
}

.article .hnsw-layered-figure .plane {
  fill: rgba(255, 255, 255, 0.9);
  stroke: rgba(0, 0, 0, 0.66);
  stroke-linejoin: round;
  stroke-width: 1.55;
  vector-effect: non-scaling-stroke;
}

.article .hnsw-layered-figure .plane.upper {
  fill: rgba(248, 250, 255, 0.9);
}

.article .hnsw-layered-figure .plane.middle {
  fill: rgba(248, 253, 255, 0.9);
}

.article .hnsw-layered-figure .plane.base {
  fill: rgba(249, 255, 251, 0.92);
}

.article .hnsw-layered-figure .edges line {
  stroke: rgba(0, 0, 0, 0.35);
  stroke-width: 1.05;
  vector-effect: non-scaling-stroke;
}

.article .hnsw-layered-figure .layer-guides line {
  stroke: rgba(0, 0, 0, 0.11);
  stroke-width: 1;
  vector-effect: non-scaling-stroke;
}

.article .hnsw-layered-figure .drop-link {
  stroke: rgba(0, 0, 0, 0.28);
  stroke-dasharray: 4 5;
  stroke-width: 0.95;
  vector-effect: non-scaling-stroke;
}

.article .hnsw-layered-figure .candidate-region {
  fill: rgba(219, 234, 254, 0.34);
  stroke: rgba(37, 99, 235, 0.34);
  stroke-dasharray: 6 5;
  stroke-width: 1.05;
  vector-effect: non-scaling-stroke;
}

.article .hnsw-layered-figure .route,
.article .hnsw-layered-figure .query-arrow {
  fill: none;
  stroke: #1d4ed8;
  stroke-linecap: round;
  stroke-linejoin: round;
  stroke-width: 2.45;
  vector-effect: non-scaling-stroke;
}

.article .hnsw-layered-figure .query-arrow {
  stroke-width: 1.9;
}

.article .hnsw-layered-figure .node {
  fill: #f8fbff;
  stroke: rgba(0, 0, 0, 0.58);
  stroke-width: 1.35;
  vector-effect: non-scaling-stroke;
}

.article .hnsw-layered-figure .node.entry {
  fill: #1d4ed8;
}

.article .hnsw-layered-figure .node.route-node {
  fill: #dbeafe;
  stroke: rgba(29, 78, 216, 0.76);
}

.article .hnsw-layered-figure .node.target,
.article .hnsw-layered-figure .legend-target {
  fill: #facc15;
  stroke: rgba(0, 0, 0, 0.58);
  stroke-width: 1.1;
  vector-effect: non-scaling-stroke;
}

.article .hnsw-layered-figure .node.neighbor {
  fill: #1d4ed8;
}

.article .hnsw-layered-figure .query-vector {
  fill: #facc15;
  stroke: rgba(0, 0, 0, 0.6);
  stroke-width: 1.35;
  vector-effect: non-scaling-stroke;
}

.article .hnsw-layered-figure .annotation,
.article .hnsw-layered-figure .plane-label,
.article .hnsw-layered-figure .legend {
  fill: rgba(0, 0, 0, 0.62);
  font-size: 13px;
}

.article .hnsw-layered-figure .plane-label {
  font-weight: 700;
}

.article .hnsw-layered-figure .annotation.emphasis {
  fill: #1d4ed8;
  font-size: 18px;
  font-style: italic;
  font-weight: 600;
}

.article .hnsw-layered-figure .annotation-arrow {
  fill: none;
  stroke: #1d4ed8;
  stroke-linecap: round;
  stroke-width: 1.6;
  vector-effect: non-scaling-stroke;
}

.article .hnsw-layered-figure .legend-route {
  fill: #1d4ed8;
}

.article .hnsw-layered-figure .mono {
  font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
}

.article .hnsw-layered-figure .perspective-planes polygon {
  fill: rgba(100, 116, 139, 0.045);
  stroke: #334155;
  stroke-linejoin: round;
  stroke-width: 1.75;
  vector-effect: non-scaling-stroke;
}

.article .hnsw-layered-figure .perspective-labels text {
  fill: rgba(51, 65, 85, 0.72);
  font-size: 18px;
  font-style: italic;
}

.article .hnsw-layered-figure .structural-links line {
  stroke: rgba(100, 116, 139, 0.48);
  stroke-dasharray: 3 7;
  stroke-width: 1.15;
  vector-effect: non-scaling-stroke;
}

.article .hnsw-layered-figure .perspective-edges line {
  stroke: rgba(100, 116, 139, 0.8);
  stroke-width: 1.25;
  vector-effect: non-scaling-stroke;
}

.article .hnsw-layered-figure .perspective-nodes ellipse {
  stroke-width: 1.45;
  vector-effect: non-scaling-stroke;
}

.article .hnsw-layered-figure .expanded-node ellipse {
  fill: #dbeafe;
  stroke: #3b82f6;
}

.article .hnsw-layered-figure .plain-node ellipse {
  fill: #fff;
  stroke: #475569;
}

.article .hnsw-layered-figure .solid-node ellipse {
  fill: #2563eb;
  stroke: #1e40af;
}

.article .hnsw-layered-figure .search-path line,
.article .hnsw-layered-figure .descent-path line {
  fill: none;
  stroke: #2563eb;
  stroke-linecap: round;
  stroke-linejoin: round;
  stroke-width: 2.15;
  stroke-dasharray: none;
  vector-effect: non-scaling-stroke;
}

.article .hnsw-layered-figure .descent-path line {
  stroke-dasharray: 5 6;
}

.article .hnsw-layered-figure .query-callout {
  fill: none;
  stroke: #334155;
  stroke-linecap: round;
  stroke-width: 1.55;
  vector-effect: non-scaling-stroke;
}

.article .hnsw-layered-figure .perspective-annotations path {
  fill: none;
  stroke: #2563eb;
  stroke-linecap: round;
  stroke-width: 1.75;
  vector-effect: non-scaling-stroke;
}

.article .hnsw-layered-figure .perspective-annotations text {
  fill: rgba(30, 64, 175, 0.86);
  font-size: 22px;
  font-weight: 650;
}

.article .hnsw-layered-figure .perspective-annotations .query-label {
  fill: rgba(113, 63, 18, 0.9);
  font-size: 20px;
}

.article .hnsw-layered-figure .perspective-annotations .candidate-label {
  fill: rgba(51, 65, 85, 0.74);
  font-size: 18px;
  font-weight: 600;
}

.article .pipeline-figure {
  margin: 32px 0;
  padding: 14px 0 16px;
  border-top: 1px solid rgba(0, 0, 0, 0.16);
  border-bottom: 1px solid rgba(0, 0, 0, 0.16);
  overflow-x: auto;
}

.article .pipeline-figure svg {
  display: block;
  width: 100%;
  height: auto;
  max-width: 760px;
  margin: 0 auto;
}

.article .sq4-pipeline text {
  fill: rgba(0, 0, 0, 0.78);
  font-family: -apple-system, Helvetica, arial, sans-serif;
  font-size: 14px;
}

.article .sq4-pipeline .pipeline-title {
  font-size: 19px;
  font-weight: 700;
}

.article .sq4-pipeline .pipeline-subtitle,
.article .sq4-pipeline .lane-label,
.article .sq4-pipeline .card-sub,
.article .sq4-pipeline .bar-label {
  fill: rgba(0, 0, 0, 0.58);
  font-size: 12px;
}

.article .sq4-pipeline .lane {
  stroke: rgba(0, 0, 0, 0.13);
  stroke-width: 1;
  vector-effect: non-scaling-stroke;
}

.article .sq4-pipeline .pipeline-card rect,
.article .sq4-pipeline .heap-mini rect {
  stroke-width: 1.2;
  vector-effect: non-scaling-stroke;
}

.article .sq4-pipeline .f32-card rect {
  fill: rgba(232, 239, 255, 0.92);
  stroke: rgba(29, 78, 216, 0.42);
}

.article .sq4-pipeline .quant-card rect {
  fill: rgba(254, 243, 199, 0.95);
  stroke: rgba(180, 83, 9, 0.42);
}

.article .sq4-pipeline .sq4-card rect {
  fill: rgba(220, 252, 231, 0.95);
  stroke: rgba(22, 101, 52, 0.42);
}

.article .sq4-pipeline .heap-mini rect {
  fill: rgba(245, 245, 244, 0.95);
  stroke: rgba(0, 0, 0, 0.18);
}

.article .sq4-pipeline .rescore-card rect {
  fill: rgba(236, 253, 245, 0.96);
  stroke: rgba(20, 83, 45, 0.5);
}

.article .sq4-pipeline .pipeline-flow {
  fill: none;
  stroke: #2f6f8f;
  stroke-linecap: round;
  stroke-linejoin: round;
  stroke-width: 2.2;
  vector-effect: non-scaling-stroke;
}

.article .sq4-pipeline .bar.f32 {
  fill: rgba(29, 78, 216, 0.44);
}

.article .sq4-pipeline .bar.sq4 {
  fill: rgba(22, 163, 74, 0.58);
}

.article .metric-strip {
  display: grid;
  grid-template-columns: repeat(4, minmax(0, 1fr));
  gap: 1px;
  margin: 24px 0 18px;
  overflow: hidden;
  border: 1px solid rgba(0, 0, 0, 0.16);
  border-radius: 4px;
  background: rgba(0, 0, 0, 0.12);
}

.article .metric-strip div {
  background: #fbfaf7;
  padding: 12px 14px 11px;
}

.article .metric-strip span {
  display: block;
  margin-bottom: 5px;
  color: rgba(0, 0, 0, 0.55);
  font-size: 11px;
  line-height: 1.2em;
  text-transform: uppercase;
}

.article .metric-strip strong {
  display: block;
  color: rgba(0, 0, 0, 0.82);
  font-size: 20px;
  font-weight: 600;
  line-height: 1.1em;
}

.article .perf-chart {
  margin: 30px 0;
  padding: 14px 0 16px;
  border-top: 1px solid rgba(0, 0, 0, 0.16);
  border-bottom: 1px solid rgba(0, 0, 0, 0.16);
}

.article .perf-chart svg {
  display: block;
  width: 100%;
  height: auto;
  max-width: 680px;
  margin: 0 auto;
  overflow: visible;
}

.article .perf-chart .grid line {
  stroke: rgba(0, 0, 0, 0.09);
  stroke-width: 1;
  vector-effect: non-scaling-stroke;
}

.article .perf-chart .axis line {
  stroke: rgba(0, 0, 0, 0.62);
  stroke-width: 1.25;
  vector-effect: non-scaling-stroke;
}

.article .perf-chart .ticks text,
.article .perf-chart .x-label,
.article .perf-chart .y-label {
  fill: rgba(0, 0, 0, 0.55);
  font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  font-size: 12px;
}

.article .perf-chart .curve {
  fill: none;
  stroke: #1f6f8b;
  stroke-linecap: round;
  stroke-linejoin: round;
  stroke-width: 2.4;
  vector-effect: non-scaling-stroke;
}

.article .perf-chart .points circle {
  fill: #fbfaf7;
  stroke: #1f6f8b;
  stroke-width: 2.2;
  vector-effect: non-scaling-stroke;
}

.article .perf-chart .point-labels text {
  fill: rgba(0, 0, 0, 0.76);
  font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  font-size: 12px;
}

.article .perf-chart figcaption code {
  font-size: 12px;
}

.article .rough-diagram {
  background: rgba(37, 99, 235, 0.035);
  border: 1px solid rgba(37, 99, 235, 0.16);
  border-left: 3px solid rgba(37, 99, 235, 0.42);
  border-radius: 4px;
  box-shadow: none;
  margin: 24px 0;
  padding: 12px 14px;
  transform: none;
}

.article .rough-diagram pre {
  background: transparent;
  border: 0;
  margin: 0;
  padding: 4px 2px;
  white-space: pre;
}

.article .rough-diagram code {
  color: rgba(0, 0, 0, 0.78);
  font-size: 13px;
  line-height: 1.35em;
}

.article .mermaid {
  background: transparent;
  border-top: 1px solid hsla(0, 0%, 0%, 0.16);
  border-bottom: 1px solid hsla(0, 0%, 0%, 0.16);
  border-left: 0;
  border-right: 0;
  border-radius: 0;
  box-shadow: none;
  margin: 30px 0 22px;
  overflow-x: auto;
  padding: 18px 0;
  text-align: center;
  transform: none;
}

.article .mermaid svg {
  display: block;
  height: auto !important;
  margin: 0 auto;
  max-width: 100%;
}

#blog .post-subtitle,
.tag-page .post-subtitle {
  margin-bottom: 18px;
}

#blog .post-date,
.tag-page .post-date {
  margin-top: 2px;
  margin-bottom: 2px;
}

@media screen and (max-width: 420px) {
  html {
    font-size: 14px;
  }

  .wrap {
    padding-left: 14px;
    padding-right: 14px;
  }

  .nav ul li {
    margin-right: 8px;
  }

  .nav ul.wrap {
    padding-left: 14px;
    padding-right: 14px;
  }

  #blog .post-title a,
  .tag-page .post-title a {
    font-size: 17px;
  }

  .article .metric-strip {
    grid-template-columns: repeat(2, minmax(0, 1fr));
  }

  .article .metric-strip strong {
    font-size: 18px;
  }
}