/* tokens.css — variabili di tema (:root) e font base.
   NB: il font "Public Sans" è già caricato anche via <link> in index.html;
   l'@import qui sotto è ridondante (vedi docs/audit-css.md). */
@import url('https://fonts.googleapis.com/css2?family=Public+Sans:ital,wght@0,300;0,400;0,500;0,600;0,700;1,100;1,300;1,400;1,500;1,600;1,700&display=swap');

:root {
    --txt-color: #566a7f;
    --txt-color-active-link: #696cff;
    --txt-color-dark: #697a8d;
    --back-color-light: rgba(67, 89, 113, 0.03);
    --back-color-dark: rgba(67, 89, 113, 0.3);
    --back-color-overlay: #435971;
    --back-color-active-link: rgba(105, 108, 255, 0.16);
    --back-color-hover-link: rgba(105, 122, 141,0.05);
    --back-color-badge-success: #e8fadf;
    --back-color-badge-open: #d7f5fc;
    --back-color-badge-take: #e7e7ff;
    --back-color-badge-pending: #fff2d6;
    --back-color-badge-not-resolved: #ffe0db;
    --btn-primary-color: #696cff;
    --btn-warning-color: #ffab00;
    --btn-danger-color: #ff3e1d;
    --btn-success-color: #71dd37;
    --btn-secondary-color: #8592a3;
    --btn-info-color: #03c3ec;
    --btn-dark-color: #233446;
    --btn-primary-color-hover: #5f61e6;
    --btn-warning-color-hover: #e69a00;
    --btn-danger-color-hover: #e6381a;
    --btn-success-color-hover: #66c732;
    --btn-secondary-color-hover: #788393;
    --btn-info-color-hover: #03b0d4;
    --btn-dark-color-hover: #202f3f;
    --font-text: "Public Sans", -apple-system, BlinkMacSystemFont, "Segoe UI", "Oxygen", "Ubuntu", "Cantarell", "Fira Sans", "Droid Sans", "Helvetica Neue", sans-serif;
    /* Shell: larghezza menu e derivate — un solo punto di verità */
    --menu-width: 17.5rem;
    --content-gap: 0.875rem;
    --topbar-height: 4rem;
    --z-shell-menu: 30;
    --z-shell-overlay: 25;
    --z-shell-topbar: 20;
}