@import url("https://fonts.googleapis.com/css2?family=JetBrains+Mono:wght@400;700&display=swap");

:root {
  --bg: rgb(48, 56, 65);
  --fg: rgb(217, 222, 233);
  --link: rgb(102, 153, 204);
  --visited: rgb(183, 139, 185);
  --rule: rgb(90, 101, 113);
  --muted: rgb(180, 189, 204);
  --post-h2: rgb(255, 205, 102);
  --post-h3: rgb(128, 214, 255);
  --post-heading-rule: rgb(107, 120, 136);
  --post-strong: rgb(232, 236, 245);
}

html {
  font-family: "JetBrains Mono", "SFMono-Regular", Menlo, Monaco, Consolas, "Liberation Mono", monospace;
  font-size: 18px;
  background-color: var(--bg);
  color: var(--fg);
}

body {
  margin: 0;
  min-height: 100vh;
  line-height: 1.5;
}

a:link {
  color: var(--link);
  text-decoration: none;
}

a:visited {
  color: var(--link);
  text-decoration: none;
}

a:hover {
  text-decoration: none;
}

.page-shell {
  width: min(1200px, calc(100% - 3rem));
  margin: 1.8rem auto 3rem;
}

.site-header {
  margin-bottom: 2.25rem;
}

.site-header-row {
  display: flex;
  align-items: baseline;
  justify-content: space-between;
  gap: 1.2rem;
  border-bottom: 1px solid var(--rule);
  padding-bottom: 0.8rem;
}

.site-title {
  color: var(--fg);
  text-decoration: none;
  font-size: 1.05rem;
}

.site-nav {
  display: flex;
  gap: 1rem;
}

.site-nav a {
  text-decoration: none;
}

.site-nav a[aria-current="page"] {
  text-decoration: underline;
  text-underline-offset: 0.2rem;
}

h1,
h2,
h3 {
  font-weight: 700;
  line-height: 1.25;
}

h1 {
  font-size: 2.3rem;
  margin: 0 0 0.9rem;
}

h2 {
  margin: 2.2rem 0 0.4rem;
  font-size: 1.5rem;
}

h3 {
  margin: 1.35rem 0 0.45rem;
  font-size: 1.1rem;
}

hr {
  border: none;
  border-top: 1px solid var(--rule);
  margin: 0.45rem 0 1rem;
}

p {
  margin: 0 0 0.95rem;
}

ul {
  margin-top: 0.5rem;
  padding-left: 1.2rem;
}

li:not(:last-child) {
  margin-bottom: 15px;
}

.lead {
  color: var(--muted);
}

.post-list {
  list-style: none;
  padding-left: 0;
}

.publication-list {
  padding-left: 1.2rem;
}

.publication-list li {
  margin-bottom: 1rem;
}

.publication-list p {
  margin: 0;
}

.publication-note {
  font-style: italic;
  color: var(--muted);
  margin-top: -0.4rem;
  margin-bottom: 0.75rem;
}

.title,
.authors,
.venue {
  display: block;
  margin-top: 0.25rem;
  margin-bottom: 0.25rem;
}

.title {
  font-weight: 700;
}

.authors {
  color: var(--fg);
}

.authors sup {
  font-size: 0.72em;
  line-height: 0;
  vertical-align: super;
  margin-left: 1px;
}

.venue {
  color: var(--muted);
  font-style: italic;
}

.social-links {
  margin-top: 2rem;
}

.post-list li {
  border-bottom: 1px solid var(--rule);
  padding-bottom: 0.9rem;
}

.post-date,
.post-meta {
  color: var(--muted);
  font-size: 0.95rem;
}

.post-authors {
  color: var(--fg);
  font-size: 0.98rem;
  margin: 0.35rem 0 0;
}

.post-authors sup {
  font-size: 0.72em;
  line-height: 0;
  vertical-align: super;
  margin-left: 1px;
}

.post-header {
  margin-bottom: 1.2rem;
}

.post {
  max-width: 980px;
  margin: 0 auto;
}

.post-content {
  line-height: 1.6;
}

.post-content h2 {
  margin-top: 1.8rem;
  margin-bottom: 0.65rem;
  color: var(--post-h2) !important;
  background: rgba(255, 205, 102, 0.1);
  border-left: 4px solid var(--post-h2);
  border-bottom: 1px solid var(--post-heading-rule);
  padding: 0.18rem 0.55rem;
}

.post-content h3 {
  margin-top: 1.4rem;
  margin-bottom: 0.55rem;
  color: var(--post-h3) !important;
  background: rgba(128, 214, 255, 0.08);
  border-left: 3px solid var(--post-h3);
  padding: 0.12rem 0.5rem;
}

.post-content p,
.post-content ul,
.post-content ol {
  margin-bottom: 1rem;
}

.post-content strong {
  color: var(--post-strong);
}

.post-content figure {
  margin: 1.3rem 0;
}

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

.post-content code {
  font-size: 0.92em;
}

.post-content source {
  display: none;
}

@media (max-width: 800px) {
  html {
    font-size: 16px;
  }

  .page-shell {
    width: calc(100% - 1.6rem);
    margin-top: 1.2rem;
  }

  .site-header-row {
    align-items: flex-start;
    flex-direction: column;
    gap: 0.45rem;
  }
}