@import url('https://fonts.googleapis.com/css2?family=IBM+Plex+Mono:wght@400;500;600&display=swap');

* {
    margin: 0;
    padding: 0;
    box-sizing: border-box;
}

:root {
    --bg: #ffffff;
    --text: #161616;
    --muted: #4a4a4a;
    --line: #e6e6e6;
}

body {
    font-family: "IBM Plex Mono", "SFMono-Regular", Consolas, "Liberation Mono", Menlo, monospace;
    background: var(--bg);
    color: var(--text);
    line-height: 1.65;
    padding-bottom: 60px;
    -webkit-font-smoothing: antialiased;
}

nav {
    border-bottom: 1px solid var(--line);
    background: rgba(255, 255, 255, 0.96);
}

.nav-container {
    max-width: 820px;
    margin: 0 auto;
    padding: 16px 18px;
    display: flex;
    justify-content: space-between;
    align-items: center;
    gap: 12px;
}

.nav-home {
    font-weight: 600;
    text-decoration: none;
    color: var(--text);
    letter-spacing: -0.2px;
    display: inline-flex;
    align-items: center;
    gap: 8px;
}

.nav-dot {
    width: 8px;
    height: 8px;
    border-radius: 50%;
    background: var(--text);
}

.nav-links {
    display: flex;
    flex-wrap: wrap;
    gap: 14px;
}

.nav-links a {
    text-decoration: none;
    color: var(--muted);
    padding: 6px 0;
    border-bottom: 1px solid transparent;
}

.nav-links a:hover,
.nav-links a.active {
    color: var(--text);
    border-bottom-color: var(--text);
}

main {
    max-width: 820px;
    margin: 0 auto;
    padding: 36px 18px 0 18px;
}

a {
    color: var(--text);
}

a:hover {
    color: #000;
}

h1 {
    font-size: 28px;
    letter-spacing: -0.4px;
    margin-bottom: 6px;
}

h2 {
    font-size: 20px;
    margin-bottom: 12px;
    letter-spacing: -0.2px;
}

h3 {
    font-size: 17px;
    margin-bottom: 4px;
    letter-spacing: -0.1px;
}

p {
    margin-bottom: 12px;
}

.subtitle {
    color: var(--muted);
    margin-bottom: 12px;
}

.lede {
    max-width: 760px;
    margin-bottom: 12px;
}

.intro {
    margin-bottom: 20px;
}

.inline-links {
    display: flex;
    gap: 14px;
    flex-wrap: wrap;
    margin-top: 8px;
}

.inline-links a {
    text-decoration: underline;
    text-decoration-thickness: 2px;
    text-underline-offset: 3px;
}

section {
    margin-top: 34px;
}

.timeline-list {
    list-style: none;
    display: grid;
    gap: 18px;
    padding-left: 0;
    position: relative;
}

.timeline-list li {
    display: grid;
    grid-template-columns: 170px 1fr;
    column-gap: 18px;
    position: relative;
    padding: 0;
}

.timeline-list .year {
    color: var(--muted);
    font-weight: 600;
    padding-top: 2px;
}

.entry {
    display: grid;
    gap: 6px;
}

.title {
    font-weight: 600;
    letter-spacing: -0.1px;
}

.subhead {
    font-size: 13px;
    text-transform: uppercase;
    letter-spacing: 0.6px;
    color: var(--muted);
    margin-top: 4px;
}

.responsibilities {
    margin-top: 2px;
    padding-left: 16px;
}

.responsibilities li {
    border: none;
    padding-left: 0;
    list-style: disc;
    white-space: nowrap;
}


.list {
    display: grid;
    gap: 28px;
}

.list-item {
    padding: 18px 0;
    text-decoration: none;
    color: var(--text);
    font-weight: 500;
}

.list-item .meta {
    color: var(--muted);
    font-size: 13px;
    margin-bottom: 8px;
}

.list-item p {
    margin: 0;
    color: var(--muted);
}

.list-item h3 {
    margin: 0 0 4px 0;
    font-weight: 500;
    letter-spacing: -0.05px;
    font-size: 16px;
}

.list-item .link {
    color: #0b5ed7;
    text-decoration: underline;
    text-underline-offset: 3px;
    font-size: 13px;
    font-weight: 500;
    display: inline-block;
}

.list-item h3 .link {
    font-size: 16px;
    font-weight: 500;
}

.dense-list {
    gap: 0;
    margin-bottom: 32px;
}

.dense-list .list-item {
    padding: 0;
}

.grid {
    display: grid;
    gap: 12px;
    grid-template-columns: repeat(auto-fit, minmax(240px, 1fr));
}

.card {
    border: 1px solid var(--line);
    background: #fafafa;
    padding: 14px;
    border-radius: 6px;
    text-decoration: none;
    color: var(--text);
}

.card p {
    color: var(--muted);
    margin: 0;
}

.post {
    max-width: 720px;
    display: grid;
    gap: 16px;
}

.post-title {
    font-size: 24px;
    letter-spacing: -0.2px;
}

.post-meta {
    color: var(--muted);
    font-size: 14px;
}

.post-quote {
    font-style: italic;
    color: var(--muted);
    margin: 6px 0 2px;
}

.post code {
    background: #f4f4f4;
    padding: 2px 6px;
    border-radius: 4px;
    display: inline-block;
}

pre {
    background: #f4f4f4;
    padding: 12px 14px;
    border-radius: 8px;
    overflow-x: auto;
    border: 1px solid #e0e0e0;
}

pre code {
    background: none;
    padding: 0;
}

.math-inline {
    font-family: "Times New Roman", Georgia, serif;
    background: #f9f9f9;
    padding: 2px 6px;
    border-radius: 4px;
}

.math-block {
    display: block;
    font-family: "Times New Roman", Georgia, serif;
    background: #f9f9f9;
    padding: 12px 14px;
    border-radius: 8px;
    border: 1px solid #e0e0e0;
    margin: 10px 0;
    font-size: 16px;
    line-height: 1.4;
    text-align: left;
}

.section-heading {
    margin: 46px 0 16px;
    display: flex;
    flex-direction: column;
    gap: 2px;
}

.section-heading span {
    color: var(--muted);
    font-size: 14px;
}

.video-grid {
    display: grid;
    gap: 12px;
}

.video-meta {
    color: var(--muted);
    font-size: 13px;
}

.page-title {
    font-size: 26px;
    margin-bottom: 4px;
}

.page-intro {
    color: var(--muted);
    margin-bottom: 12px;
}

footer {
    max-width: 820px;
    margin: 40px auto 0 auto;
    padding: 18px;
    border-top: 1px solid var(--line);
    color: var(--muted);
    font-size: 14px;
}

@media (max-width: 720px) {
    .nav-container {
        flex-direction: column;
        align-items: flex-start;
    }
}