:root {
  /* Font */
  --fonts-override: 'Inter', -apple-system, BlinkMacSystemFont, system-ui, sans-serif !important;

  /* a0 grey palette as CSS custom properties */
  --a0-grey-0: #EFEFEF;
  --a0-grey-1: #E0E0E0;
  --a0-grey-2: #9EA1A7;
  --a0-grey-3: #7E8085;
  --a0-grey-4: #3A3B46;
  --a0-grey-5: #2A2B33;
  --a0-grey-6: #23242A;
  --a0-grey-7: #1C1D22;
  --a0-grey-8: #16171B;
  --a0-grey-9: #101013;
  --a0-grey-10: #030303;

  /* Replace Forgejo steel scale with a0 greys */
  --steel-100: var(--a0-grey-0) !important;
  --steel-150: var(--a0-grey-1) !important;
  --steel-200: var(--a0-grey-2) !important;
  --steel-250: var(--a0-grey-2) !important;
  --steel-300: var(--a0-grey-3) !important;
  --steel-350: var(--a0-grey-3) !important;
  --steel-400: var(--a0-grey-4) !important;
  --steel-450: var(--a0-grey-4) !important;
  --steel-500: var(--a0-grey-4) !important;
  --steel-550: var(--a0-grey-5) !important;
  --steel-600: var(--a0-grey-5) !important;
  --steel-650: var(--a0-grey-6) !important;
  --steel-700: var(--a0-grey-7) !important;
  --steel-750: var(--a0-grey-8) !important;
  --steel-800: var(--a0-grey-9) !important;
  --steel-850: var(--a0-grey-9) !important;
  --steel-900: var(--a0-grey-10) !important;

  /* Explicit color overrides */
  --color-body: var(--a0-grey-9) !important;
  --color-box-header: var(--a0-grey-7) !important;
  --color-box-body: var(--a0-grey-8) !important;
  --color-box-body-highlight: var(--a0-grey-6) !important;
  --color-header-wrapper: var(--a0-grey-10) !important;
  --color-nav-bg: var(--a0-grey-10) !important;
  --color-nav-hover-bg: var(--a0-grey-5) !important;
  --color-footer: var(--a0-grey-10) !important;
  --color-card: var(--a0-grey-7) !important;
  --color-menu: var(--a0-grey-7) !important;
  --color-hover: var(--a0-grey-5) !important;
  --color-active: var(--a0-grey-6) !important;
  --color-secondary-bg: var(--a0-grey-7) !important;
  --color-code-bg: var(--a0-grey-8) !important;
  --color-input-background: var(--a0-grey-6) !important;
  --color-input-border: var(--a0-grey-5) !important;
  --color-input-border-hover: var(--a0-grey-4) !important;
  --color-text: var(--a0-grey-0) !important;
  --color-text-light: var(--a0-grey-1) !important;
  --color-text-light-1: var(--a0-grey-1) !important;
  --color-text-light-2: var(--a0-grey-2) !important;
  --color-text-light-3: var(--a0-grey-2) !important;
  --color-shadow: #00000060 !important;
  --color-secondary-nav-bg: var(--a0-grey-9) !important;
  --color-markup-code-block: var(--a0-grey-9) !important;
  --color-markup-code-inline: var(--a0-grey-9) !important;
  --fancy-card-bg: var(--a0-grey-6) !important;
  --fancy-card-border: var(--a0-grey-5) !important;
  --color-label-bg: var(--a0-grey-5) !important;
  --color-label-hover-bg: var(--a0-grey-5) !important;
  --color-label-active-bg: var(--a0-grey-4) !important;

  /* Primary brand: a0 blue scale (blue-0 → blue-4) */
  --color-primary: #3678FF !important;
  --color-primary-contrast: #FFFFFF !important;
  --color-primary-dark-1: #0046D5 !important;
  --color-primary-dark-2: #0035A3 !important;
  --color-primary-dark-3: #002878 !important;
  --color-primary-dark-4: #001B52 !important;
  --color-primary-light-1: #5C91FF !important;
  --color-primary-light-2: #86AEFF !important;
  --color-primary-light-3: #A8C4FF !important;
  --color-primary-light-4: #CEDEFF !important;
  --color-primary-light-5: #E4EDFF !important;
  --color-primary-alpha-40: rgba(54, 120, 255, 0.4) !important;
  --color-primary-alpha-30: rgba(54, 120, 255, 0.3) !important;
  --color-primary-alpha-20: rgba(54, 120, 255, 0.2) !important;
  --color-primary-alpha-10: rgba(54, 120, 255, 0.1) !important;

  /* Semantic colors */
  --color-red: #D8362A !important;
  --color-green: #219830 !important;
  --color-yellow: #FFBA20 !important;
  --color-blue: #3678FF !important;

  /* Button overrides */
  --color-button: var(--a0-grey-7) !important;
}

.ui.basic.button,
.ui.button {
  background: var(--a0-grey-7) !important;
  border: 1px solid var(--a0-grey-6) !important;
  color: var(--a0-grey-0) !important;
}
.ui.basic.button:hover,
.ui.button:hover {
  background: var(--a0-grey-6) !important;
  border-color: var(--a0-grey-5) !important;
}
.ui.primary.button,
.ui.primary.buttons .button {
  background: #3678FF !important;
  border-color: #0046D5 !important;
  color: #FFFFFF !important;
}
.ui.primary.button:hover,
.ui.primary.buttons .button:hover {
  background: #0046D5 !important;
}
.ui.negative.button,
.ui.red.button {
  background: #D8362A !important;
  border-color: #C00F0D !important;
}
.ui.negative.button:hover,
.ui.red.button:hover {
  background: #C00F0D !important;
}