/* PROGIT: o tema da PRODEV para o Forgejo (dentro da PRODEV, em /progit).
   Sempre escuro, no mesmo preto azulado da PRODEV (o tema escuro do Coder,
   paleta zinc), com o azul da marca como cor primária e o laranja como
   destaque. Parte do theme-forgejo-dark e redefine a escala "steel", que é
   de onde o tema escuro tira todos os fundos e textos.
   Conferir os nomes das variáveis a cada versão: /assets/css/theme-forgejo-dark.css */
@import url("theme-forgejo-dark.css");
:root {
  /* A escala de cinzas do Forgejo escuro, trocada pela da PRODEV. */
  --steel-900: #09090b;
  --steel-850: #0e0e11;
  --steel-800: #111114;
  --steel-750: #18181b;
  --steel-700: #1c1c20;
  --steel-650: #27272a;
  --steel-600: #2e2e33;
  --steel-550: #3f3f46;
  --steel-500: #52525b;
  --steel-450: #5e5e67;
  --steel-400: #6b6b75;
  --steel-350: #71717a;
  --steel-300: #8b8b94;
  --steel-250: #9a9aa3;
  --steel-200: #a1a1aa;
  --steel-150: #c4c4cb;
  --steel-100: #e4e4e7;
  --steel-50: #fafafa;

  /* O azul da PRODEV como primária (no escuro, um tom mais claro). */
  --color-primary: #3b82f6;
  --color-primary-contrast: #ffffff;
  --color-primary-dark-1: #2a73e0;
  --color-primary-dark-2: #0b5fd9;
  --color-primary-dark-3: #0a55c2;
  --color-primary-dark-4: #094bab;
  --color-primary-dark-5: #084195;
  --color-primary-dark-6: #07377e;
  --color-primary-dark-7: #1a2a5e;
  --color-primary-light-1: #5b96f8;
  --color-primary-light-2: #7aa9f9;
  --color-primary-light-3: #99bcfb;
  --color-primary-light-4: #b8cffc;
  --color-primary-light-5: #d1dffd;
  --color-primary-light-6: #e3ecfe;
  --color-primary-light-7: #f0f5ff;
  --color-primary-alpha-10: #3b82f619;
  --color-primary-alpha-20: #3b82f633;
  --color-primary-alpha-30: #3b82f64b;
  --color-primary-alpha-40: #3b82f666;
  --color-primary-alpha-50: #3b82f680;
  --color-primary-alpha-60: #3b82f699;
  --color-primary-alpha-70: #3b82f6b3;
  --color-primary-alpha-80: #3b82f6cc;
  --color-primary-alpha-90: #3b82f6e1;
  --color-primary-hover: var(--color-primary-light-1);
  --color-primary-active: var(--color-primary-dark-2);
  --color-orange: #f7941d;
  --color-blue: #00a8ff;
  --color-body: #09090b;
  --color-nav-bg: #09090b;
  --color-footer: #09090b;
}
.ui.primary.button, .ui.primary.buttons .button { background-color: var(--color-primary) !important; color: #fff !important; }
.ui.primary.button:hover, .ui.primary.buttons .button:hover { background-color: var(--color-primary-hover) !important; }