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

body {
  font-family: 'Inter', -apple-system, BlinkMacSystemFont, sans-serif;
  font-size: 15px;
  line-height: 1.7;
  color: #3d3d3d;
  background-color: #faf9f7;
  -webkit-font-smoothing: antialiased;
}

/* === Layout === */
.container {
  max-width: 640px;
  margin: 0 auto;
  padding: 60px 20px;
}

/* === Nav === */
nav {
  display: flex;
  justify-content: space-between;
  align-items: baseline;
  margin-bottom: 60px;
}

.nav-name {
  font-weight: 600;
  font-size: 17px;
  color: #2c2c2c;
  text-decoration: none;
}

.nav-name:hover {
  color: #2c2c2c;
}

.nav-links a {
  margin-left: 24px;
  font-size: 15px;
}

/* === Typography === */
h1, h2, h3, h4, h5, h6 {
  color: #7B2332;
  font-weight: 600;
  line-height: 1.3;
}

h1 { font-size: 26px; margin-bottom: 16px; }
h2 { font-size: 20px; margin-top: 48px; margin-bottom: 20px; }
h3 { font-size: 17px; margin-top: 32px; margin-bottom: 12px; }

p { margin-bottom: 16px; }

ul, ol { margin-bottom: 16px; padding-left: 24px; }

strong { color: #2c2c2c; font-weight: 600; }

/* === Links === */
a {
  color: #3a5a7a;
  text-decoration: none;
}

a:hover {
  color: #2a4560;
  text-decoration: underline;
}

/* === Profile === */
.profile-photo {
  width: 80px;
  height: 80px;
  border-radius: 50%;
  object-fit: cover;
  margin-bottom: 4px;
}

/* === Publications === */
.pub {
  margin-bottom: 24px;
}

.pub-title {
  font-weight: 500;
  color: #2c2c2c;
}

.pub-title a {
  color: #3a5a7a;
}

.pub-title a:hover {
  color: #2a4560;
}

.pub-authors {
  font-size: 14px;
  color: #555;
  margin-top: 2px;
}

.pub-venue {
  font-size: 14px;
  color: #8c6065;
  margin-top: 2px;
}

.section-link {
  display: inline-block;
  margin-top: 8px;
  font-size: 15px;
}

/* === Blog === */
.post-list {
  list-style: none;
  padding-left: 0;
}

.post-list li {
  margin-bottom: 16px;
}

.post-date {
  font-size: 14px;
  color: #a08a8e;
  margin-right: 12px;
}

.post-title-link {
  font-weight: 500;
}

/* === Post === */
.post-header {
  margin-bottom: 40px;
}

.post-header h1 {
  margin-bottom: 8px;
}

.post-header .post-date {
  font-size: 15px;
  color: #a08a8e;
}

.post-content p {
  margin-bottom: 20px;
}

/* === Footer === */
footer {
  margin-top: 80px;
  padding-top: 24px;
  border-top: 1px solid #e8dfe1;
  font-size: 14px;
}

footer a {
  margin-right: 20px;
  color: #a08a8e;
}

footer a:hover {
  color: #7B2332;
}

/* === Dividers === */
hr {
  border: none;
  border-top: 1px solid #e8dfe1;
  margin: 40px 0;
}

/* === Code === */
code, pre {
  font-family: 'SFMono-Regular', Consolas, 'Liberation Mono', Menlo, monospace;
  font-size: 14px;
}

code {
  background: #f0eced;
  padding: 2px 6px;
  border-radius: 3px;
}

pre {
  background: #f0eced;
  padding: 16px;
  border-radius: 4px;
  overflow-x: auto;
  margin-bottom: 20px;
}

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

/* === Blockquote === */
blockquote {
  border-left: 3px solid #e8dfe1;
  margin: 0 0 20px 0;
  padding: 0 0 0 20px;
  color: #666;
  font-style: italic;
}

/* === Tables === */
table { width: 100%; border-collapse: collapse; margin-bottom: 20px; }
th, td { text-align: left; padding: 8px 12px; border-bottom: 1px solid #e8dfe1; }
th { color: #2c2c2c; font-weight: 600; }

/* === Images === */
img { max-width: 100%; }

/* === Syntax Highlighting === */
.highlight table td { padding: 5px; }
.highlight table pre { margin: 0; }
.highlight .cm, .highlight .c1, .highlight .c, .highlight .cd { color: #999988; font-style: italic; }
.highlight .cp, .highlight .cs { color: #999999; font-weight: bold; }
.highlight .err { color: #a61717; background-color: #e3d2d2; }
.highlight .gd { color: #000; background-color: #ffdddd; }
.highlight .gi { color: #000; background-color: #ddffdd; }
.highlight .k, .highlight .kv, .highlight .kc, .highlight .kd, .highlight .kn, .highlight .kp, .highlight .kr { color: #000; font-weight: bold; }
.highlight .kt { color: #445588; font-weight: bold; }
.highlight .mf, .highlight .mh, .highlight .mi, .highlight .mo, .highlight .m, .highlight .mb, .highlight .mx, .highlight .il { color: #009999; }
.highlight .s, .highlight .sb, .highlight .sc, .highlight .sd, .highlight .s2, .highlight .se, .highlight .sh, .highlight .si, .highlight .sx, .highlight .s1 { color: #d14; }
.highlight .sr { color: #009926; }
.highlight .ss { color: #990073; }
.highlight .na { color: #008080; }
.highlight .nb, .highlight .bp { color: #0086B3; }
.highlight .nc { color: #445588; font-weight: bold; }
.highlight .no, .highlight .nv, .highlight .vc, .highlight .vg, .highlight .vi { color: #008080; }
.highlight .nd { color: #3c5d5d; font-weight: bold; }
.highlight .ne, .highlight .nf, .highlight .nl { color: #990000; font-weight: bold; }
.highlight .nn { color: #555; }
.highlight .nt { color: #000080; }
.highlight .o, .highlight .ow { color: #000; font-weight: bold; }
.highlight .w { color: #bbb; }
.highlight .gs { font-weight: bold; }
.highlight .ge { font-style: italic; }
.highlight { background-color: #f0eced; }

/* === Responsive === */
@media (max-width: 680px) {
  .container {
    padding: 32px 16px;
  }

  nav {
    margin-bottom: 40px;
  }

  h2 {
    margin-top: 36px;
  }
}