/* FORMALIS — C4 Page */

.c4-page {
  max-width: 1200px;
  margin: 0 auto;
  padding: 2rem 1rem 4rem;
}

/* Header */
.c4-header {
  text-align: center;
  margin-bottom: 2rem;
}

.c4-header h1 {
  font-family: var(--font-display);
  font-size: 2rem;
  font-weight: 800;
  color: var(--ink);
  display: flex;
  align-items: center;
  justify-content: center;
  gap: 0.5rem;
}

.c4-subtitle {
  font-size: 1rem;
  color: var(--ink-soft);
  margin-top: 0.5rem;
}

/* Beta Badge */
.beta-badge {
  display: inline-block;
  font-size: 0.65rem;
  font-weight: 700;
  letter-spacing: 0.08em;
  text-transform: uppercase;
  padding: 0.15rem 0.5rem;
  border-radius: 3px;
  background: var(--signal);
  color: #fff;
  vertical-align: middle;
}

/* Top nav */
.top-row {
  display: flex;
  align-items: center;
  gap: 0.75rem;
  padding: 0.65rem 1.4rem;
}

.top-nav {
  display: flex;
  gap: 0.25rem;
  margin-left: 1rem;
}

.nav-link {
  font-size: 0.8rem;
  font-weight: 500;
  color: var(--ink-soft);
  text-decoration: none;
  padding: 0.35rem 0.65rem;
  border-radius: var(--radius);
  transition: background 0.15s, color 0.15s;
}

.nav-link:hover {
  background: var(--bg1);
  color: var(--ink);
}

.nav-link.is-active {
  background: var(--cyan);
  color: #fff;
}

.top-right {
  display: flex;
  align-items: center;
  gap: 0.5rem;
  margin-left: auto;
}

/* Info sections */
.c4-info,
.c4-terms {
  margin-bottom: 2.5rem;
}

.c4-info h2,
.c4-terms h2 {
  font-family: var(--font-display);
  font-size: 1.3rem;
  font-weight: 700;
  color: var(--ink);
  margin-bottom: 1rem;
}

/* Levels grid */
.c4-levels-grid {
  display: grid;
  grid-template-columns: repeat(auto-fill, minmax(260px, 1fr));
  gap: 1rem;
}

.c4-level-card {
  background: var(--bg1);
  border: 1px solid var(--line);
  border-radius: 6px;
  padding: 1.25rem;
  position: relative;
}

.c4-level-num {
  font-family: var(--font-display);
  font-size: 2rem;
  font-weight: 800;
  color: var(--cyan);
  opacity: 0.3;
  position: absolute;
  top: 0.5rem;
  right: 0.75rem;
}

.c4-level-card h3 {
  font-family: var(--font-display);
  font-size: 1rem;
  font-weight: 700;
  color: var(--ink);
  margin-bottom: 0.5rem;
}

.c4-level-card p {
  font-size: 0.85rem;
  color: var(--ink-soft);
  line-height: 1.5;
  margin-bottom: 0.75rem;
}

.c4-level-keywords {
  display: flex;
  flex-wrap: wrap;
  gap: 0.35rem;
}

.c4-level-keywords code {
  font-family: var(--font-mono, 'JetBrains Mono', monospace);
  font-size: 0.75rem;
  padding: 0.15rem 0.4rem;
  background: var(--bg0);
  border: 1px solid var(--line);
  border-radius: 3px;
  color: var(--cyan-deep);
}

/* Terms grid */
.c4-terms-grid {
  display: grid;
  grid-template-columns: repeat(auto-fill, minmax(300px, 1fr));
  gap: 1.5rem;
}

.c4-term-group h3 {
  font-family: var(--font-display);
  font-size: 0.95rem;
  font-weight: 700;
  color: var(--ink);
  margin-bottom: 0.5rem;
  margin-top: 1rem;
}

.c4-term-group h3:first-child {
  margin-top: 0;
}

.c4-term-group dl {
  margin: 0;
}

.c4-term-group dt {
  font-size: 0.85rem;
  font-weight: 600;
  color: var(--ink);
  margin-top: 0.5rem;
}

.c4-term-group dt code {
  font-family: var(--font-mono, 'JetBrains Mono', monospace);
  font-size: 0.8rem;
  padding: 0.1rem 0.35rem;
  background: var(--bg0);
  border: 1px solid var(--line);
  border-radius: 3px;
  color: var(--cyan-deep);
}

.c4-term-group dd {
  font-size: 0.8rem;
  color: var(--ink-soft);
  margin: 0.15rem 0 0;
  line-height: 1.4;
}

/* Generator */
.c4-generator {
  background: var(--bg1);
  border: 1px solid var(--line);
  border-radius: 8px;
  padding: 1.5rem;
}

.c4-generator-header {
  margin-bottom: 1rem;
}

.c4-generator-header h2 {
  font-family: var(--font-display);
  font-size: 1.2rem;
  font-weight: 700;
  color: var(--ink);
  margin: 0;
}

.c4-generator-hint {
  font-size: 0.85rem;
  color: var(--ink-soft);
  margin-top: 0.35rem;
}

.c4-editor-row {
  margin-bottom: 1.5rem;
}

.c4-editor-row label {
  display: block;
  font-size: 0.85rem;
  font-weight: 600;
  color: var(--ink-soft);
  margin-bottom: 0.4rem;
}

.c4-editor-row textarea {
  width: 100%;
  min-height: 250px;
  padding: 0.75rem 1rem;
  font-family: var(--font-mono, 'JetBrains Mono', monospace);
  font-size: 0.85rem;
  line-height: 1.5;
  border: 1px solid var(--line);
  border-radius: var(--radius);
  background: var(--bg0);
  color: var(--ink);
  resize: vertical;
  box-sizing: border-box;
  tab-size: 2;
}

.c4-editor-row textarea:focus {
  outline: none;
  border-color: var(--cyan);
  box-shadow: 0 0 0 2px rgba(0, 119, 168, 0.12);
}

.c4-editor-actions {
  display: flex;
  gap: 0.5rem;
  align-items: center;
  margin-top: 0.75rem;
}

.c4-status {
  font-size: 0.8rem;
  color: var(--ink-soft);
  margin-left: 0.5rem;
}

/* Diagram blocks */
.c4-diagram-block {
  margin-top: 1.5rem;
  background: var(--bg0);
  border: 1px solid var(--line);
  border-radius: 6px;
  padding: 1rem;
}

.c4-diagram-block[hidden] {
  display: none;
}

.c4-diagram-block h3 {
  font-family: var(--font-display);
  font-size: 1rem;
  font-weight: 700;
  color: var(--ink);
  margin-bottom: 0.75rem;
}

.c4-diagram-container {
  display: flex;
  justify-content: center;
  overflow-x: auto;
  min-height: 200px;
}

.c4-diagram-container svg {
  max-width: 100%;
  height: auto;
}

/* Auth area */
.auth-area {
  display: flex;
  align-items: center;
  gap: 0.5rem;
}

.auth-area .btn-sm {
  font-size: 0.75rem;
  padding: 0.3rem 0.65rem;
  border-radius: var(--radius);
  border: 1px solid var(--line);
  background: var(--paper);
  color: var(--ink);
  cursor: pointer;
  white-space: nowrap;
}

.auth-area .btn-sm:hover {
  background: var(--bg1);
}

.auth-user {
  font-size: 0.75rem;
  color: var(--ink-soft);
  white-space: nowrap;
}

/* Overlay */
.overlay {
  position: fixed;
  inset: 0;
  z-index: 9000;
  background: rgba(0, 0, 0, 0.35);
  display: grid;
  place-items: center;
  backdrop-filter: blur(3px);
}

.overlay[hidden] { display: none; }

.spinner {
  width: 36px;
  height: 36px;
  border: 3px solid var(--line);
  border-top-color: var(--cyan);
  border-radius: 50%;
  animation: spin 0.7s linear infinite;
}

@keyframes spin { to { transform: rotate(360deg); } }

.overlay p {
  color: #fff;
  font-size: 0.9rem;
  margin-top: 0.75rem;
}

/* Dark theme */
[data-theme="dark"] .c4-level-card { background: var(--bg1); border-color: var(--line); }
[data-theme="dark"] .c4-generator { background: var(--bg1); border-color: var(--line); }
[data-theme="dark"] .c4-diagram-block { background: var(--bg0); border-color: var(--line); }

/* Responsive */
@media (max-width: 700px) {
  .top-nav { display: none; }
  .c4-levels-grid { grid-template-columns: 1fr; }
  .c4-terms-grid { grid-template-columns: 1fr; }
}