/* =========================
   ProofZoom — site.css
   ========================= */

:root {
  --pz-text: #111;
  --pz-muted: #666;
  --pz-link: #1f5fbf;
  --pz-link-hover: #174a95;
  --pz-rule: #d6d6d6;
  --pz-bg: #ffffff;
}

html {
  font-size: 100%;
}

body {
  margin: 0;
  padding: 0;
  background: var(--pz-bg);
  color: var(--pz-text);
  font-family: "Source Serif 4", "Source Serif Pro", Georgia, "Times New Roman", serif;
  font-size: 1.1rem;
  line-height: 1.6;
}

.wrapper,
.site-wrap,
.page-wrap,
main,
.container {
  max-width: 920px;
  margin: 0 auto;
  padding: 0 28px;
}

/* =========================
   Header / Navigation
   ========================= */

.nav {
  display: flex;
  justify-content: space-between;
  align-items: baseline;
  padding: 26px 0 14px 0;
  border-bottom: 1px solid var(--pz-rule);
  margin-bottom: 28px;
}

.nav .brand a {
  font-size: 2rem;
  font-weight: 700;
  text-decoration: none;
  color: var(--pz-text);
}

.nav .links a {
  color: var(--pz-link);
  text-decoration: none;
  margin-left: 18px;
  font-size: 1rem;
}

.nav .links a:hover {
  color: var(--pz-link-hover);
  text-decoration: underline;
}

/* =========================
   Homepage
   ========================= */

.site-slogan {
  font-size: 22px;
  text-align: center;
  max-width: 720px;
  margin: 0 auto 60px auto;
  line-height: 1.6;
  color: #444;
}

.areas-grid {
  display: grid;
  grid-template-columns: repeat(auto-fit, minmax(300px, 1fr));
  gap: 18px;
  margin-top: 18px;
}

.area-card {
  border: 1px solid var(--pz-rule);
  padding: 18px;
  background: #fafafa;
  border-radius: 6px;
}

.area-card a {
  text-decoration: none;
  font-weight: 600;
  font-size: 1.15rem;
  color: var(--pz-text);
}

.area-card:hover {
  background: #f3f3f3;
  border-color: #c8c8c8;
  transform: translateY(-2px);
}

/* =========================
   Page content
   ========================= */

.page-content {
  padding: 28px 0 48px 0;
}

h1,
h2,
h3,
h4,
h5,
h6 {
  margin: 0 0 0.7em 0;
  line-height: 1.2;
  font-weight: 700;
  color: var(--pz-text);
}

h1 {
  font-size: 2.2rem;
}

h2 {
  font-size: 1.65rem;
}

h3 {
  font-size: 1.3rem;
}

p {
  margin: 0 0 1em 0;
}

a {
  color: var(--pz-link);
  text-decoration: none;
}

a:hover {
  color: var(--pz-link-hover);
  text-decoration: underline;
}

hr {
  border: 0;
  border-top: 1px solid var(--pz-rule);
  margin: 28px 0;
}

/* =========================
   Buttons / links
   ========================= */

.button,
a.button {
  display: inline-block;
  padding: 8px 14px;
  border: 1px solid var(--pz-rule);
  border-radius: 4px;
  background: #fafafa;
  color: var(--pz-text);
  text-decoration: none;
  font-size: 0.98rem;
}

.button:hover,
a.button:hover {
  background: #f3f3f3;
  text-decoration: none;
}

/* =========================
   Entry page
   ========================= */

.entry-page {
  max-width: 860px;
}

.entry-header {
  margin-bottom: 28px;
}

.entry-id {
  margin: 0 0 10px 0;
  font-size: 1rem;
  font-weight: 700;
  letter-spacing: 0.02em;
  text-transform: uppercase;
  color: var(--pz-link);
}

.entry-title {
  margin: 0 0 18px 0;
}

.entry-abstract {
  margin: 18px 0 18px 0;
  font-size: 1.06rem;
}

.entry-meta,
.entry-dates {
  margin: 0.35rem 0;
}

.entry-meta {
  color: var(--pz-text);
}

.entry-dates {
  color: var(--pz-muted);
  font-size: 0.95rem;
}

.entry-download {
  margin: 16px 0 0 0;
}

.pdf-note {
  display: inline-block;
  margin-top: 6px;
  color: var(--pz-muted);
  font-size: 0.92rem;
}

.entry-content {
  margin-top: 24px;
  max-width: 760px;
  line-height: 1.65;
}

.entry-content p {
  margin-bottom: 1.05em;
}

.entry-content h2,
.entry-content h3,
.entry-content h4 {
  margin-top: 1.4em;
}

/* Improve section heading readability */

.entry-content h2 {
  margin-top: 2.2em;
  margin-bottom: 0.6em;
  font-weight: 600;
}

.entry-content h3 {
  margin-top: 1.6em;
  margin-bottom: 0.5em;
}

.entry-footer {
  margin-top: 30px;
  padding-top: 18px;
  border-top: 1px solid var(--pz-rule);
}

.entry-citation {
  color: var(--pz-muted);
  font-size: 0.95rem;
}

/* =========================
   Entries listing page
   ========================= */

.entry-listing {
  margin: 0 0 34px 0;
}

.entry-listing-title {
  margin-bottom: 0.8rem;
}

.entry-listing-title a {
  color: var(--pz-link);
  text-decoration: none;
}

.entry-listing-title a:hover {
  color: var(--pz-link-hover);
  text-decoration: underline;
}

.entry-listing-abstract {
  margin-bottom: 0.8rem;
}

.entry-listing-meta {
  color: var(--pz-muted);
  font-size: 0.95rem;
  margin: 0.35rem 0 0.75rem 0;
}

.entry-listing-pdf {
  margin-top: 0.5rem;
}

.entry-listing-pdf a {
  color: var(--pz-link);
  text-decoration: none;
}

.entry-listing-pdf a:hover {
  color: var(--pz-link-hover);
  text-decoration: underline;
}

/* =========================
   Figures / images / tables
   ========================= */

img {
  max-width: 100%;
  height: auto;
}

figure {
  margin: 1.25rem 0;
}

figcaption {
  color: var(--pz-muted);
  font-size: 0.95rem;
}

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

th,
td {
  border: 1px solid var(--pz-rule);
  padding: 8px 10px;
  text-align: left;
}

th {
  background: #fafafa;
}

/* =========================
   Code / preformatted text
   ========================= */

code,
pre {
  font-family: "SFMono-Regular", Consolas, "Liberation Mono", Menlo, monospace;
  font-size: 0.95em;
}

pre {
  overflow-x: auto;
  padding: 12px 14px;
  border: 1px solid var(--pz-rule);
  background: #fafafa;
  border-radius: 4px;
}

/* =========================
   Footer
   ========================= */

.site-footer {
  margin-top: 80px;
  padding: 30px 0;
  text-align: center;
  color: #666;
  font-size: 16px;
  border-top: 1px solid #ddd;
}

/* =========================
   Responsive
   ========================= */

@media (max-width: 720px) {
  body {
    font-size: 1.02rem;
  }

  .wrapper,
  .site-wrap,
  .page-wrap,
  main,
  .container {
    padding: 0 18px;
  }

  h1 {
    font-size: 1.9rem;
  }

  h2 {
    font-size: 1.45rem;
  }

  .nav .brand a {
    font-size: 1.7rem;
  }

  .entry-title {
    font-size: 1.9rem;
  }

  .entry-content {
    max-width: 100%;
  }
}

/* ProofZoom figure / web notes */

.entry-note {
  border-left: 4px solid #cfcfcf;
  background: #f7f7f7;
  padding: 12px 14px;
  margin: 18px 0;
  font-size: 0.96rem;
}

.entry-note strong {
  display: block;
  margin-bottom: 4px;
}

/* PDF diagram indicator */

.pdf-diagram-note {
  margin-top: 8px;
  font-size: 0.92rem;
  color: #555;
}

.pdf-diagram-note::before {
  content: "🖼️ ";
}