@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-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;
}

.timeline-note {
    margin-bottom: 4px;
}

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;
}

.timeline-lines {
    margin-top: 2px;
    line-height: 1.32;
}


.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;
}

.muted-note {
    color: var(--muted);
    font-size: 14px;
    font-weight: 400;
}

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

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

.post-list {
    display: grid;
    gap: 34px;
    margin-top: 28px;
}

.post-list-date {
    color: var(--muted);
    font-size: 14px;
    margin-bottom: 8px;
}

.post-list-item a {
    font-size: 19px;
    font-weight: 500;
    letter-spacing: -0.35px;
    line-height: 1.35;
    text-decoration: none;
}

.post-list-item a:hover {
    text-decoration: underline;
    text-underline-offset: 3px;
}

.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 h2 {
    font-size: 18px;
    margin: 16px 0 0;
}

.post h3 {
    font-size: 15px;
    margin: 8px 0 0;
}

.post ol,
.post ul {
    margin: 0;
    padding-left: 0;
}

.post li {
    white-space: normal;
}

.post ol {
    counter-reset: post-list;
    display: grid;
    gap: 4px;
    list-style: none;
}

.post ol li {
    counter-increment: post-list;
    display: grid;
    grid-template-columns: 24px 1fr;
}

.post ol li::before {
    content: counter(post-list) ".";
    color: var(--muted);
}

.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-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;
}

.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;
    }
}