/* =================================================================
   AKATALEPTOS.COM — The Incomprehensible
   Design system: dark shimmer, philosophical clarity
   ================================================================= */

/* --- Reset & Base --- */
*, *::before, *::after { box-sizing: border-box; margin: 0; padding: 0; }

:root {
  --bg: #0a0a0a;
  --bg-raised: #111;
  --bg-card: #161616;
  --text: #e8e8e8;
  --text-muted: #999;
  --text-dim: #666;
  --cyan: #a0f0ff;
  --gold: #ffcf6b;
  --mint: #c2ffd0;
  --violet: #c4a0ff;
  --border: #333;
  --border-light: #444;
  --max-w: 860px;
  --serif: 'Georgia', 'Times New Roman', serif;
  --mono: 'Menlo', 'Consolas', monospace;
}

html { scroll-behavior: smooth; }

body {
  font-family: var(--serif);
  background: var(--bg);
  color: var(--text);
  line-height: 1.75;
  padding: 0;
  margin: 0;
  -webkit-font-smoothing: antialiased;
}

/* --- Layout --- */
.container {
  max-width: var(--max-w);
  margin: 0 auto;
  padding: 2em 1.5em;
}

/* --- Typography --- */
h1, h2, h3, h4 { color: var(--cyan); line-height: 1.3; }

h1 {
  font-size: 2.4em;
  text-align: center;
  margin-bottom: 0.3em;
  letter-spacing: -0.02em;
}

h2 {
  font-size: 1.6em;
  margin-top: 2.5em;
  margin-bottom: 0.6em;
  padding-bottom: 0.3em;
  border-bottom: 1px solid var(--border);
}

h3 {
  font-size: 1.25em;
  margin-top: 1.8em;
  margin-bottom: 0.4em;
  color: var(--gold);
}

h4 {
  font-size: 1.05em;
  margin-top: 1.2em;
  color: var(--text-muted);
}

p { margin-bottom: 1em; }

a {
  color: var(--cyan);
  text-decoration: none;
  border-bottom: 1px solid transparent;
  transition: border-color 0.2s;
}
a:hover { border-bottom-color: var(--cyan); }

strong { color: var(--gold); font-weight: normal; }

em { color: var(--text); font-style: italic; }

blockquote {
  border-left: 3px solid var(--violet);
  margin: 1.5em 0;
  padding: 0.8em 1.2em;
  color: var(--text-muted);
  background: var(--bg-raised);
  font-style: italic;
}

code {
  font-family: var(--mono);
  font-size: 0.9em;
  background: var(--bg-raised);
  padding: 0.15em 0.4em;
  border-radius: 3px;
  color: var(--mint);
}

pre {
  background: var(--bg-raised);
  border: 1px solid var(--border);
  border-radius: 4px;
  padding: 1.2em;
  overflow-x: auto;
  margin: 1.5em 0;
  line-height: 1.5;
}
pre code { background: none; padding: 0; }

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

ul, ol {
  margin: 0.8em 0 1.2em 1.5em;
}
li { margin-bottom: 0.4em; }

/* --- Navigation (matches index.html aesthetic) --- */
.site-nav {
  background: linear-gradient(rgba(5, 5, 8, 0.92), rgba(5, 5, 8, 0.6));
  border-bottom: 1px solid rgba(51, 51, 51, 0.5);
  padding: 0.8em 0;
  position: sticky;
  top: 0;
  z-index: 100;
  backdrop-filter: blur(8px);
  -webkit-backdrop-filter: blur(8px);
}
.site-nav .container {
  display: flex;
  align-items: center;
  justify-content: space-between;
  padding: 0 1.5em;
  max-width: 1000px;
}
.site-nav .logo {
  font-size: 0.9em;
  color: var(--cyan);
  letter-spacing: 0.12em;
  font-weight: 300;
  border-bottom: none;
}
.site-nav .links {
  display: flex;
  gap: 1.5em;
}
.site-nav .links a {
  color: #888;
  font-size: 0.72em;
  letter-spacing: 0.08em;
  transition: color 0.3s;
}
.site-nav .links a:hover { color: var(--cyan); }
.site-nav .links .support-link {
  color: var(--gold);
  border-bottom: 1px solid transparent;
  transition: border-color 0.2s, color 0.2s;
}
.site-nav .links .support-link:hover {
  color: var(--cyan);
  border-bottom-color: transparent;
}
.site-nav .links .compute-link {
  color: #c2ffd0 !important;
  border: 1px solid rgba(194, 255, 208, 0.3);
  padding: 0.15em 0.6em;
  border-radius: 4px;
  font-size: 0.85em;
}
.site-nav .links .compute-link:hover {
  background: rgba(194, 255, 208, 0.1);
  color: #e0ffe8 !important;
}

/* --- Hero --- */
.hero {
  text-align: center;
  padding: 5em 1.5em 3em;
  max-width: 700px;
  margin: 0 auto;
}
.hero h1 {
  font-size: 3em;
  letter-spacing: 0.08em;
  text-transform: uppercase;
  color: var(--cyan);
  margin-bottom: 0.2em;
}
.hero .subtitle {
  font-size: 1.15em;
  color: var(--text-muted);
  font-style: italic;
  margin-bottom: 2em;
}
.hero .axiom {
  font-family: var(--mono);
  font-size: 1.4em;
  color: var(--gold);
  margin: 1.5em 0;
  letter-spacing: 0.05em;
}
.hero .tagline {
  font-size: 1em;
  color: var(--text-dim);
  max-width: 500px;
  margin: 0 auto;
  line-height: 1.8;
}

/* --- Paper Cards --- */
.paper-grid {
  display: grid;
  gap: 1.5em;
  margin: 2em 0;
}

.paper-card {
  background: var(--bg-card);
  border: 1px solid var(--border);
  border-radius: 6px;
  padding: 1.5em 1.8em;
  transition: border-color 0.2s, transform 0.15s;
  display: block;
  color: var(--text);
}
.paper-card:hover {
  border-color: var(--cyan);
  transform: translateY(-2px);
}
.paper-card .paper-title {
  font-size: 1.15em;
  color: var(--cyan);
  margin-bottom: 0.4em;
  line-height: 1.4;
}
.paper-card .paper-authors {
  font-size: 0.85em;
  color: var(--text-dim);
  margin-bottom: 0.8em;
}
.paper-card .paper-desc {
  color: var(--text-muted);
  font-size: 0.95em;
  line-height: 1.6;
}
.paper-card .paper-tags {
  margin-top: 0.8em;
  display: flex;
  gap: 0.5em;
  flex-wrap: wrap;
}

.tag {
  font-size: 0.75em;
  padding: 0.2em 0.7em;
  border-radius: 12px;
  background: var(--bg);
  border: 1px solid var(--border);
  color: var(--text-muted);
  letter-spacing: 0.03em;
}
.tag-philosophy { border-color: var(--violet); color: var(--violet); }
.tag-consciousness { border-color: var(--cyan); color: var(--cyan); }
.tag-society { border-color: var(--gold); color: var(--gold); }
.tag-mathematics { border-color: var(--mint); color: var(--mint); }

/* --- Section Headers --- */
.section-header {
  text-align: center;
  margin: 3em 0 1.5em;
}
.section-header h2 {
  border: none;
  margin-top: 0;
}
.section-header p {
  color: var(--text-muted);
  font-style: italic;
}

/* --- Paper Page --- */
.paper-meta {
  text-align: center;
  color: var(--text-dim);
  margin-bottom: 2em;
  font-size: 0.9em;
}
.paper-meta .authors { color: var(--text-muted); }

.paper-body h2 { color: var(--cyan); }
.paper-body h3 { color: var(--gold); }
.paper-body strong { color: var(--gold); }

/* Proof/argument blocks */
.proof-block {
  background: var(--bg-raised);
  border-left: 3px solid var(--cyan);
  padding: 1.2em 1.5em;
  margin: 1.5em 0;
  border-radius: 0 4px 4px 0;
}
.proof-block .proof-title {
  color: var(--cyan);
  font-size: 1.05em;
  margin-bottom: 0.5em;
}
.proof-block .proof-statement {
  color: var(--gold);
  font-style: italic;
  margin-bottom: 0.8em;
}

/* Implication callouts */
.implication {
  background: var(--bg-card);
  border: 1px solid var(--violet);
  border-radius: 4px;
  padding: 1em 1.2em;
  margin: 1.2em 0;
  color: var(--text-muted);
}
.implication::before {
  content: 'Implication';
  display: block;
  color: var(--violet);
  font-size: 0.8em;
  letter-spacing: 0.1em;
  text-transform: uppercase;
  margin-bottom: 0.3em;
}

/* --- Footer --- */
.site-footer {
  text-align: center;
  padding: 3em 1.5em 2em;
  color: var(--text-dim);
  font-size: 0.85em;
  border-top: 1px solid var(--border);
  margin-top: 4em;
}
.site-footer .axiom {
  font-family: var(--mono);
  color: var(--gold);
  font-size: 0.9em;
  margin-bottom: 0.8em;
}

/* --- Mobile Nav Toggle --- */
.nav-toggle {
  display: none;
  background: none;
  border: 1px solid var(--border);
  border-radius: 4px;
  color: var(--text-muted);
  font-size: 1.4em;
  padding: 0.15em 0.4em;
  cursor: pointer;
  line-height: 1;
}
.nav-toggle:hover { color: var(--cyan); border-color: var(--cyan); }

@media (max-width: 768px) {
  .nav-toggle { display: block; }
  .site-nav .container {
    flex-wrap: wrap;
  }
  .site-nav .logo { font-size: 0.85em; }
  .site-nav .links {
    display: none;
    flex-direction: column;
    width: 100%;
    gap: 0;
    padding-top: 0.5em;
    border-top: 1px solid #333;
    margin-top: 0.5em;
    order: 10;
  }
  .site-nav .links.open {
    display: flex;
  }
  .site-nav .links a {
    padding: 0.55em 0;
    font-size: 0.95em;
    border-bottom: 1px solid #222;
    color: #bbb;
  }
  .site-nav .links a:last-child { border-bottom: none; }
}

/* --- Responsive --- */
/* --- Simulations & Interactive --- */
.sim-wrap {
  margin: 2em 0;
  border: 1px solid var(--border);
  border-radius: 6px;
  overflow: hidden;
  background: var(--bg);
}
.sim-wrap canvas {
  display: block;
  width: 100%;
  height: auto;
}
.sim-controls {
  display: flex;
  align-items: center;
  gap: 1em;
  padding: 0.8em 1.2em;
  background: var(--bg-raised);
  border-top: 1px solid var(--border);
  flex-wrap: wrap;
}
.sim-controls button {
  font-family: var(--mono);
  font-size: 0.85em;
  background: var(--bg);
  border: 1px solid var(--border);
  color: var(--text-muted);
  padding: 0.4em 1em;
  border-radius: 4px;
  cursor: pointer;
  transition: border-color 0.2s, color 0.2s;
}
.sim-controls button:hover,
.sim-controls button.active {
  border-color: var(--cyan);
  color: var(--cyan);
}
.sim-controls .sim-label {
  font-size: 0.8em;
  color: var(--text-dim);
  font-family: var(--mono);
}
.sim-caption {
  font-size: 0.85em;
  color: var(--text-dim);
  text-align: center;
  padding: 0.8em 1.2em;
  background: var(--bg-raised);
  border-top: 1px solid var(--border);
  font-style: italic;
}

/* --- Axiom Display --- */
.axiom-display {
  text-align: center;
  margin: 2em 0;
  padding: 1.5em;
  background: var(--bg-raised);
  border: 1px solid var(--border);
  border-radius: 6px;
}
.axiom-display .axiom-formula {
  font-family: var(--mono);
  font-size: 1.8em;
  color: var(--gold);
  letter-spacing: 0.05em;
  margin-bottom: 0.3em;
}
.axiom-display .axiom-gloss {
  font-size: 0.9em;
  color: var(--text-dim);
  font-style: italic;
}

/* --- Taxonomy Grid --- */
.taxonomy-grid {
  display: grid;
  grid-template-columns: auto 1fr 1fr;
  gap: 2px;
  margin: 2em 0;
  font-size: 0.95em;
}
.tax-corner { background: transparent; }
.tax-col-header {
  text-align: center;
  padding: 0.6em;
  color: var(--text-muted);
  font-size: 0.85em;
  letter-spacing: 0.05em;
  text-transform: uppercase;
}
.tax-row-header {
  writing-mode: vertical-lr;
  text-orientation: mixed;
  transform: rotate(180deg);
  text-align: center;
  padding: 0.6em;
  color: var(--text-muted);
  font-size: 0.85em;
  letter-spacing: 0.05em;
  text-transform: uppercase;
}
.tax-cell {
  padding: 1.2em;
  background: var(--bg-card);
  border: 1px solid var(--border);
  border-radius: 4px;
  text-align: center;
}
.tax-cell .tax-label {
  font-size: 1.05em;
  margin-bottom: 0.4em;
  font-weight: bold;
}
.tax-cell .tax-example {
  font-size: 0.85em;
  color: var(--text-dim);
  font-style: italic;
}
.tax-classical .tax-label { color: var(--text-muted); }
.tax-semantic .tax-label { color: var(--text-dim); }
.tax-paradox { border-color: var(--cyan); }
.tax-paradox .tax-label { color: var(--cyan); }
.tax-illogical { border-color: #ff6b6b; }
.tax-illogical .tax-label { color: #ff6b6b; }

/* --- Constants Board --- */
.constants-board { margin: 2em 0; }
.const-polynomial {
  text-align: center;
  font-family: var(--mono);
  font-size: 1.4em;
  color: var(--gold);
  margin-bottom: 0.5em;
}
.const-polynomial-sub {
  text-align: center;
  font-size: 0.9em;
  color: var(--text-dim);
  margin-bottom: 1.5em;
}
.param-list {
  display: flex;
  justify-content: center;
  gap: 0.8em;
  flex-wrap: wrap;
  margin-bottom: 1.5em;
}
.param {
  font-family: var(--mono);
  font-size: 0.9em;
  padding: 0.3em 0.7em;
  background: var(--bg-raised);
  border: 1px solid var(--border);
  border-radius: 4px;
  color: var(--mint);
  cursor: default;
}
.const-grid {
  display: grid;
  grid-template-columns: repeat(auto-fit, minmax(200px, 1fr));
  gap: 1em;
  margin-bottom: 1.5em;
}
.const-card {
  background: var(--bg-card);
  border: 1px solid var(--border);
  border-radius: 6px;
  padding: 1em 1.2em;
  cursor: pointer;
  transition: border-color 0.2s, transform 0.15s;
  text-align: center;
}
.const-card:hover, .const-card.active {
  border-color: var(--cyan);
  transform: translateY(-2px);
}
.const-card .const-name {
  font-family: var(--mono);
  font-size: 1.1em;
  color: var(--cyan);
  margin-bottom: 0.2em;
}
.const-card .const-value {
  font-family: var(--mono);
  font-size: 1.3em;
  color: var(--gold);
  margin-bottom: 0.3em;
}
.const-card .const-label {
  font-size: 0.8em;
  color: var(--text-dim);
}
.const-detail {
  background: var(--bg-raised);
  border: 1px solid var(--cyan);
  border-radius: 6px;
  padding: 1.2em 1.5em;
  margin-top: 1em;
}
.const-detail .const-formula {
  font-family: var(--mono);
  font-size: 1.1em;
  color: var(--cyan);
  margin-bottom: 0.5em;
}
.const-detail .const-calc {
  font-family: var(--mono);
  font-size: 0.95em;
  color: var(--mint);
  margin-bottom: 0.5em;
}
.const-detail .const-compare {
  font-size: 0.9em;
  color: var(--text-muted);
}

/* --- 64-State Explorer --- */
.state-explorer { margin: 2em 0; }
.state-toggles {
  display: grid;
  grid-template-columns: repeat(auto-fit, minmax(130px, 1fr));
  gap: 0.8em;
  margin-bottom: 1.5em;
}
.state-axis { text-align: center; }
.axis-label {
  font-size: 0.75em;
  color: var(--text-dim);
  text-transform: uppercase;
  letter-spacing: 0.05em;
  margin-bottom: 0.4em;
}
.axis-toggle {
  display: flex;
  align-items: center;
  justify-content: space-between;
  width: 100%;
  padding: 0.5em 0.6em;
  background: var(--bg-card);
  border: 1px solid var(--border);
  border-radius: 20px;
  cursor: pointer;
  font-family: var(--mono);
  font-size: 0.75em;
  transition: border-color 0.2s;
}
.axis-toggle.on { border-color: var(--cyan); }
.axis-toggle.off { border-color: #ff6b6b; }
.toggle-label-off { color: #ff6b6b; }
.toggle-label-on { color: var(--cyan); }
.toggle-indicator {
  width: 12px; height: 12px;
  border-radius: 50%;
  transition: background 0.2s;
}
.axis-toggle.on .toggle-indicator { background: var(--cyan); }
.axis-toggle.off .toggle-indicator { background: #ff6b6b; }
.state-info {
  text-align: center;
  padding: 1.5em;
  background: var(--bg-raised);
  border: 1px solid var(--border);
  border-radius: 6px;
}
.state-bits {
  font-family: var(--mono);
  font-size: 2em;
  letter-spacing: 0.15em;
  margin-bottom: 0.3em;
}
.state-bits .bit-on { color: var(--cyan); }
.state-bits .bit-off { color: #ff6b6b; }
.state-num {
  font-family: var(--mono);
  font-size: 0.85em;
  color: var(--text-dim);
  margin-bottom: 0.5em;
}
.state-arch {
  font-size: 1.3em;
  color: var(--gold);
  margin-bottom: 0.4em;
}
.state-desc {
  font-size: 0.9em;
  color: var(--text-muted);
  max-width: 500px;
  margin: 0 auto;
  line-height: 1.6;
}

/* --- Philosophy TOC --- */
.toc {
  margin: 0 auto 3em;
  max-width: 500px;
}
.toc ol {
  list-style: none;
  counter-reset: toc;
  margin: 0;
  padding: 0;
}
.toc li {
  counter-increment: toc;
  margin-bottom: 0.3em;
}
.toc li::before {
  content: counter(toc, upper-roman) ". ";
  color: var(--text-dim);
  font-family: var(--mono);
  font-size: 0.85em;
}
.toc a {
  color: var(--text-muted);
  font-size: 0.95em;
}
.toc a:hover { color: var(--cyan); }

/* --- Responsive --- */
@media (max-width: 600px) {
  .hero h1 { font-size: 2em; }
  .hero .axiom { font-size: 1.1em; }
  h1 { font-size: 1.8em; }
  h2 { font-size: 1.3em; }
  .taxonomy-grid { grid-template-columns: auto 1fr; font-size: 0.85em; }
  .state-toggles { grid-template-columns: repeat(2, 1fr); }
  .const-grid { grid-template-columns: 1fr; }
  .axiom-display .axiom-formula { font-size: 1.3em; }
}