* {
    box-sizing: border-box;
}

html {
    line-height: 1.7;
    -webkit-text-size-adjust: 100%;
    -moz-tab-size: 4;
    -o-tab-size: 4;
    tab-size: 4;
    font-family: ui-sans-serif, system-ui, sans-serif, "Apple Color Emoji", "Segoe UI Emoji", "Segoe UI Symbol", "Noto Color Emoji";
    font-feature-settings: normal;
    font-variation-settings: normal;
    -webkit-tap-highlight-color: transparent;
}

body {
    margin: 0 auto;
    max-width: 1050px;
    padding: 1rem;
}

pre {
    font-size: 0.9em;
}

code,
kbd,
samp,
pre {
    font-family: ui-monospace, SFMono-Regular, Menlo, Monaco, Consolas, "Liberation Mono", "Courier New", monospace;
    font-feature-settings: normal;
    font-variation-settings: normal;
    font-size: 1em;
}

img {
    max-width: 100%;
}

pre {
    overflow: auto;
}

a, a:visited {
    color: black;
    text-decoration: underline;
}

code {
    color: #0c311c;
    padding: 0.125rem 0.25rem;
    background-color: #f5f5f5;
    border-radius: 2px;
}

table {
    border-collapse: collapse;
    width: 100%;
    margin: 1rem 0;
}

th, td {
    border: 1px solid #ccc;
    padding: 0.5rem;
    text-align: left;
}

th {
    background-color: #f5f5f5;
}

blockquote {
    margin: 1.5rem 0;
    padding: 1rem 1.5rem;
    border-left: 6px solid #252525;
    background-color: #f9f9f9;
    color: #252525;
}

blockquote p {
    margin: 0;
}

blockquote cite {
    display: block;
    margin-top: 0.75rem;
    font-size: 0.875em;
    font-style: normal;
    color: #777;
}

blockquote cite::before {
    content: "— ";
}

/* Post list styling */
ul.post-list {
    list-style: none;
    padding: 0;
    margin: 1rem 0 2.5rem 0;
}

ul.post-list li {
    padding: 1rem 0;
    border-bottom: 1px solid #eee;
}

ul.post-list li:last-child {
    border-bottom: none;
}

ul.post-list .post-meta {
    font-size: 1em;
    color: #666;
    margin-bottom: 0.25rem;
    font-weight: 500;
}

ul.post-list .post-meta .post-state {
    color: #252525;
    margin-left: 0.5rem;
}

ul.post-list .post-title {
    font-size: 1.1em;
    font-weight: 500;
    margin-bottom: 0.35rem;
}

ul.post-list .post-title a {
    text-decoration: none;
}

ul.post-list .post-title a:hover {
    text-decoration: underline;
}

ul.post-list .post-abstract {
    font-size: 0.9em;
    color: #444;
    margin-top: 0.25rem;
    line-height: 1.6;
}

/* /\* Main headings *\/ */
/* main > h3 { */
/*     margin-top: 3rem; */
/*     margin-bottom: 1.25rem; */
/*     font-weight: 600; */
/*     font-size: 1.8em; */
/*     letter-spacing: -0.01em; */
/* } */

main > h3:first-of-type {
    margin-top: 1.5rem;
}

/* About section styling */
.about-section {
    margin-top: 3rem;
    padding-top: 2.5rem;
    border-top: 1px solid #e0e0e0;
}

.about-section > p {
    margin: 1rem 0;
    max-width: 65ch;
    line-height: 1.7;
}

.about-section > p:first-of-type {
    font-size: 1.05em;
    color: #1a1a1a;
}

.about-section > p:last-of-type {
    margin-top: 1.5rem;
    padding-top: 1.25rem;
    border-top: 1px solid #f0f0f0;
    font-size: 0.9em;
    color: #666;
}

/* If about section is not wrapped in div, fallback styles */
main > h3 + p {
    margin-top: 1rem;
}


main {
    font-size: 1.1em;
}

main > p {
    margin: 1rem 0;
    max-width: 80ch;
    line-height: 1.7;
}

code {
    font-size: 0.9em;
}

main > p code {
    font-size: 0.9em;
    font-weight: 500;
}

/* Improve readability of inline code in paragraphs */
p code {
    font-size: 1em;
}

/* Navigation improvements */
nav {
    margin-bottom: 2rem;
    padding-bottom: 0.5rem;
}

nav a {
    text-decoration: none;
    font-weight: 500;
    letter-spacing: 0.05em;
    font-size: 0.9em;
}

nav a:hover {
    text-decoration: underline;
}

/* Horizontal rule styling */
hr {
    border: none;
    border-top: 1px solid #e0e0e0;
    margin: 2.5rem 0;
}

/* Contact and meta info styling */
.contact-info {
    margin-top: 1.5rem;
    padding-top: 1.25rem;
    border-top: 1px solid #f0f0f0;
    font-size: 0.9em;
    color: #666;
}

.contact-info code {
    background-color: #fafafa;
    color: #444;
}

.site-info {
    margin-top: 0.75rem;
    font-size: 0.85em;
    color: #888;
}