:root {
  --bg-color: #f9f8f6;
  --text-color: #111;
  --muted-color: #666;
  --border-color: #e0e0e0;
  --max-width: 680px;
}

* {
  box-sizing: border-box;
}

html,
body {
  margin: 0;
  padding: 0;
}

body {
  background-color: var(--bg-color);
  color: var(--text-color);
  font-family: -apple-system, BlinkMacSystemFont, "Segoe UI", Roboto, Helvetica, Arial, sans-serif;
  line-height: 1.6;
  padding: 4rem 1rem;
  -webkit-font-smoothing: antialiased;
  -ms-text-size-adjust: 100%;
  -webkit-text-size-adjust: 100%;
}

.container {
  max-width: var(--max-width);
  margin: 0 auto;
}

/* Header: a simple back-link, not a sticky banner */
.site-header,
.fixed-banner {
  position: static;
  max-width: none;
  margin: 0 0 2rem;
  padding: 0;
  background: none;
  border: none;
  overflow: visible;
  z-index: auto;
}

.site-title {
  font-family: inherit;
  font-size: 0.9rem;
  font-weight: 400;
  letter-spacing: 0;
  line-height: 1.5;
  margin: 0;
  color: var(--muted-color);
  opacity: 1;
}

.site-title a,
.site-title a:visited {
  color: var(--muted-color);
  text-decoration: none;
}

.site-title a:hover,
.site-title a:focus {
  color: var(--text-color);
  opacity: 1;
}

.site-title a::before {
  content: "← ";
}

.site-title small {
  display: none;
}

.scroll-nav {
  box-shadow: none;
  margin: 0 0 2rem;
  padding: 0;
}

.scroll-nav .site-title {
  float: none;
  padding: 0;
  font-size: 0.9rem;
  opacity: 1;
}

h1, h2, h3, h4, h5, h6 {
  font-family: Georgia, "Times New Roman", serif;
  font-weight: 400;
  letter-spacing: -0.02em;
  line-height: 1.25;
  color: var(--text-color);
  text-rendering: optimizeLegibility;
}

h1,
.page-title,
.post-title,
.post-title a {
  font-size: 2rem;
  margin: 0 0 0.5rem;
  line-height: 1.2;
  color: var(--text-color);
}

h2 {
  font-size: 1.4rem;
  margin: 2.5rem 0 1rem;
}

h3 {
  font-size: 1.15rem;
  margin: 2rem 0 0.75rem;
  color: #333;
}

h4, h5, h6 {
  font-size: 1rem;
  margin: 1.75rem 0 0.5rem;
  color: #444;
}

p {
  margin-top: 0;
  margin-bottom: 1.5rem;
  font-size: 1.05rem;
}

ul, ol, dl {
  margin-top: 0;
  margin-bottom: 1.5rem;
  padding-left: 1.5rem;
}

li {
  margin-bottom: 0.5rem;
  font-size: 1.05rem;
}

li + li {
  margin-top: 0;
}

dt {
  font-weight: 600;
}

dd {
  margin-bottom: 0.5rem;
}

a {
  color: var(--text-color);
  text-decoration: underline;
  text-decoration-thickness: 1px;
  text-underline-offset: 4px;
  transition: opacity 0.2s;
}

a:visited,
a:active,
a:hover,
a:focus,
.post a:visited,
.post a:hover,
.page a:visited,
.page a:hover {
  color: var(--text-color);
}

a:hover,
a:focus {
  opacity: 0.6;
}

strong {
  color: inherit;
}

img {
  display: block;
  max-width: 100%;
  height: auto;
  margin: 1.5rem auto;
}

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

blockquote {
  margin: 1.5rem 0;
  padding: 0 0 0 1.25rem;
  color: var(--muted-color);
  border-left: 3px solid var(--border-color);
  font-style: italic;
}

blockquote p:last-child {
  margin-bottom: 0;
}

.pull-quote {
  font-family: Georgia, "Times New Roman", serif;
  font-size: 1.15rem;
  font-weight: 400;
  font-style: italic;
  line-height: 1.5;
  color: #444;
  margin: 0.5rem 0 2rem;
  padding: 0.15rem 0 0.15rem 1.25rem;
  border-left: 3px solid var(--border-color);
  text-align: left;
}

.pull-quote b,
.pull-quote strong {
  font-weight: 400;
}

table {
  width: 100%;
  border-collapse: collapse;
  font-size: 0.92rem;
  margin: 1.5rem 0;
}

th, td {
  padding: 0.4rem 0.6rem;
  border-bottom: 1px solid var(--border-color);
  text-align: left;
}

th {
  border-bottom: 2px solid var(--text-color);
  font-weight: 600;
  font-size: 0.85rem;
}

tr:last-child td {
  border-bottom: 2px solid var(--text-color);
}

code, pre {
  font-family: "SF Mono", Menlo, Monaco, "Courier New", monospace;
}

code {
  font-size: 0.9em;
  background-color: rgba(0, 0, 0, 0.05);
  padding: 0.15em 0.4em;
  border-radius: 3px;
  color: inherit;
}

pre {
  background-color: #f3f2f0;
  padding: 1rem 1.25rem;
  border-radius: 4px;
  overflow-x: auto;
  font-size: 0.9rem;
  line-height: 1.5;
  margin: 0 0 1.5rem;
}

pre code {
  background: none;
  padding: 0;
  font-size: inherit;
  color: inherit;
}

.highlight {
  background-color: #f3f2f0;
  padding: 1rem 1.25rem;
  margin-bottom: 1.5rem;
  border-radius: 4px;
  font-size: 0.9rem;
  line-height: 1.5;
  overflow-x: auto;
}

.highlight pre {
  margin: 0;
  padding: 0;
  background: none;
}

.post-date {
  display: block;
  float: none;
  font-size: 0.95rem;
  font-style: normal;
  color: var(--muted-color);
  padding: 1.5rem 0 0;
  margin-top: 2rem;
  border-top: 1px solid var(--border-color);
}

.post-meta {
  font-size: 0.95rem;
  color: var(--muted-color);
  margin-bottom: 2rem;
  padding-bottom: 1.5rem;
  border-bottom: 1px solid var(--border-color);
}

.post-meta a {
  color: var(--muted-color);
}

.back-link {
  display: inline-block;
  margin-bottom: 2rem;
  font-size: 0.9rem;
  text-decoration: none;
  color: var(--muted-color);
}

.back-link:hover {
  color: var(--text-color);
  opacity: 1;
}

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

.footnotes {
  margin-top: 2rem;
  font-size: 0.9rem;
  color: var(--muted-color);
}

a[href^="#fn:"],
a[href^="#fnref:"] {
  display: inline-block;
  margin-left: 0.1rem;
  font-weight: 600;
}

.row::after {
  content: "";
  clear: both;
  display: table;
}

.column {
  float: left;
  width: 33%;
  padding: 5px;
}

.center-image {
  margin: 0 auto;
  display: block;
}

.site-footer,
.footer {
  margin-top: 4rem;
  padding-top: 2rem;
  border-top: 1px solid var(--border-color);
  font-size: 0.9rem;
  color: var(--muted-color);
  text-align: center;
}

.read-next {
  text-align: center;
  font-size: 0.9rem;
  border: none;
  margin: 0 0 1rem;
  padding: 0;
}

.read-next a {
  font-size: inherit;
  font-weight: 400;
  text-decoration: underline;
  margin-left: 0.25rem;
}

.back-home,
.copyright {
  float: none;
  display: block;
  font-size: 0.9rem;
  color: var(--muted-color);
  opacity: 1;
  margin: 0.5rem 0 0;
}

.back-home:before {
  content: none;
}

.share-posts {
  display: none;
}

.subscription-form {
  display: none !important;
}

.fade-in {
  opacity: 1;
}

.math-block {
  margin: 2rem 0;
  text-align: center;
  overflow-x: auto;
}

.message {
  margin-bottom: 1.5rem;
  padding: 1rem;
  color: var(--muted-color);
  background-color: rgba(0, 0, 0, 0.03);
  border-radius: 4px;
}