body {
  font-family: 'Times New Roman', Times, serif;
  max-width: 640px;
  margin: 0 auto;
  padding: 40px 20px;
  line-height: 1.7;
  color: #111;
  background: #fafaf8;
}

nav {
  display: flex;
  gap: 20px;
  font-size: 0.9em;
  margin-bottom: 8px;
}

nav a {
  text-decoration: none;
  color: #111 !important;
}

nav a:visited {
  color: #111 !important;
}

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

nav a.active {
  text-decoration: underline;
}

.email-reveal {
  cursor: pointer;
  color: #111;
  text-decoration: underline;
  font-style: italic;
}

.site-title {
  font-size: 1.5em;
  font-weight: bold;
  margin: 0;
  letter-spacing: -0.01em;
}

hr {
  border: none;
  border-top: 1px solid #ccc;
  margin: 16px 0;
}

hr.thick {
  border-top: 2px solid #111;
}

.contact-link {
  cursor: pointer;
  color: #111;
  text-decoration: underline;
}

.contact-link:hover {
  text-decoration: underline;
}

.copied-msg {
  font-size: 0.8em;
  color: #666;
  opacity: 0;
  transition: opacity 0.2s;
}

.copied-msg.show {
  opacity: 1;
}

.thesis {
  font-style: italic;
  margin: 20px 0;
  color: #333;
}

h1 {
  font-size: 1.3em;
  margin-top: 0;
  margin-bottom: 4px;
}

h2 {
  font-size: 1.1em;
  margin-top: 32px;
  margin-bottom: 8px;
  text-transform: lowercase;
}

p {
  margin: 12px 0;
}

ul {
  padding-left: 20px;
}

li {
  margin-bottom: 8px;
}

a {
  color: #1a0dab;
}

a:visited {
  color: #681da8;
}

/* blog index */

.post-list {
  list-style: none;
  padding: 0;
}

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

.post-list a {
  text-decoration: none;
  color: #111;
  font-size: 1.05em;
}

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

.post-date {
  font-size: 0.85em;
  color: #666;
  display: block;
  margin-top: 4px;
}

/* post pages */

.post-meta {
  font-size: 0.85em;
  color: #666;
  margin-bottom: 32px;
}

/* kata */

.kata-symbol {
  font-size: 4em;
  text-align: center;
  margin: 40px 0 8px;
  line-height: 1;
}

.kata-definition {
  text-align: center;
  font-style: italic;
  color: #666;
  margin-bottom: 40px;
}
