/* =============================================================================
   Aleph Prover Design System
   Fonts: Silkscreen (pixel headings), Source Serif 4 (body), JetBrains Mono (mono)
   ============================================================================= */

/* @font-face declarations for proprietary fonts */
@font-face {
  font-family: 'PP NeueBit';
  src: url('/static/fonts/PPNeueBit-Regular.woff2') format('woff2');
  font-weight: 400;
  font-style: normal;
  font-display: block;
}
@font-face {
  font-family: 'Saans Mono';
  src: url('/static/fonts/SaansMono-Regular.woff2') format('woff2');
  font-weight: 400;
  font-style: normal;
  font-display: block;
}
@font-face {
  font-family: 'Saans Mono';
  src: url('/static/fonts/SaansMono-Medium.woff2') format('woff2');
  font-weight: 500;
  font-style: normal;
  font-display: block;
}
@font-face {
  font-family: 'Saans Mono';
  src: url('/static/fonts/SaansMono-Bold.woff2') format('woff2');
  font-weight: 700;
  font-style: normal;
  font-display: block;
}
@font-face {
  font-family: 'Serrif';
  src: url('/static/fonts/Serrif-Thin.woff2') format('woff2');
  font-weight: 100;
  font-style: normal;
  font-display: block;
}
@font-face {
  font-family: 'Serrif';
  src: url('/static/fonts/Serrif-Regular.woff2') format('woff2');
  font-weight: 400;
  font-style: normal;
  font-display: block;
}
@font-face {
  font-family: 'Serrif';
  src: url('/static/fonts/Serrif-Bold.woff2') format('woff2');
  font-weight: 700;
  font-style: normal;
  font-display: block;
}

:root {
  /* Colors – monochrome-first palette */
  --color-primary: #000000;
  --color-primary-hover: #333333;
  --color-success: #3C7E44;
  --color-success-base: #E9F4EA;
  --color-warning: #BF8102;
  --color-warning-base: #FEF3DB;
  --color-error: #C34242;
  --color-error-base: #FFEDED;
  --color-info: #3662E3;
  --color-info-base: #F1F8FD;

  --color-text-primary: #000000;
  --color-text-secondary: #555555;
  --color-text-muted: #999999;
  --color-text-dim: #808080;

  --color-bg-primary: #ffffff;
  --color-bg-secondary: #f5f5f5;
  --color-bg-tertiary: #ebebeb;
  --color-bg-page: #e5e5e5;

  --color-border: #d4d4d4;
  --color-border-hover: #a3a3a3;

  /* Font families */
  --font-pixel: 'PP NeueBit';
  --font-serif: 'Serrif';
  --font-mono: 'Saans Mono';
  --font-system: -apple-system, BlinkMacSystemFont, 'Segoe UI', 'Roboto', sans-serif;

  /* Spacing */
  --spacing-xs: 0.25rem;
  --spacing-sm: 0.5rem;
  --spacing-md: 1rem;
  --spacing-lg: 1.5rem;
  --spacing-xl: 2.5rem;
  --spacing-xxl: 6rem;

  /* Border radius */
  --radius-sm: 0.35rem;
  --radius-md: 0.75rem;
  --radius-lg: 1.25rem;
  --radius-pill: 1000px;

  /* Shadows */
  --shadow-sm: 0 1px 2px rgba(0, 0, 0, 0.04);
  --shadow-md: 0 4px 12px rgba(0, 0, 0, 0.06);
  --shadow-lg: 0 8px 24px rgba(0, 0, 0, 0.1);

  --layout-max-width: 1120px;
  --layout-padding-top: 84px;
  --layout-padding-x: 3px;
}

*, *::before, *::after {
  box-sizing: border-box;
  font-variant-ligatures: none;
}

/* =============================================================================
   Base styles
   ============================================================================= */

body.page {
  font-family: var(--font-serif);
  margin: 0;
  min-height: 100vh;
  display: flex;
  flex-direction: column;
  background-color: var(--color-bg-page);
  color: var(--color-text-primary);
  font-size: 0.9375rem;
  line-height: 1.6;
}

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

.page__header {
  background-color: transparent;
  color: var(--color-text-primary);
  padding: var(--layout-padding-top) var(--layout-padding-x) 0;
  display: flex;
  align-items: flex-end;
  justify-content: space-between;
  gap: var(--spacing-md);
  width: min(100%, var(--layout-max-width));
  margin: 0 auto;
}

.page__header .header-logo {
  font-family: var(--font-serif);
  font-size: 1.5rem;
  font-weight: 400;
  line-height: 1.15;
  color: var(--color-text-primary);
  text-decoration: none !important;
  white-space: pre-line;
  -webkit-font-smoothing: antialiased;
}

/* Keep old h1 in header working as fallback */
.page__header h1 {
  margin: 0;
  font-family: var(--font-serif);
  font-size: 1.5rem;
  font-weight: 400;
  line-height: 1.25;
}

.page__header h1 a {
  color: var(--color-text-primary);
  text-decoration: none;
}

.page__header h1 a:hover {
  opacity: 0.7;
}

.page__header a {
  color: inherit;
  text-decoration: none;
}

.page__header a:hover {
  text-decoration: none;
}

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

.page__footer {
  background-color: transparent;
  padding: 0 var(--layout-padding-x);
  padding-bottom: 5rem;
  font-size: 0.875rem;
  color: var(--color-text-primary);
  width: min(100%, var(--layout-max-width));
  margin: 0 auto;
  margin-top: auto;
}

.footer-content {
  display: flex;
  align-items: center;
  justify-content: space-between;
  gap: var(--spacing-md);
  padding-top: var(--spacing-xl);
  border-top: 1px solid var(--color-border);
}

.footer-links {
  display: flex;
  align-items: center;
  gap: 18px;
  flex-wrap: wrap;
}

.footer-links a {
  color: var(--color-text-primary);
  text-decoration: none;
  font-family: var(--font-mono);
  font-size: 0.875rem;
  transition: opacity 0.2s ease;
}

.footer-links a:hover {
  color: var(--color-text-secondary);
}

.footer-separator {
  color: var(--color-text-muted);
  font-size: 0.8125rem;
}

.footer-copyright {
  font-family: var(--font-pixel);
  font-size: 3.75rem;
  line-height: 0.7;
  color: var(--color-text-primary);
}

/* =============================================================================
   Main Content Area
   ============================================================================= */

.page__main {
  flex: 1;
  padding: var(--spacing-xxl) var(--layout-padding-x) var(--spacing-xl);
  width: min(100%, var(--layout-max-width));
  margin: 0 auto var(--spacing-xl);
  display: flex;
  flex-direction: column;
  gap: var(--spacing-xl);
}

/* =============================================================================
   View Header (page titles)
   ============================================================================= */

.view-header {
  display: flex;
  align-items: flex-start;
  justify-content: space-between;
  gap: var(--spacing-lg);
  flex-wrap: wrap;
}

.view-header__text {
  display: flex;
  flex-direction: column;
  gap: var(--spacing-xs);
  max-width: 600px;
}

.view-title {
  margin: 0;
  font-family: var(--font-pixel);
  font-size: 4rem;
  font-weight: 400;
  color: var(--color-text-primary);
  text-transform: uppercase;
  letter-spacing: 0.02em;
  line-height: 0.75;
}

.view-subtitle {
  margin: 0;
  font-family: var(--font-serif);
  font-size: 1rem;
  color: var(--color-text-secondary);
}

/* =============================================================================
   Typography
   ============================================================================= */

h1, h2, h3, h4, h5, h6 {
  margin: 0 0 var(--spacing-md) 0;
  font-family: var(--font-mono);
  font-weight: 600;
  color: var(--color-text-primary);
  line-height: 1.3;
}

h1 { font-size: 1.75rem; }
h2 { font-size: 1.125rem; }
h3 { font-size: 1rem; }
h4 { font-size: 0.9375rem; }

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

a[href^="http"]:not(.button):not(.chip):not(.back-link):not(.dropdown-item):not(.card__link):not(.github-login-button), a[href^="mailto:"], a[download] {
  text-decoration: underline;
  text-underline-offset: 2px;
}

.footer-links a,
.account-dropdown-menu a,
.request-card a {
  text-decoration: none !important;
}

a:hover:not(.button):not(.chip):not(.github-login-button):not(.header-logo) {
  color: var(--color-text-secondary);
}

a.back-link,
a.back-link:hover {
  text-decoration: none;
}

.back-link {
  display: inline-block;
  margin-bottom: -12px;
  color: var(--color-text-primary);
  font-family: var(--font-pixel);
  font-size: 1.5rem;
  text-transform: uppercase;
  letter-spacing: 0.04em;
}

.back-link:hover {
  color: var(--color-text-secondary);
}

/* =============================================================================
   Cards
   ============================================================================= */

.card {
  background: var(--color-bg-primary);
  border-radius: 18px;
  padding: 2.25rem 2rem 3rem;
  box-shadow: none;
  display: flex;
  flex-direction: column;
  gap: var(--spacing-md);
}

.card.card--clickable {
  position: relative;
  transition: box-shadow 0.2s ease, border-color 0.2s ease, transform 0.2s ease;
}

.card.card--clickable:hover {
  box-shadow: var(--shadow-md);
  transform: translateY(-1px);
}

.card__link {
  position: absolute;
  inset: 0;
  z-index: 1;
}

.card__header {
  display: flex;
  align-items: baseline;
  justify-content: space-between;
  gap: var(--spacing-sm);
  flex-wrap: wrap;
}

.card--form .card__header {
  border-bottom: none;
  padding-bottom: var(--spacing-md);
  margin-bottom: var(--spacing-md);
}

.card--form .card__title {
  border-bottom: 1px solid var(--color-border);
  padding-bottom: var(--spacing-sm);
  margin-bottom: var(--spacing-sm);
}

.card__title {
  margin: 0;
  font-family: var(--font-serif);
  font-size: 1.25rem;
  font-weight: 400;
}

.card__subtitle {
  margin: 0;
  color: var(--color-text-secondary);
  font-family: var(--font-mono);
  font-size: 0.8125rem;
}

.card__body {
  display: flex;
  flex-direction: column;
  gap: var(--spacing-md);
}

.card--form {
  gap: 0;
}

.card--status {
  gap: var(--spacing-sm);
}

.card--status .card__header {
  margin-bottom: 0;
  padding-bottom: 0;
}

.card--status .status-result {
  margin-bottom: var(--spacing-sm);
}

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

button,
.button {
  padding: 0.625rem 1.5rem;
  border-radius: var(--radius-pill);
  border: 1px solid var(--color-primary);
  background: var(--color-primary);
  color: #fff;
  font: inherit;
  font-family: var(--font-mono);
  font-size: 0.8125rem;
  line-height: normal;
  font-weight: 500;
  letter-spacing: 0.02em;
  cursor: pointer;
  transition: background-color 0.2s ease, border-color 0.2s ease, transform 0.1s ease, opacity 0.2s ease;
  display: inline-flex;
  align-items: center;
  justify-content: center;
  gap: var(--spacing-sm);
  text-decoration: none;
  text-transform: uppercase;
}

button:hover,
.button:hover {
  opacity: 0.8;
  text-decoration: none;
}

button:active,
.button:active {
  transform: translateY(1px);
}

button:disabled,
.button:disabled {
  opacity: 0.4;
  cursor: not-allowed;
}

.button--ghost {
  background: transparent;
  color: var(--color-text-primary);
  border-color: var(--color-text-primary);
}

.button--ghost:hover {
  opacity: 0.8;
}

.button--success {
  background: var(--color-primary);
  border-color: var(--color-primary);
}

.button--success:hover {
  opacity: 0.8;
}

.button--danger {
  background: transparent;
  border-color: var(--color-error);
  color: var(--color-error);
}

.button--danger:hover {
  opacity: 0.8;
}

.button--primary {
  background: var(--color-primary);
  border-color: var(--color-primary);
}

.button--primary:hover {
  opacity: 0.8;
}

.button-group {
  display: flex;
  flex-wrap: wrap;
  align-items: center;
  gap: var(--spacing-sm);
}

.button-group__item {
  display: flex;
  margin: 0;
}

/* =============================================================================
   Chips / Badges
   ============================================================================= */

.chip {
  display: inline-flex;
  align-items: center;
  gap: var(--spacing-xs);
  border-radius: var(--radius-sm);
  padding: 0.5rem 1rem;
  font-family: var(--font-mono);
  font-size: 0.8125rem;
  font-weight: 500;
  letter-spacing: 0.02em;
  background: var(--color-bg-tertiary);
  color: var(--color-text-secondary);
}

.chip--muted {
  background: rgba(0, 0, 0, 0.06);
  color: var(--color-text-secondary);
}

.chip--stage {
  background: rgba(0, 0, 0, 0.08);
  color: var(--color-text-primary);
}

.chip--state {
  background: rgba(0, 0, 0, 0.08);
  color: var(--color-text-primary);
}

.chip--state-warning {
  background: var(--color-warning-base);
  color: var(--color-warning);
}

.chip--state-running {
  background: var(--color-info-base);
  color: var(--color-info);
}

.chip--state-waiting {
  background: var(--color-warning-base);
  color: var(--color-warning);
}

.chip--success {
  background: var(--color-success-base);
  color: var(--color-success);
}

.chip--warning {
  background: var(--color-warning-base);
  color: var(--color-warning);
}

.chip--error {
  background: var(--color-error-base);
  color: var(--color-error);
}

.chip--running {
  background: var(--color-info-base);
  color: var(--color-info);
}

.chip--waiting {
  background: var(--color-warning-base);
  color: var(--color-warning);
}

.chip--cancelled {
  background: rgba(136, 136, 136, 0.10);
  color: #888;
}

.chip--outline {
  border: 1px solid var(--color-border);
  background: transparent;
  color: var(--color-text-secondary);
}

/* =============================================================================
   Dashboard Cards
   ============================================================================= */

.input-with-addon {
  display: flex;
  align-items: center;
  gap: var(--spacing-sm);
}

.input-with-addon__field {
  flex: 1;
}

.cards {
  display: flex;
  flex-direction: column;
  gap: var(--spacing-md);
}

.dashboard-cards {
  display: grid;
  gap: var(--spacing-lg);
  grid-template-columns: 1fr;
  margin-top: calc(-1 * var(--spacing-md));
}

.button--new-request {
  font-family: var(--font-pixel);
  font-size: 2rem;
  letter-spacing: 0.04em;
  height: 64px;
  padding: 0 3rem;
}

.request-card {
  gap: var(--spacing-md);
  min-width: 0;
}

.request-card__header {
  display: flex;
  align-items: flex-start;
  gap: 0.75rem;
}

.request-card__icon {
  flex-shrink: 0;
  width: 96px;
  height: 96px;
  display: flex;
  align-items: center;
  justify-content: center;
  padding-top: 8px;
}

.request-card__icon-char {
  font-family: var(--font-pixel);
  font-size: 4rem;
  line-height: 1;
  text-align: center;
  letter-spacing: 0.04em;
  color: var(--color-text-primary);
  opacity: 0.15;
}

.request-card__icon--success .request-card__icon-char {
  opacity: 1;
  color: #000000;
}

.request-card__title {
  display: flex;
  flex-direction: column;
  gap: var(--spacing-xs);
  flex: 1;
  min-width: 0;
}

.request-card__title h2 {
  margin: 0;
  font-family: var(--font-serif);
  font-size: 1.5rem;
  font-weight: 400;
  line-height: 1.35;
  overflow: hidden;
  text-overflow: ellipsis;
  white-space: nowrap;
}

.request-card__title a {
  color: var(--color-text-primary);
  text-decoration: none;
}

.request-card__title a:hover {
  color: var(--color-text-secondary);
}

.request-card__badges {
  display: flex;
  flex-wrap: wrap;
  gap: var(--spacing-xs);
  align-items: center;
  justify-content: flex-start;
}

.request-card__meta {
  display: flex;
  flex-direction: column;
  gap: var(--spacing-xs);
  align-items: flex-start;
  margin-top: var(--spacing-xs);
}

.request-card__status {
  display: flex;
  flex-wrap: wrap;
  gap: var(--spacing-xs);
  align-items: center;
}

.request-card__repo {
  display: flex;
  align-items: center;
}

.request-card__preview {
  margin: 0;
  color: var(--color-text-secondary);
  font-size: 0.9rem;
  display: -webkit-box;
  -webkit-line-clamp: 2;
  -webkit-box-orient: vertical;
  overflow: hidden;
}

.request-card__footer {
  display: flex;
  align-items: center;
  justify-content: space-between;
  font-family: var(--font-mono);
  font-size: 0.75rem;
  color: var(--color-text-muted);
}

/* =============================================================================
   Request Detail
   ============================================================================= */

.request-detail {
  display: flex;
  flex-direction: column;
  gap: var(--spacing-lg);
}

/* =============================================================================
   Forms
   ============================================================================= */

.new-request-form,
form {
  display: flex;
  flex-direction: column;
  gap: var(--spacing-md);
}

label {
  display: flex;
  flex-direction: column;
  gap: 4px;
  font-family: var(--font-mono);
  font-weight: 500;
  font-size: 0.875rem;
  color: var(--color-text-primary);
}

label .help-icon {
  display: inline-block;
  margin-left: var(--spacing-xs);
  cursor: help;
  position: relative;
}

.help-icon {
  color: var(--color-text-muted);
  font-size: 0.875rem;
  font-weight: normal;
  width: 16px;
  height: 16px;
  display: inline-flex;
  align-items: center;
  justify-content: center;
  border-radius: 50%;
  border: 1px solid var(--color-border);
  background: var(--color-bg-secondary);
  vertical-align: middle;
}

.help-icon:hover {
  background: var(--color-bg-tertiary);
  border-color: var(--color-border-hover);
}

.help-icon::after {
  content: '?';
  font-weight: 600;
}

.tooltip {
  position: absolute;
  bottom: 100%;
  left: 50%;
  transform: translateX(-50%);
  margin-bottom: var(--spacing-xs);
  padding: var(--spacing-sm) var(--spacing-md);
  background: var(--color-text-primary);
  color: #fff;
  font-size: 0.75rem;
  border-radius: var(--radius-sm);
  opacity: 0;
  pointer-events: none;
  transition: opacity 0.2s;
  z-index: 1000;
  max-width: 300px;
  white-space: normal;
  font-weight: normal;
}

.help-icon:hover .tooltip {
  opacity: 1;
}

.tooltip::after {
  content: '';
  position: absolute;
  top: 100%;
  left: 50%;
  transform: translateX(-50%);
  border: 4px solid transparent;
  border-top-color: var(--color-text-primary);
}

input[type="text"],
input[type="url"],
input[type="email"],
textarea,
select {
  padding: 0.75rem 1.5rem;
  border: 0.5px solid #999;
  border-radius: 8px;
  font-family: var(--font-mono);
  font-size: 0.875rem;
  background: var(--color-bg-primary);
  color: var(--color-text-primary);
  transition: border-color 0.2s, box-shadow 0.2s;
  height: 48px;
}

input[type="text"]::placeholder,
input[type="url"]::placeholder,
input[type="email"]::placeholder,
textarea::placeholder {
  color: var(--color-text-muted);
}

input[type="text"]:focus,
input[type="url"]:focus,
input[type="email"]:focus,
textarea:focus,
select:focus {
  outline: none;
  border-color: var(--color-text-primary);
  box-shadow: 0 0 0 2px rgba(0, 0, 0, 0.08);
}

textarea {
  resize: vertical;
  min-height: 80px;
  height: auto;
}

/* =============================================================================
   Status Badges
   ============================================================================= */

.status-badge {
  display: inline-block;
  padding: 0.25rem 0.625rem;
  border-radius: var(--radius-sm);
  font-family: var(--font-mono);
  font-size: 0.6875rem;
  font-weight: 600;
  text-transform: uppercase;
  letter-spacing: 0.03em;
}

.status-badge.status-pending,
.status-badge.status-waiting {
  background: var(--color-warning-base);
  color: var(--color-warning);
}

.status-badge.status-running,
.status-badge.status-in_progress {
  background: var(--color-info-base);
  color: var(--color-info);
}

.status-badge.status-done,
.status-badge.status-completed,
.status-badge.status-approved {
  background: var(--color-success-base);
  color: var(--color-success);
  letter-spacing: 0.07em;
}

.status-badge.status-failed,
.status-badge.status-rejected {
  background: var(--color-error-base);
  color: var(--color-error);
}

.status-badge.status-cancelled {
  background: rgba(136, 136, 136, 0.10);
  color: #888;
}

.status-badge.status-warning,
.status-badge.status-partial {
  background: var(--color-warning-base);
  color: var(--color-warning);
}

.status-badge.status-info {
  background: var(--color-info-base);
  color: var(--color-info);
}

.state,
.stage {
  display: inline-block;
  padding: 0.25rem 0.5rem;
  border-radius: var(--radius-sm);
  font-family: var(--font-mono);
  font-size: 0.8125rem;
  font-weight: 500;
  background: var(--color-bg-secondary);
  color: var(--color-text-secondary);
}

.emoji-status {
  font-size: 1.125rem;
  margin-right: var(--spacing-xs);
}

/* =============================================================================
   Collapsible Sections
   ============================================================================= */

.collapsible-header {
  display: flex;
  align-items: center;
  justify-content: space-between;
  cursor: pointer;
  user-select: none;
  padding: var(--spacing-sm) 0;
  margin: calc(-1 * var(--spacing-sm)) 0;
}

.collapsible-header:hover {
  opacity: 0.7;
}

.collapsible-header h2,
.collapsible-header h3 {
  margin: 0;
  flex: 1;
  font-family: var(--font-serif);
  font-weight: 400;
  font-size: 1.25rem;
}

.collapsible-arrow {
  display: inline-block;
  transition: transform 0.2s;
  color: var(--color-text-muted);
  font-size: 0.875rem;
  margin-left: var(--spacing-sm);
}

.collapsible-header[aria-expanded="false"] .collapsible-arrow {
  transform: rotate(-90deg);
}

.collapsible-content {
  overflow: hidden;
  transition: max-height 0.3s ease-out, opacity 0.2s;
  max-height: 5000px;
  opacity: 1;
}

.collapsible-content.collapsed {
  max-height: 0;
  opacity: 0;
  padding-top: 0;
  padding-bottom: 0;
}

/* =============================================================================
   Activity Log
   ============================================================================= */

.log-list {
  list-style: none;
  padding: 0;
  margin: 0;
}

.log-list li {
  padding: var(--spacing-sm) 0;
  border-bottom: 1px solid var(--color-border);
}

.log-list li:last-child {
  border-bottom: none;
}

.operation-entry {
  padding: var(--spacing-sm) 0;
}

.operation-header {
  display: flex;
  align-items: center;
  justify-content: space-between;
  margin-bottom: var(--spacing-xs);
  font-family: var(--font-mono);
  font-size: 0.875rem;
}

.operation-details {
  font-family: var(--font-mono);
  font-size: 0.75rem;
  color: var(--color-text-secondary);
  display: flex;
  flex-wrap: wrap;
  gap: var(--spacing-sm);
}

.timestamp {
  color: var(--color-text-dim);
  font-family: var(--font-mono);
  font-size: 0.75rem;
}

.message {
  font-weight: 500;
}

/* =============================================================================
   Status Panel
   ============================================================================= */

.status-panel {
  gap: var(--spacing-md);
}

.status-line {
  display: flex;
  align-items: center;
  gap: var(--spacing-sm);
  font-size: 0.9375rem;
}

.retry-info {
  color: var(--color-text-secondary);
  font-size: 0.875rem;
  margin: var(--spacing-sm) 0;
}

.status-stack {
  display: flex;
  flex-direction: column;
  gap: var(--spacing-md);
}

.status-meta {
  margin: 0;
  font-size: 0.875rem;
  color: var(--color-text-secondary);
}

/* Status result component */
.status-result {
  display: flex;
  align-items: center;
  gap: var(--spacing-md);
  padding: var(--spacing-md) var(--spacing-lg);
  border-radius: var(--radius-md);
  background: var(--color-text-primary);
  color: #fff;
  font-family: var(--font-mono);
}

.status-result__icon {
  font-size: 2.25rem;
  width: 2.25rem;
  height: 2.25rem;
  flex-shrink: 0;
  overflow: hidden;
  text-align: center;
  line-height: 2.25rem;
}

.status-result__content {
  flex: 1;
  display: flex;
  flex-direction: column;
  gap: var(--spacing-xs);
}

.status-result__message {
  margin: 0;
  font-size: 0.875rem;
  font-weight: 500;
  color: #fff;
}

.status-result__hint {
  margin: 0;
  font-size: 0.8125rem;
  color: rgba(255, 255, 255, 0.7);
}

.status-result .button-group {
  flex-shrink: 0;
}

.status-result--success {
  background: var(--color-success-base);
  border-left: 3px solid var(--color-success);
  color: var(--color-text-primary);
}

.status-result--success .status-result__message {
  color: var(--color-success);
}

.status-result--success .status-result__hint {
  color: var(--color-text-secondary);
}

.status-result--warning {
  background: var(--color-warning-base);
  border-left: 3px solid var(--color-warning);
  color: var(--color-text-primary);
}

.status-result--warning .status-result__message {
  color: var(--color-warning);
}

.status-result--warning .status-result__hint {
  color: var(--color-text-secondary);
}

.status-result--error {
  background: var(--color-error-base);
  border-left: 3px solid var(--color-error);
  color: var(--color-text-primary);
}

.status-result--error .status-result__message {
  color: var(--color-error);
}

.status-result--error .status-result__hint {
  color: var(--color-text-secondary);
}

.status-result--running {
  background: var(--color-info-base);
  border-left: 3px solid var(--color-info);
  color: var(--color-text-primary);
}

.status-result--running .status-result__message {
  color: var(--color-info);
}

.status-result--running .status-result__hint {
  color: var(--color-text-secondary);
}

.status-result--waiting {
  background: rgba(184, 145, 26, 0.08);
  border-left: 3px solid var(--color-warning);
  color: var(--color-text-primary);
}

.status-result--waiting .status-result__message {
  color: var(--color-warning);
}

.status-result--waiting .status-result__hint {
  color: var(--color-text-secondary);
}

.status-result--cancelled {
  background: rgba(136, 136, 136, 0.08);
  border-left: 3px solid #888;
  color: var(--color-text-primary);
}

.status-result--cancelled .status-result__message {
  color: #888;
}

.status-result--cancelled .status-result__hint {
  color: var(--color-text-secondary);
}

.status-hint {
  font-family: var(--font-mono);
  font-size: 0.6875rem;
  font-weight: 600;
  text-transform: uppercase;
  letter-spacing: 0.05em;
  color: var(--color-text-secondary);
  background: rgba(0, 0, 0, 0.05);
  border-radius: 999px;
  padding: 0.15rem 0.6rem;
}

.status-hint--success {
  background: rgba(38, 138, 85, 0.12);
  color: var(--color-success);
}

.status-hint--warning {
  background: rgba(184, 145, 26, 0.12);
  color: var(--color-warning);
}

.status-hint--error {
  background: rgba(194, 66, 66, 0.12);
  color: var(--color-error);
}

.status-hint--info {
  background: rgba(53, 112, 178, 0.12);
  color: var(--color-info);
}

.status-block {
  display: flex;
  flex-direction: column;
  gap: var(--spacing-sm);
  margin-top: var(--spacing-md);
}

.status-block__header {
  display: flex;
  align-items: flex-start;
  justify-content: space-between;
  gap: var(--spacing-sm);
  flex-wrap: wrap;
}

.status-block__header h3 {
  margin: 0;
  font-size: 1rem;
}

.list-reset {
  list-style: none;
  padding: 0;
  margin: 0;
  display: flex;
  flex-direction: column;
  gap: var(--spacing-xs);
}

/* =============================================================================
   Approval Feedback
   ============================================================================= */

.approval-feedback {
  margin: var(--spacing-md) 0;
  padding: var(--spacing-md);
  background: var(--color-bg-primary);
  border-radius: var(--radius-md);
  border: 1px solid var(--color-border);
  display: flex;
  flex-direction: column;
  gap: var(--spacing-sm);
}

.approval-feedback h3 {
  margin: 0;
  font-size: 1rem;
}

.approval-actions {
  display: flex;
  flex-direction: row;
  flex-wrap: wrap;
  gap: var(--spacing-sm);
  align-items: center;
  justify-content: flex-start;
}

.approval-button-form {
  margin: 0;
  display: flex;
  flex-direction: row !important;
  align-items: center;
  justify-content: center;
  flex: 0 0 auto;
  width: auto !important;
  gap: 0;
}

.approval-button-form button {
  min-width: 140px;
  width: auto !important;
}

.approve-button {
  background: var(--color-success);
  border-color: var(--color-success);
}

.approve-button:hover {
  opacity: 0.8;
}

.reject-button {
  background: var(--color-error);
  border-color: var(--color-error);
}

.reject-button:hover {
  opacity: 0.8;
}

.approval-message {
  font-size: 0.9375rem;
  font-weight: 600;
  display: inline-flex;
  align-items: center;
  gap: var(--spacing-sm);
}

.approval-message::before {
  content: "\2022";
  font-size: 1.25rem;
}

.approval-message.in-progress {
  color: var(--color-success);
}

.approval-message.warning {
  color: var(--color-warning);
}

.approval-message.cancelled {
  color: var(--color-error);
}

.approval-info,
.approval-actions-info {
  font-size: 0.875rem;
  color: var(--color-text-secondary);
  margin: var(--spacing-sm) 0;
}

.approval-actions-info {
  list-style: disc;
  padding-left: var(--spacing-lg);
}

.approval-actions-info li {
  margin: var(--spacing-xs) 0;
}

/* =============================================================================
   Context Errors
   ============================================================================= */

.context-errors {
  margin: var(--spacing-md) 0;
  padding: var(--spacing-md);
  background: rgba(194, 66, 66, 0.06);
  border: 1px solid rgba(194, 66, 66, 0.2);
  border-radius: var(--radius-md);
}

.context-errors h3 {
  margin-top: 0;
  color: var(--color-error);
  font-size: 1rem;
}

.context-errors ul {
  list-style: none;
  padding: 0;
  margin: 0;
}

.context-errors li {
  padding: var(--spacing-xs) 0;
  font-size: 0.875rem;
  color: var(--color-text-secondary);
}

/* =============================================================================
   Artifacts
   ============================================================================= */

.artifacts {
  margin: var(--spacing-md) 0;
}

.artifact-info {
  background: var(--color-bg-secondary);
  padding: var(--spacing-md);
  margin: 0 0 var(--spacing-md) 0;
  border-radius: var(--radius-md);
  font-family: var(--font-mono);
  font-size: 0.8125rem;
  line-height: 1.6;
}

.artifact-types {
  list-style: none;
  padding: 0;
  margin: var(--spacing-sm) 0;
  font-size: 0.875rem;
}

.artifact-types li {
  padding: var(--spacing-xs) 0;
  color: var(--color-text-secondary);
}

.artifact-types li strong {
  color: var(--color-text-primary);
  font-family: var(--font-mono);
  font-size: 0.8125rem;
}

.artifact-list {
  margin-top: var(--spacing-md);
  list-style: none;
  padding: 0;
}

.artifact-list li {
  padding: var(--spacing-sm) 0;
  border-bottom: 1px solid var(--color-border);
  font-family: var(--font-mono);
  font-size: 0.8125rem;
}

.artifact-list li:last-child {
  border-bottom: none;
}

.artifact-list a {
  color: var(--color-text-primary);
  text-decoration: none;
  font-weight: 500;
}

.artifact-list a:hover {
  color: var(--color-text-secondary);
}

.artifact-list code {
  font-family: var(--font-mono);
  font-size: 0.8125rem;
  background: var(--color-bg-secondary);
  padding: 0.125rem 0.375rem;
  border-radius: var(--radius-sm);
  color: var(--color-text-secondary);
}

/* =============================================================================
   Help Text
   ============================================================================= */

.help-text {
  display: block;
  margin-top: var(--spacing-xs);
  font-size: 0.8125rem;
  color: var(--color-text-secondary);
  line-height: 1.5;
}

.help-text.collapsible {
  max-height: 0;
  overflow: hidden;
  transition: max-height 0.3s ease-out;
}

.help-text.collapsible.expanded {
  max-height: 500px;
}

.help-text code {
  background-color: var(--color-bg-secondary);
  padding: 0.125rem 0.25rem;
  border-radius: var(--radius-sm);
  font-family: var(--font-mono);
  font-size: 0.8125rem;
}

.help-text strong {
  color: var(--color-text-primary);
  font-weight: 600;
}

.help-toggle {
  display: inline-flex;
  align-items: center;
  gap: var(--spacing-xs);
  color: var(--color-text-secondary);
  font-size: 0.8125rem;
  cursor: pointer;
  margin-top: var(--spacing-xs);
  user-select: none;
}

.help-toggle:hover {
  color: var(--color-text-primary);
}

.help-toggle-arrow {
  display: inline-block;
  transition: transform 0.2s;
  font-size: 0.75rem;
}

.help-toggle.expanded .help-toggle-arrow {
  transform: rotate(90deg);
}

/* =============================================================================
   Flash Messages
   ============================================================================= */

.flash {
  background: rgba(38, 138, 85, 0.08);
  border-left: 4px solid var(--color-success);
  padding: var(--spacing-md);
  margin: var(--spacing-md) 0;
  border-radius: var(--radius-sm);
}

.flash--toast {
  background: rgba(53, 112, 178, 0.12);
  border-left-color: var(--color-info);
  margin-bottom: var(--spacing-md);
  animation: toast-fade-out 4s ease-in-out forwards;
}

@keyframes toast-fade-out {
  0%, 70% {
    opacity: 1;
    max-height: 200px;
    margin: var(--spacing-md) 0;
    padding: var(--spacing-md);
  }
  100% {
    opacity: 0;
    max-height: 0;
    margin: 0;
    padding: 0;
    overflow: hidden;
  }
}

.flash strong {
  display: block;
  margin-bottom: var(--spacing-xs);
  color: var(--color-text-primary);
}

.flash p {
  margin: var(--spacing-xs) 0;
  font-size: 0.875rem;
  color: var(--color-text-secondary);
}

.flash__meta {
  margin: var(--spacing-xs) 0;
  font-size: 0.8125rem;
  color: var(--color-text-secondary);
}

.session-working {
  display: none;
  margin-bottom: var(--spacing-sm);
  padding: var(--spacing-sm) var(--spacing-md);
  border-radius: var(--radius-sm);
  border-left: 4px solid var(--color-info);
  background: rgba(53, 112, 178, 0.10);
  color: var(--color-info);
  font-weight: 600;
  font-size: 0.9rem;
}

.session-working.is-visible {
  display: block;
}

.feedback-flash {
  background: rgba(38, 138, 85, 0.08);
  border-left: 4px solid var(--color-success);
  padding: var(--spacing-md);
  margin-top: var(--spacing-md);
  border-radius: var(--radius-sm);
}

.toggle-request-button {
  margin-bottom: var(--spacing-md);
}

.new-request.is-hidden {
  display: none;
}

#requests[hidden] {
  display: none !important;
}

/* =============================================================================
   Diagnostics
   ============================================================================= */

.diagnostics-list {
  list-style: none;
  padding: 0;
  margin: 0;
}

.diagnostics-list li {
  padding: var(--spacing-sm) 0;
  border-bottom: 1px solid var(--color-border);
  font-family: var(--font-mono);
  font-size: 0.8125rem;
  color: var(--color-text-secondary);
}

.diagnostics-list li:last-child {
  border-bottom: none;
}

/* =============================================================================
   New Request Section
   ============================================================================= */

.new-request {
  background: var(--color-bg-primary);
  border: 1px solid var(--color-border);
  border-radius: 18px;
  padding: 2rem 2rem 3rem;
  margin-bottom: var(--spacing-xl);
}

.new-request h2 {
  margin-top: 0;
  font-size: 1.25rem;
  padding-bottom: 0;
  border-bottom: none;
}

/* =============================================================================
   Utility Classes
   ============================================================================= */

.text-muted {
  color: var(--color-text-muted);
}

.text-secondary {
  color: var(--color-text-secondary);
}

.mt-sm { margin-top: var(--spacing-sm); }
.mt-md { margin-top: var(--spacing-md); }
.mt-lg { margin-top: var(--spacing-lg); }

.mb-sm { margin-bottom: var(--spacing-sm); }
.mb-md { margin-bottom: var(--spacing-md); }
.mb-lg { margin-bottom: var(--spacing-lg); }

/* =============================================================================
   Header – Account Dropdown
   ============================================================================= */

.account-dropdown {
  position: relative;
}

.account-dropdown-button {
  color: var(--color-text-primary);
  border-color: var(--color-text-primary);
  background: transparent;
  display: flex;
  align-items: center;
  justify-content: center;
  gap: var(--spacing-xs);
  height: 44px;
  padding: 0 1rem 0.125rem 1.5rem;
  font-family: var(--font-pixel);
  font-size: 1.5rem;
  letter-spacing: 0.06em;
  border-radius: var(--radius-pill);
  text-transform: none;
}

.account-dropdown-button:hover {
  opacity: 0.8;
}

.dropdown-arrow {
  transition: transform 0.2s ease;
}

.account-dropdown-button[aria-expanded="true"] .dropdown-arrow {
  transform: rotate(180deg);
}

.account-dropdown-menu {
  position: absolute;
  top: calc(100% + 0.5rem);
  right: 0;
  background: #ffffff;
  border: 1px solid var(--color-border);
  border-radius: var(--radius-md);
  box-shadow: var(--shadow-md);
  min-width: 180px;
  overflow: hidden;
  z-index: 1000;
}

.account-dropdown-menu[hidden] {
  display: none;
}

.dropdown-item {
  display: block;
  padding: 0.75rem 1rem;
  color: var(--color-text-primary) !important;
  text-decoration: none;
  font-family: var(--font-mono);
  font-size: 0.8125rem;
  font-weight: 500;
  transition: background-color 0.15s ease;
  border-bottom: 1px solid var(--color-border);
}

.dropdown-item:last-child {
  border-bottom: none;
}

.dropdown-item:hover {
  background: var(--color-bg-secondary);
  text-decoration: none;
  color: var(--color-text-primary) !important;
}

/* =============================================================================
   Login Page
   ============================================================================= */

.login-main {
  display: flex;
  flex-direction: column;
  align-items: center;
  justify-content: center;
  gap: 3.5rem;
}

.login-card {
  background: transparent;
  border: none;
  border-radius: 0;
  padding: var(--spacing-xl);
  box-shadow: none;
  width: 100%;
  text-align: center;
}

.login-card h1 {
  margin: 0 0 1rem 0;
  font-family: var(--font-pixel);
  font-size: 8rem;
  font-weight: 400;
  color: var(--color-text-primary);
  text-transform: uppercase;
  letter-spacing: 0.02em;
  line-height: 0.64;
}

.login-subtitle {
  margin: 0 0 var(--spacing-lg) 0;
  font-family: var(--font-serif);
  font-size: 1.5rem;
  color: var(--color-text-primary);
  line-height: 1.5;
}

.github-login-button {
  width: auto;
  display: inline-flex;
  padding: 0 3.75rem 4px;
  height: 72px;
  border: none;
  border-radius: var(--radius-pill);
  background: var(--color-bg-primary);
  color: var(--color-text-primary);
  font-family: var(--font-pixel);
  font-size: 2.5rem;
  font-weight: 400;
  letter-spacing: 0.03em;
  cursor: pointer;
  align-items: center;
  justify-content: center;
  gap: 1.25rem;
  transition: all 0.2s ease;
  text-decoration: none;
  text-transform: none;
  box-shadow: var(--shadow-sm);
}

.github-login-button:hover {
  opacity: 0.8;
  text-decoration: none;
}

.github-login-button:active {
  transform: translateY(1px);
}

.github-icon {
  flex-shrink: 0;
}

.login-hero {
  width: 100%;
  max-width: var(--layout-max-width);
  border-radius: 18px;
  overflow: hidden;
}

.login-hero img {
  width: 100%;
  height: auto;
  display: block;
}

.login-error {
  background: rgba(194, 66, 66, 0.08);
  border: 1px solid rgba(194, 66, 66, 0.25);
  border-radius: var(--radius-md);
  padding: var(--spacing-md);
  margin-bottom: var(--spacing-lg);
  color: var(--color-error);
  font-family: var(--font-mono);
  font-size: 0.8125rem;
}

/* =============================================================================
   Account Page
   ============================================================================= */

.balance-display {
  text-align: center;
  padding: 2.25rem var(--spacing-lg);
  background: var(--color-bg-secondary);
  border: 1px solid black;
  border-radius: 10px;
  color: var(--color-text-primary);
}

.balance-amount {
  font-family: var(--font-pixel);
  font-size: 6rem;
  font-weight: 400;
  margin-bottom: 0;
  letter-spacing: 0.02em;
  line-height: 0.64;
}

.balance-subtitle {
  margin: 0;
  font-family: var(--font-mono);
  font-size: 0.8125rem;
  color: var(--color-text-secondary);
}

/* Transaction History */
.txn-scroll-container {
  max-height: 350px;
  overflow-y: auto;
  scrollbar-width: thin;
}

.txn-table {
  width: 100%;
  border-collapse: collapse;
  font-family: var(--font-mono);
  font-size: 0.8125rem;
}

.txn-table th {
  text-align: left;
  font-weight: 600;
  font-size: 0.6875rem;
  color: var(--color-text-muted);
  text-transform: uppercase;
  letter-spacing: 0.04em;
  padding: 0 var(--spacing-sm) var(--spacing-sm);
  border-bottom: 1px solid var(--color-border);
}

.txn-table th:last-child {
  text-align: right;
}

.txn-table td {
  padding: var(--spacing-sm);
  border-bottom: 1px solid var(--color-border);
  vertical-align: middle;
}

.txn-table tr:last-child td {
  border-bottom: none;
}

.txn-col-date {
  width: 110px;
  color: var(--color-text-secondary);
  white-space: nowrap;
  line-height: 1.3;
}

.txn-col-desc {
  width: 100%;
  font-weight: 500;
}

.txn-col-desc-detail {
  font-weight: 400;
  font-size: 0.75rem;
  color: var(--color-text-secondary);
  white-space: nowrap;
  overflow: hidden;
  text-overflow: ellipsis;
  max-width: 350px;
}

.txn-col-status {
  width: 80px;
  text-align: center;
}

.txn-col-amount {
  width: 100px;
  text-align: right;
  font-weight: 600;
  font-variant-numeric: tabular-nums;
  white-space: nowrap;
}

.txn-amount--credit {
  color: var(--color-success);
}

.txn-amount--debit {
  color: var(--color-text-primary);
}

.txn-link {
  color: var(--color-text-primary);
  text-decoration: none;
}

.txn-link:hover {
  color: var(--color-text-secondary);
}

.txn-badge {
  display: inline-block;
  font-family: var(--font-mono);
  font-size: 0.625rem;
  font-weight: 600;
  padding: 2px 8px;
  border-radius: 4px;
  text-transform: uppercase;
  letter-spacing: 0.02em;
}

.txn-badge--frozen {
  background: var(--color-warning);
  color: #000;
}

.txn-badge--charged {
  background: var(--color-bg-tertiary);
  color: var(--color-text-secondary);
}

.txn-loading {
  text-align: center;
  padding: var(--spacing-sm) 0;
  font-family: var(--font-mono);
  font-size: 0.8125rem;
  color: var(--color-text-muted);
}

.info-list {
  display: flex;
  flex-direction: column;
  gap: 0;
}

.info-item {
  display: flex;
  align-items: center;
  gap: 1.5rem;
  padding: var(--spacing-sm) 0;
  background: transparent;
  border-radius: 0;
}

.info-label {
  font-family: var(--font-mono);
  font-weight: 400;
  color: var(--color-text-primary);
  font-size: 0.8125rem;
  min-width: 120px;
}

.info-value {
  font-family: var(--font-mono);
  color: var(--color-text-primary);
  font-size: 0.8125rem;
}

.github-link-button {
  padding: 0.3rem 0.75rem;
  font-size: 0.75rem;
}

.user-avatar {
  display: block;
  width: 48px;
  height: 48px;
  border-radius: 50%;
  margin-bottom: var(--spacing-md);
}

.account-cards {
  display: flex;
  flex-direction: column;
  gap: 1.25rem;
}

/* =============================================================================
   Add Funds Form
   ============================================================================= */

.add-funds-form {
  border-top: 1px solid var(--color-border);
  padding-top: 2rem;
}

.add-funds-inline {
  display: flex;
  flex-direction: column;
  gap: 0.75rem;
}

.add-funds-inline .button {
  border-radius: 8px;
  font-family: var(--font-mono);
  font-size: 0.875rem;
}

.form-label {
  display: block;
  font-family: var(--font-mono);
  font-size: 0.8125rem;
  font-weight: 600;
  color: var(--color-text-secondary);
  margin-bottom: var(--spacing-xs);
}

.form-input {
  width: 100%;
  padding: 0.75rem 1rem;
  font-family: var(--font-mono);
  font-size: 0.8125rem;
  border: 1px solid var(--color-border);
  border-radius: var(--radius-md);
  background-color: var(--color-bg-primary);
  color: var(--color-text-primary);
  transition: border-color 0.2s ease, box-shadow 0.2s ease;
}

.form-input:hover {
  border-color: var(--color-border-hover);
}

.form-input:focus {
  outline: none;
  border-color: var(--color-text-primary);
  box-shadow: 0 0 0 2px rgba(0, 0, 0, 0.08);
}

.form-select,
select.input-wide,
select.form-select {
  width: 100%;
  padding: 0.75rem 2.5rem 0.75rem 1.5rem;
  font-family: var(--font-mono);
  font-size: 0.875rem;
  border: 0.5px solid #999;
  border-radius: 8px;
  background-color: var(--color-bg-primary);
  color: var(--color-text-primary);
  appearance: none;
  -webkit-appearance: none;
  cursor: pointer;
  transition: border-color 0.2s ease, box-shadow 0.2s ease;
  background-image: url("data:image/svg+xml,%3csvg xmlns='http://www.w3.org/2000/svg' fill='none' viewBox='0 0 20 20'%3e%3cpath stroke='%23000' stroke-linecap='round' stroke-linejoin='round' stroke-width='1.5' d='M6 8l4 4 4-4'/%3e%3c/svg%3e");
  background-position: right 1rem center;
  background-repeat: no-repeat;
  background-size: 1.25em 1.25em;
  height: 48px;
}

select option {
  font-family: var(--font-mono);
  font-size: 0.875rem;
  padding: 0.5rem 1rem;
  background: var(--color-bg-primary);
  color: var(--color-text-primary);
}

select option:checked {
  background: var(--color-text-primary);
  color: white;
}

.form-select:hover {
  border-color: var(--color-border-hover);
}

.form-select:focus {
  outline: none;
  border-color: var(--color-text-primary);
  box-shadow: 0 0 0 2px rgba(0, 0, 0, 0.08);
}

.input-with-prefix {
  position: relative;
  display: flex;
  align-items: center;
}

.input-prefix {
  position: absolute;
  left: var(--spacing-sm);
  color: var(--color-text-secondary);
  font-weight: 500;
  pointer-events: none;
  z-index: 1;
}

.form-help {
  font-family: var(--font-mono);
  font-size: 0.75rem;
  color: var(--color-text-muted);
  margin: 0;
}

/* =============================================================================
   New Proof Request Form
   ============================================================================= */

.form-section {
  border: none;
  padding: 0;
  margin: 0 0 var(--spacing-lg) 0;
  border-radius: 0;
}

.form-section--bordered {
  border: 1px solid var(--color-border);
  padding: 0;
  border-radius: var(--radius-sm);
}

.form-section legend {
  font-family: var(--font-serif);
  font-size: 1.25rem;
  font-weight: 400;
  color: var(--color-text-primary);
  margin-bottom: var(--spacing-md);
  padding: 0;
}

.form-section label {
  display: block;
  margin-bottom: var(--spacing-md);
}

/* Radio Group */
.radio-group {
  display: flex;
  flex-direction: row;
  gap: var(--spacing-md);
}

.radio-group--inline {
  flex-direction: row;
  gap: var(--spacing-md);
  margin-bottom: var(--spacing-md);
}

.radio-option {
  display: flex;
  align-items: flex-start;
  gap: var(--spacing-lg);
  padding: 2rem 2rem;
  border: 0.5px solid #999;
  border-radius: 18px;
  cursor: pointer;
  transition: all 0.15s ease;
  background: var(--color-bg-primary);
  box-shadow: none;
  flex: 1;
}

.radio-option:hover {
  border-color: var(--color-text-primary);
  background-color: var(--color-bg-primary);
  box-shadow: none;
}

.radio-option:has(input:checked) {
  border-color: var(--color-text-primary);
  background-color: var(--color-bg-primary);
  box-shadow: 0 0 0 3px var(--color-text-primary);
}

.radio-option input[type="radio"] {
  width: 21px;
  height: 21px;
  margin-top: 0;
  flex-shrink: 0;
  accent-color: black;
}

.radio-option--compact {
  padding: 0.75rem 1.25rem;
  align-items: center;
  flex: 0 0 auto;
  border-radius: 12px;
  gap: var(--spacing-md);
}

.radio-option--compact:has(input:checked) {
  border-color: var(--color-text-primary);
  box-shadow: 0 0 0 2px var(--color-text-primary);
}

.radio-option--compact input[type="radio"] {
  margin-top: 0;
}

.radio-label {
  display: flex;
  flex-direction: column;
  gap: 0.25rem;
}

.radio-label strong {
  font-family: var(--font-pixel);
  font-size: 2.25rem;
  font-weight: 400;
  color: var(--color-text-primary);
  text-transform: uppercase;
  letter-spacing: 0.04em;
}

.radio-label small {
  color: var(--color-text-secondary);
  font-family: var(--font-mono);
  font-size: 0.75rem;
}

/* Info Box */
.info-box {
  background-color: var(--color-bg-secondary);
  border: 1px solid var(--color-border);
  border-radius: var(--radius-md);
  padding: var(--spacing-md);
  margin-bottom: var(--spacing-md);
  font-family: var(--font-mono);
  font-size: 0.8125rem;
  color: var(--color-text-primary);
  line-height: 1.7;
}

.info-box code {
  background-color: var(--color-bg-tertiary);
  padding: 0.125rem 0.375rem;
  border-radius: var(--radius-sm);
  font-size: 0.8125rem;
}

/* Field Hint */
.field-hint {
  display: block;
  margin-top: var(--spacing-xs);
  font-family: var(--font-mono);
  font-size: 0.75rem;
  font-weight: 400;
  color: var(--color-text-muted);
}

.field-hint .hint-secondary {
  color: var(--color-text-muted);
}

/* Section Description */
.section-description {
  margin: 0 0 var(--spacing-md) 0;
  font-family: var(--font-mono);
  color: var(--color-text-secondary);
  font-size: 0.8125rem;
}

/* Conditional Section */
.conditional-section {
  transition: opacity 0.15s ease;
}

.conditional-section[hidden] {
  display: none;
}

/* Code Input */
.code-input {
  font-family: var(--font-mono);
  font-size: 0.8125rem;
  line-height: 1.6;
}

/* Full width inputs */
.input-wide,
.hints-textarea {
  width: 100%;
  box-sizing: border-box;
}

/* Checkbox */
.checkbox-label {
  display: flex;
  flex-direction: row;
  align-items: center;
  gap: var(--spacing-sm);
  font-family: var(--font-mono);
  font-size: 0.8125rem;
  cursor: pointer;
}

/* Form Row (side by side fields) */
.form-row {
  display: grid;
  grid-template-columns: repeat(auto-fit, minmax(200px, 1fr));
  gap: var(--spacing-md);
}

.form-row__item {
  margin-bottom: 0;
}

/* Form Actions */
.form-actions {
  margin-top: var(--spacing-lg);
  padding-top: var(--spacing-lg);
  border-top: 1px solid var(--color-border);
  display: flex;
  align-items: center;
  justify-content: center;
  gap: var(--spacing-md);
}

/* =============================================================================
   Support Page
   ============================================================================= */

.alert--success {
  background: rgba(38, 138, 85, 0.08);
  border: 1px solid rgba(38, 138, 85, 0.25);
  border-radius: 8px;
  padding: 1rem 1.25rem;
  margin-bottom: var(--spacing-lg);
  color: var(--color-success);
  font-family: var(--font-mono);
  font-size: 0.875rem;
}

.alert--error {
  background: rgba(194, 66, 66, 0.08);
  border: 1px solid rgba(194, 66, 66, 0.25);
  border-radius: 8px;
  padding: 1rem 1.25rem;
  margin-bottom: var(--spacing-lg);
  color: var(--color-error);
  font-family: var(--font-mono);
  font-size: 0.875rem;
}

.support-card {
  margin-bottom: var(--spacing-md);
}

.support-contact-line {
  text-align: center;
  color: var(--color-text-muted);
  font-family: var(--font-mono);
  font-size: 0.8125rem;
}

.support-contact-line a {
  color: var(--color-text-secondary);
}

.label-hint {
  color: var(--color-text-muted);
  font-weight: normal;
}

/* =============================================================================
   Request Details
   ============================================================================= */

.request-details {
  display: grid;
  grid-template-columns: auto 1fr;
  gap: var(--spacing-xs) var(--spacing-lg);
  margin: 0;
  font-family: var(--font-mono);
  font-size: 0.8125rem;
}

.request-details dt {
  font-weight: 600;
  color: var(--color-text-secondary);
  padding: var(--spacing-xs) 0;
}

.request-details dd {
  margin: 0;
  padding: var(--spacing-xs) 0;
  word-break: break-word;
}

.request-details pre {
  margin: 0;
  padding: var(--spacing-sm);
  background: var(--color-bg-secondary);
  border-radius: var(--radius-sm);
  white-space: pre-wrap;
  font-size: 0.8125rem;
  max-height: 200px;
  overflow-y: auto;
}

.request-details code {
  font-family: var(--font-mono);
  background: var(--color-bg-tertiary);
  padding: 0.2rem 0.5rem;
  border-radius: var(--radius-sm);
}

/* =============================================================================
   Inline Collapsibles (Activity Log)
   ============================================================================= */

.operation-header-clickable {
  cursor: pointer;
  user-select: none;
  padding: 0.25rem 0.5rem;
  margin: -0.25rem -0.5rem;
  transition: background-color 0.15s ease;
}

.operation-header-clickable:hover {
  background-color: var(--color-bg-secondary);
  border-radius: var(--radius-md);
}

.collapsible-arrow-inline {
  display: inline-block;
  margin-left: 0.5rem;
  font-size: 0.75rem;
  color: var(--color-text-secondary);
  transition: transform 0.2s ease;
}

.collapsible-content-inline {
  max-height: 1000px;
  overflow: hidden;
  transition: max-height 0.3s ease, margin-top 0.3s ease;
  margin-top: 0.75rem;
}

.collapsible-content-inline.collapsed {
  max-height: 0;
  margin-top: 0;
}

.pr-link-banner {
  background: var(--color-text-primary);
  color: #fff;
  padding: 0.75rem 1.25rem;
  border-radius: var(--radius-pill);
  font-family: var(--font-mono);
  font-size: 0.8125rem;
  margin-top: var(--spacing-sm);
}

.pr-link-banner a {
  color: #fff;
}

.pr-link-banner a:hover:not(.button):not(.chip):not(.github-login-button) {
  color: rgba(255, 255, 255, 0.8);
}

.proof-summary-box {
  padding: 1rem;
  background: var(--color-bg-secondary);
  border-left: 3px solid var(--color-text-primary);
  border-radius: var(--radius-md);
  font-family: var(--font-mono);
  font-size: 0.8125rem;
  line-height: 1.7;
}

.proof-summary-box strong {
  display: flex;
  align-items: center;
  justify-content: space-between;
  margin-bottom: 0.5rem;
  color: var(--color-text-primary);
}

.copy-btn {
  font-family: var(--font-mono);
  font-size: 0.6875rem;
  padding: 0.15rem 0.5rem;
  border: 1px solid var(--color-text-tertiary);
  border-radius: var(--radius-sm);
  background: transparent;
  color: var(--color-text-secondary);
  cursor: pointer;
  font-weight: normal;
}

.copy-btn:hover {
  color: var(--color-text-primary);
  border-color: var(--color-text-primary);
}

.proof-summary-box p {
  margin: 0;
  white-space: pre-wrap;
  color: var(--color-text-secondary);
}

.proof-summary-box pre {
  margin: 0;
  white-space: pre-wrap;
  color: var(--color-text-secondary);
  max-height: 600px;
  overflow-y: auto;
}

/* =============================================================================
   Time Budget Input
   ============================================================================= */

.time-budget-field {
  margin-bottom: var(--spacing-md);
}

.time-budget-label {
  display: block;
  font-family: var(--font-mono);
  font-size: 0.8125rem;
  font-weight: 600;
  color: var(--color-text-primary);
  margin-bottom: var(--spacing-xs);
}

.time-budget-input-row {
  display: inline-flex;
  align-items: center;
  gap: var(--spacing-sm);
}

.time-budget-input-wrap {
  position: relative;
  display: inline-flex;
  align-items: center;
}

.time-budget-number {
  width: 100px;
  padding: 0.75rem 1rem;
  padding-right: 2.5rem;
  font-family: var(--font-mono);
  font-size: 0.875rem;
  font-weight: 500;
  background: var(--color-bg-primary);
  border: 1px solid var(--color-border);
  border-radius: var(--radius-md);
}

.time-budget-unit-hint {
  position: absolute;
  right: 0.75rem;
  color: var(--color-text-muted);
  font-family: var(--font-mono);
  font-size: 0.8125rem;
  pointer-events: none;
}

.time-budget-formatted {
  color: var(--color-text-secondary);
  font-family: var(--font-mono);
  font-size: 0.8125rem;
  min-width: 4rem;
}

.time-budget-number:focus {
  outline: none;
  border-color: var(--color-text-primary);
  box-shadow: 0 0 0 2px rgba(0, 0, 0, 0.08);
}

.time-budget-number:invalid,
.time-budget-number.is-invalid {
  border-color: var(--color-error);
}

.time-budget-number.is-invalid:focus {
  box-shadow: 0 0 0 2px rgba(194, 66, 66, 0.1);
}

.time-budget-status {
  display: flex;
  align-items: center;
  gap: var(--spacing-xs);
}

.time-budget-status.is-valid {
  color: var(--color-success);
}

.time-budget-status.is-invalid {
  color: var(--color-error);
}

.time-budget-status .status-icon {
  width: 1rem;
  height: 1rem;
}

/* =============================================================================
   Admin Page (Toggle buttons)
   ============================================================================= */

.billing-btn {
  font-family: var(--font-mono);
  font-size: 0.75rem;
  border-radius: var(--radius-pill);
}

.grant-form {
  font-family: var(--font-mono);
}

.grant-btn {
  font-family: var(--font-mono);
  border-radius: var(--radius-pill);
}

/* =============================================================================
   Waitlist Page
   ============================================================================= */

.waitlist-card {
  text-align: center;
}

.waitlist-card h1 {
  font-family: var(--font-pixel);
  font-weight: 400;
  text-transform: uppercase;
}

/* =============================================================================
   Dashboard Controls (search)
   ============================================================================= */

.dashboard-controls {
  margin-top: calc(-1.5 * var(--spacing-md));
}

.search-bar {
  display: flex;
  align-items: center;
  position: relative;
  width: 100%;
}

.search-bar__icon {
  position: absolute;
  left: 0;
  top: 50%;
  transform: translateY(-50%);
  width: 1.375rem;
  height: 1.375rem;
  color: var(--color-text-dim);
  pointer-events: none;
  transition: color 0.2s ease;
}

.search-bar:focus-within .search-bar__icon {
  color: var(--color-text-primary);
}

input[type="text"].search-bar__input {
  font-family: var(--font-mono);
  font-size: 1rem;
  letter-spacing: 0.01em;
  padding: 0.75rem 1.75rem 0.75rem 2.125rem;
  border: none;
  border-bottom: 1.5px solid var(--color-border-hover);
  border-radius: 0;
  background: transparent;
  color: var(--color-text-primary);
  width: 100%;
  height: auto;
  outline: none;
  box-shadow: none;
  transition: border-color 0.2s ease;
}

input[type="text"].search-bar__input:focus {
  border-bottom-color: var(--color-text-primary);
}

.search-bar__input::placeholder {
  color: var(--color-text-muted);
}

.search-bar__clear {
  position: absolute;
  right: 0;
  top: 50%;
  transform: translateY(-50%);
  display: inline-flex;
  align-items: center;
  justify-content: center;
  color: var(--color-text-dim);
  cursor: pointer;
  font-family: var(--font-mono);
  font-size: 1rem;
  line-height: 1;
  text-decoration: none;
  transition: color 0.15s ease;
}

.search-bar__clear:hover {
  color: var(--color-text-primary);
  text-decoration: none;
}

/* Error Banner
   -------------------------------------------------------------------------- */

.error-banner {
  position: fixed;
  top: 0;
  left: 0;
  right: 0;
  z-index: 1000;
  display: flex;
  align-items: center;
  justify-content: center;
  gap: var(--spacing-sm);
  padding: 0.75rem 1.25rem;
  background: var(--color-error);
  font-family: var(--font-mono);
  font-size: 0.875rem;
  color: #fff;
}

.error-banner[hidden] { display: none; }

.error-banner__dismiss {
  position: absolute;
  right: 1.25rem;
  background: none;
  border: none;
  color: rgba(255, 255, 255, 0.7);
  font-size: 1.125rem;
  cursor: pointer;
  padding: 0 0.25rem;
  line-height: 1;
}

.error-banner__dismiss:hover {
  color: #fff;
}

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

@media (max-width: 768px) {
  :root {
    --layout-padding-top: var(--spacing-md);
    --layout-padding-x: var(--spacing-md);
  }

  .view-title {
    font-size: 1.25rem;
  }

  .radio-group {
    flex-direction: column;
  }

  .form-actions {
    flex-direction: column;
  }

  .balance-amount {
    font-size: 4.5rem;
  }

  .footer-content {
    flex-direction: column;
    align-items: flex-start;
    gap: var(--spacing-md);
  }

  .dashboard-controls {
    flex-direction: column;
    align-items: stretch;
  }

  .search-bar__input {
    width: 100%;
    flex: 1;
  }

}

/* =============================================================================
   Legal Pages (Terms, Privacy)
   ============================================================================= */

.legal-content {
}

.legal-content h1 {
  font-family: var(--font-pixel);
  font-size: 4rem;
  font-weight: 400;
  text-transform: uppercase;
  letter-spacing: 0.02em;
  text-align: center;
  line-height: 0.64;
  margin-top: 0;
  margin-bottom: 1.125rem;
}

.legal-content .legal-updated {
  text-align: center;
  font-family: var(--font-serif);
  font-size: 1rem;
  color: var(--color-text-primary);
  margin-top: 0;
  margin-bottom: 3rem;
}

.legal-card {
  background: var(--color-bg-primary);
  border-radius: 18px;
  padding: 2.25rem 2rem 3rem;
}

.legal-content h2 {
  font-family: var(--font-serif);
  font-size: 1.25rem;
  font-weight: 400;
  margin-top: 1.75rem;
  margin-bottom: var(--spacing-md);
}

.legal-content h2:first-child {
  margin-top: 0;
}

.legal-content h3 {
  font-family: var(--font-serif);
  font-size: 0.875rem;
  font-weight: 700;
  margin-top: var(--spacing-lg);
  margin-bottom: var(--spacing-sm);
}

.legal-content p {
  font-family: var(--font-serif);
  font-size: 0.875rem;
  line-height: 1.5;
  color: var(--color-text-primary);
  margin-bottom: var(--spacing-md);
}

.legal-content li {
  font-family: var(--font-serif);
  font-size: 0.875rem;
  line-height: 1.5;
  color: var(--color-text-primary);
}

.legal-content ul {
  margin-bottom: var(--spacing-md);
}

.legal-content a {
  color: var(--color-text-primary);
}

.legal-section {
  margin-bottom: var(--spacing-lg);
}

.legal-section h2 {
  margin-top: var(--spacing-lg);
}

.legal-section p {
  margin-bottom: var(--spacing-md);
}

/* ── Admin toggle buttons (shared by admin.html & admin_user.html) ── */
.toggle-btn {
  font-family: var(--font-mono);
  padding: 4px 12px;
  border: 1px solid #ccc;
  border-radius: 4px;
  cursor: pointer;
  font-size: 12px;
  min-width: 50px;
  text-align: center;
  transition: all 0.2s;
}
.toggle-btn.enabled {
  background-color: #28a745;
  color: white;
  border-color: #28a745;
}
.toggle-btn.disabled {
  background-color: #dc3545;
  color: white;
  border-color: #dc3545;
}
.toggle-btn.disabled-toggle {
  background-color: #6c757d;
  color: white;
  border-color: #6c757d;
  cursor: not-allowed;
  opacity: 0.6;
}
.toggle-btn:hover:not(.disabled-toggle) {
  opacity: 0.8;
}
.toggle-btn.loading {
  opacity: 0.5;
  cursor: wait;
}