/* style.css */
@import url('https://fonts.googleapis.com/css2?family=Inter:wght@400;700&family=JetBrains+Mono:wght@400;700&display=swap');

body {
font-family: 'Tiempos', Georgia, 'Times New Roman', serif;
margin: 0;
padding: 0;
color: black;
background-color: white;
height: 100vh;
}

.header {
  text-align: center;
  font-size: 16px;
  margin: 1rem 0;            /* give it some top space */
  font-family: 'Inter', -apple-system, BlinkMacSystemFont, "Segoe UI", Roboto, sans-serif;
}

.content {
  text-align: justify;
  font-size: 16px;
  max-width: 800px;
  line-height: 1.6;
  font-family: 'Tiempos', Georgia, 'Times New Roman', serif;
  width: 90vw;
  min-width: 300px;
  margin: 0 auto 1rem;       /* <- centers & restores normal flow */
}

nav {
text-align: center;
margin: 1rem 0;
font-size: 0.95rem;
}

nav a {
margin: 0 1rem;
text-decoration: underline;
color: blue;
font-weight: bold;
}

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


h1, h2, h3, h4, h5, h6 {
font-family: 'Inter', -apple-system, BlinkMacSystemFont, "Segoe UI", Roboto, sans-serif;
}

a:link {
color: #FF00FF;
}

a:visited {
color: #FF00FF;
}

.footnote-ref {
text-decoration: none;
font-size: 0.8em;
vertical-align: super;
color: black;
}

.footnote {
font-size: 0.85rem;
margin-top: 1rem;
color: black;
border-top: 1px solid #aaa;
padding-top: 0.5rem;
max-width: 800px;
margin-left: auto;
margin-right: auto;
}

.footnote p {
margin: 0.2rem 0;
}

pre {
font-size: 13px;
background-color: #f4f4f4;
padding: 0.75em 1em;
overflow-x: auto;
border-radius: 4px;
max-width: 100%;
font-family: 'JetBrains Mono', 'Courier New', monospace;
line-height: 1.4;
text-align: left;
margin: 1em 0;
}

code {
background-color: #f4f4f4;
padding: 0.2em 0.4em;
border-radius: 4px;
font-size: 13px;
font-family: 'JetBrains Mono', 'Courier New', monospace;
}

.email {
font-family: 'JetBrains Mono', 'Courier New', monospace;
font-size: 0.95em;
letter-spacing: -0.02em;
font-weight: 400;
}