/* === MathProof CTF — Dark Academic Terminal === */
:root {
  --bg:         #0d0f12;
  --bg2:        #13161b;
  --bg3:        #1a1e26;
  --border:     #2a2f3d;
  --border-lit: #3d4558;
  --accent:     #c8a96e;     /* gold */
  --accent2:    #7eb8c9;     /* steel blue */
  --accent3:    #9b72cf;     /* violet */
  --danger:     #e05c5c;
  --success:    #5caa7f;
  --text:       #d4cfc8;
  --text-dim:   #7a7870;
  --text-mid:   #a09b93;
  --mono:       'JetBrains Mono', monospace;
  --serif:      'Playfair Display', serif;
  --body-serif: 'Source Serif 4', serif;
  --radius:     6px;
  --glow:       0 0 18px rgba(200, 169, 110, 0.12);
}

*, *::before, *::after { box-sizing: border-box; margin: 0; padding: 0; }

html { font-size: 16px; scroll-behavior: smooth; }

body {
  background: var(--bg);
  color: var(--text);
  font-family: var(--body-serif);
  font-weight: 300;
  min-height: 100vh;
  display: flex;
  flex-direction: column;
  position: relative;
  overflow-x: hidden;
}

/* Noise texture overlay */
.noise-overlay {
  position: fixed; inset: 0;
  background-image: url("data:image/svg+xml,%3Csvg viewBox='0 0 256 256' xmlns='http://www.w3.org/2000/svg'%3E%3Cfilter id='noise'%3E%3CfeTurbulence type='fractalNoise' baseFrequency='0.9' numOctaves='4' stitchTiles='stitch'/%3E%3C/filter%3E%3Crect width='100%25' height='100%25' filter='url(%23noise)' opacity='0.04'/%3E%3C/svg%3E");
  pointer-events: none;
  z-index: 1000;
  opacity: 0.6;
}

/* === NAVBAR === */
.navbar {
  display: flex; align-items: center; justify-content: space-between;
  padding: 0 2.5rem;
  height: 60px;
  background: var(--bg2);
  border-bottom: 1px solid var(--border);
  position: sticky; top: 0; z-index: 100;
}

.nav-brand {
  display: flex; align-items: center; gap: 0.6rem;
  text-decoration: none;
}
.brand-symbol {
  font-family: var(--serif);
  font-size: 1.6rem;
  color: var(--accent);
  line-height: 1;
}
.brand-text {
  font-family: var(--serif);
  font-size: 1.1rem;
  color: var(--text);
  letter-spacing: 0.05em;
}

.nav-links {
  display: flex; align-items: center; gap: 0.25rem;
}
.nav-link {
  font-family: var(--mono);
  font-size: 0.72rem;
  font-weight: 400;
  text-decoration: none;
  color: var(--text-dim);
  padding: 0.4rem 0.9rem;
  border-radius: var(--radius);
  letter-spacing: 0.04em;
  transition: color 0.2s, background 0.2s;
}
.nav-link:hover { color: var(--text); background: var(--bg3); }
.nav-cta {
  color: var(--accent);
  border: 1px solid rgba(200,169,110,0.3);
}
.nav-cta:hover { background: rgba(200,169,110,0.1); color: var(--accent); }
.nav-logout { color: var(--danger); }
.nav-logout:hover { background: rgba(224,92,92,0.08); color: var(--danger); }

/* === MAIN CONTENT === */
.main-content {
  flex: 1;
  padding: 2.5rem 2.5rem;
  max-width: 1200px;
  width: 100%;
  margin: 0 auto;
}

/* === MESSAGES === */
.messages-container { margin-bottom: 1.5rem; }
.message {
  display: flex; align-items: center; gap: 0.75rem;
  padding: 0.75rem 1rem;
  border-radius: var(--radius);
  font-family: var(--mono);
  font-size: 0.8rem;
  margin-bottom: 0.5rem;
  border-left: 3px solid;
}
.message-error { background: rgba(224,92,92,0.08); border-color: var(--danger); color: #f07070; }
.message-success { background: rgba(92,170,127,0.08); border-color: var(--success); color: #70c895; }
.message-icon { font-size: 0.7rem; }

/* === PAGE HEADERS === */
.page-header {
  margin-bottom: 2.5rem;
  padding-bottom: 1.5rem;
  border-bottom: 1px solid var(--border);
}
.page-title {
  font-family: var(--serif);
  font-size: 2rem;
  font-weight: 700;
  color: var(--text);
  line-height: 1.2;
}
.page-subtitle {
  font-size: 0.9rem;
  color: var(--text-dim);
  margin-top: 0.5rem;
  font-style: italic;
}

/* === CARDS === */
.card {
  background: var(--bg2);
  border: 1px solid var(--border);
  border-radius: var(--radius);
  padding: 1.5rem;
  transition: border-color 0.2s, box-shadow 0.2s;
}
.card:hover { border-color: var(--border-lit); box-shadow: var(--glow); }
.card-header {
  display: flex; align-items: flex-start; justify-content: space-between;
  margin-bottom: 0.75rem;
}
.card-title {
  font-family: var(--serif);
  font-size: 1.1rem;
  color: var(--text);
}
.card-meta {
  font-family: var(--mono);
  font-size: 0.7rem;
  color: var(--text-dim);
  margin-top: 0.35rem;
}

/* === BADGES === */
.badge {
  font-family: var(--mono);
  font-size: 0.65rem;
  font-weight: 600;
  letter-spacing: 0.08em;
  text-transform: uppercase;
  padding: 0.2rem 0.55rem;
  border-radius: 3px;
}
.badge-easy    { background: rgba(92,170,127,0.15); color: var(--success); }
.badge-medium  { background: rgba(200,169,110,0.15); color: var(--accent); }
.badge-hard    { background: rgba(224,92,92,0.15); color: var(--danger); }
.badge-compiled { background: rgba(92,170,127,0.1); color: var(--success); border: 1px solid rgba(92,170,127,0.2); }
.badge-error   { background: rgba(224,92,92,0.1); color: var(--danger); border: 1px solid rgba(224,92,92,0.2); }
.badge-pending { background: rgba(126,184,201,0.1); color: var(--accent2); border: 1px solid rgba(126,184,201,0.2); }

/* === PROBLEM GRID === */
.problem-grid {
  display: grid;
  grid-template-columns: repeat(auto-fill, minmax(320px, 1fr));
  gap: 1.25rem;
}
.problem-card { display: flex; flex-direction: column; gap: 0.75rem; }
.problem-points {
  font-family: var(--mono);
  font-size: 1.4rem;
  font-weight: 600;
  color: var(--accent);
}
.problem-desc {
  font-size: 0.88rem;
  color: var(--text-mid);
  line-height: 1.6;
}
.problem-link {
  font-family: var(--mono);
  font-size: 0.72rem;
  color: var(--accent2);
  text-decoration: none;
  letter-spacing: 0.04em;
  margin-top: auto;
}
.problem-link:hover { text-decoration: underline; }

/* === FORMS === */
.form-wrapper {
  max-width: 480px;
  margin: 0 auto;
}
.form-card {
  background: var(--bg2);
  border: 1px solid var(--border);
  border-radius: var(--radius);
  padding: 2.5rem;
}
.form-title {
  font-family: var(--serif);
  font-size: 1.6rem;
  color: var(--text);
  margin-bottom: 0.4rem;
}
.form-subtitle {
  font-family: var(--mono);
  font-size: 0.72rem;
  color: var(--text-dim);
  margin-bottom: 2rem;
}
.form-group { margin-bottom: 1.25rem; }
.form-label {
  display: block;
  font-family: var(--mono);
  font-size: 0.7rem;
  font-weight: 600;
  letter-spacing: 0.08em;
  text-transform: uppercase;
  color: var(--text-dim);
  margin-bottom: 0.4rem;
}
.form-input, .form-select, .form-textarea {
  width: 100%;
  background: var(--bg3);
  border: 1px solid var(--border);
  border-radius: var(--radius);
  color: var(--text);
  font-family: var(--mono);
  font-size: 0.82rem;
  padding: 0.65rem 0.9rem;
  transition: border-color 0.2s, box-shadow 0.2s;
  outline: none;
}
.form-input:focus, .form-select:focus, .form-textarea:focus {
  border-color: var(--accent);
  box-shadow: 0 0 0 3px rgba(200,169,110,0.1);
}
.form-textarea {
  min-height: 320px;
  resize: vertical;
  font-size: 0.8rem;
  line-height: 1.6;
  tab-size: 2;
}
.form-select option { background: var(--bg3); }

/* === BUTTONS === */
.btn {
  display: inline-flex; align-items: center; gap: 0.5rem;
  font-family: var(--mono);
  font-size: 0.78rem;
  font-weight: 600;
  letter-spacing: 0.06em;
  text-transform: uppercase;
  text-decoration: none;
  padding: 0.65rem 1.4rem;
  border-radius: var(--radius);
  border: none;
  cursor: pointer;
  transition: all 0.2s;
}
.btn-primary {
  background: var(--accent);
  color: #0d0f12;
}
.btn-primary:hover { background: #d9bb7e; box-shadow: 0 0 20px rgba(200,169,110,0.3); }
.btn-secondary {
  background: transparent;
  color: var(--text-mid);
  border: 1px solid var(--border);
}
.btn-secondary:hover { border-color: var(--border-lit); color: var(--text); }
.btn-full { width: 100%; justify-content: center; }

/* === UPLOAD PAGE === */
.upload-layout {
  display: grid;
  grid-template-columns: 1fr 340px;
  gap: 1.5rem;
  align-items: start;
}
.latex-editor-wrap {
  background: var(--bg2);
  border: 1px solid var(--border);
  border-radius: var(--radius);
  overflow: hidden;
}
.editor-topbar {
  display: flex; align-items: center; justify-content: space-between;
  padding: 0.6rem 1rem;
  background: var(--bg3);
  border-bottom: 1px solid var(--border);
}
.editor-lang-tag {
  font-family: var(--mono);
  font-size: 0.65rem;
  font-weight: 600;
  letter-spacing: 0.1em;
  text-transform: uppercase;
  color: var(--accent);
}
.editor-dots { display: flex; gap: 5px; }
.editor-dot {
  width: 10px; height: 10px;
  border-radius: 50%;
}
.dot-r { background: #e05c5c; }
.dot-y { background: #d4a845; }
.dot-g { background: #5caa7f; }

.latex-textarea {
  width: 100%;
  background: var(--bg);
  border: none;
  outline: none;
  color: #c8e0b4;
  font-family: var(--mono);
  font-size: 0.82rem;
  line-height: 1.7;
  padding: 1.25rem 1.5rem;
  min-height: 420px;
  resize: vertical;
  tab-size: 2;
}

/* Sidebar */
.upload-sidebar { display: flex; flex-direction: column; gap: 1rem; }
.sidebar-card {
  background: var(--bg2);
  border: 1px solid var(--border);
  border-radius: var(--radius);
  padding: 1.25rem;
}
.sidebar-title {
  font-family: var(--mono);
  font-size: 0.7rem;
  font-weight: 600;
  letter-spacing: 0.1em;
  text-transform: uppercase;
  color: var(--text-dim);
  margin-bottom: 1rem;
}
.snippet-list { display: flex; flex-direction: column; gap: 0.4rem; }
.snippet-btn {
  background: var(--bg3);
  border: 1px solid var(--border);
  border-radius: 4px;
  color: var(--text-mid);
  font-family: var(--mono);
  font-size: 0.72rem;
  padding: 0.5rem 0.75rem;
  cursor: pointer;
  text-align: left;
  transition: all 0.15s;
}
.snippet-btn:hover { border-color: var(--accent); color: var(--accent); }
.snippet-code {
  font-size: 0.65rem;
  color: var(--text-dim);
  display: block;
  margin-top: 0.15rem;
  font-style: italic;
}

/* === SUBMISSION VIEW === */
.submission-layout {
  display: grid;
  grid-template-columns: 1fr 1fr;
  gap: 1.5rem;
}
.code-block {
  background: var(--bg);
  border: 1px solid var(--border);
  border-radius: var(--radius);
  overflow: hidden;
}
.code-block-header {
  display: flex; align-items: center; justify-content: space-between;
  padding: 0.6rem 1rem;
  background: var(--bg3);
  border-bottom: 1px solid var(--border);
}
.code-block-label {
  font-family: var(--mono);
  font-size: 0.65rem;
  font-weight: 600;
  letter-spacing: 0.1em;
  text-transform: uppercase;
  color: var(--text-dim);
}
.code-block-body {
  padding: 1.25rem 1.5rem;
  font-family: var(--mono);
  font-size: 0.78rem;
  line-height: 1.7;
  color: #c8e0b4;
  white-space: pre-wrap;
  word-break: break-all;
  max-height: 500px;
  overflow-y: auto;
}
.output-block .code-block-body { color: #b0cfe0; }

/* === DASHBOARD === */
.dashboard-header {
  display: flex; align-items: flex-end; justify-content: space-between;
  margin-bottom: 2rem;
}
.stats-row {
  display: grid;
  grid-template-columns: repeat(3, 1fr);
  gap: 1rem;
  margin-bottom: 2rem;
}
.stat-card {
  background: var(--bg2);
  border: 1px solid var(--border);
  border-radius: var(--radius);
  padding: 1.25rem 1.5rem;
}
.stat-value {
  font-family: var(--mono);
  font-size: 2rem;
  font-weight: 600;
  color: var(--accent);
}
.stat-label {
  font-family: var(--mono);
  font-size: 0.68rem;
  letter-spacing: 0.08em;
  text-transform: uppercase;
  color: var(--text-dim);
  margin-top: 0.25rem;
}

/* === LEADERBOARD === */
.leaderboard-table {
  width: 100%;
  border-collapse: collapse;
}
.leaderboard-table th {
  font-family: var(--mono);
  font-size: 0.65rem;
  font-weight: 600;
  letter-spacing: 0.1em;
  text-transform: uppercase;
  color: var(--text-dim);
  padding: 0.75rem 1rem;
  border-bottom: 1px solid var(--border);
  text-align: left;
}
.leaderboard-table td {
  padding: 0.9rem 1rem;
  font-family: var(--mono);
  font-size: 0.82rem;
  color: var(--text-mid);
  border-bottom: 1px solid rgba(42,47,61,0.5);
}
.leaderboard-table tr:hover td { background: var(--bg2); }
.rank-1 td { color: var(--accent) !important; }
.rank-2 td { color: var(--accent2) !important; }
.rank-3 td { color: var(--accent3) !important; }
.rank-num {
  font-size: 0.75rem;
  font-weight: 600;
  width: 2rem;
  text-align: center;
}

/* === HERO / INDEX === */
.hero {
  text-align: center;
  padding: 4rem 0 3rem;
}
.hero-symbol {
  font-family: var(--serif);
  font-size: 5rem;
  color: var(--accent);
  display: block;
  margin-bottom: 1rem;
  opacity: 0.8;
}
.hero-title {
  font-family: var(--serif);
  font-size: 2.8rem;
  font-weight: 700;
  color: var(--text);
  margin-bottom: 0.75rem;
  line-height: 1.15;
}
.hero-sub {
  font-style: italic;
  font-size: 1.05rem;
  color: var(--text-dim);
  max-width: 520px;
  margin: 0 auto 2rem;
  line-height: 1.6;
}
.hero-actions { display: flex; justify-content: center; gap: 0.75rem; }

.section-title {
  font-family: var(--serif);
  font-size: 1.3rem;
  color: var(--text);
  margin-bottom: 1.25rem;
}
.section-divider {
  border: none;
  border-top: 1px solid var(--border);
  margin: 2.5rem 0;
}

/* === AUTH LINK === */
.auth-link {
  text-align: center;
  margin-top: 1.5rem;
  font-family: var(--mono);
  font-size: 0.72rem;
  color: var(--text-dim);
}
.auth-link a { color: var(--accent2); text-decoration: none; }
.auth-link a:hover { text-decoration: underline; }

/* === FOOTER === */
.footer {
  border-top: 1px solid var(--border);
  padding: 1rem 2.5rem;
  background: var(--bg2);
}
.footer-inner {
  display: flex; align-items: center; gap: 0.75rem;
  font-family: var(--mono);
  font-size: 0.68rem;
  color: var(--text-dim);
  max-width: 1200px;
  margin: 0 auto;
}
.footer-symbol { color: var(--accent3); font-size: 0.9rem; }
.footer-version { margin-left: auto; opacity: 0.5; }

/* === SCROLLBAR === */
::-webkit-scrollbar { width: 6px; height: 6px; }
::-webkit-scrollbar-track { background: var(--bg); }
::-webkit-scrollbar-thumb { background: var(--border-lit); border-radius: 3px; }

/* === SUBMISSION LIST === */
.submission-list { display: flex; flex-direction: column; gap: 0.75rem; }
.submission-row {
  display: grid;
  grid-template-columns: 1fr auto auto auto;
  align-items: center;
  gap: 1rem;
  background: var(--bg2);
  border: 1px solid var(--border);
  border-radius: var(--radius);
  padding: 0.9rem 1.25rem;
  transition: border-color 0.2s;
}
.submission-row:hover { border-color: var(--border-lit); }
.submission-problem { font-size: 0.88rem; color: var(--text); }
.submission-time { font-family: var(--mono); font-size: 0.68rem; color: var(--text-dim); }
.submission-link {
  font-family: var(--mono);
  font-size: 0.68rem;
  color: var(--accent2);
  text-decoration: none;
}
.submission-link:hover { text-decoration: underline; }

.empty-state {
  text-align: center;
  padding: 3rem;
  color: var(--text-dim);
  font-family: var(--mono);
  font-size: 0.82rem;
}
.empty-symbol { font-size: 2rem; margin-bottom: 0.75rem; display: block; }

/* select arrow */
.form-select {
  appearance: none;
  background-image: url("data:image/svg+xml,%3Csvg xmlns='http://www.w3.org/2000/svg' width='10' height='6'%3E%3Cpath d='M0 0l5 6 5-6z' fill='%237a7870'/%3E%3C/svg%3E");
  background-repeat: no-repeat;
  background-position: right 0.75rem center;
  padding-right: 2rem;
}