/* DTU design guide palette (Navy Blue #030F4F option) — https://designguide.dtu.dk/colours
   Tint ladder (Navy Blue blended over white at the given opacity):
     100% #030F4F  80% #353F72  70% #4F5784  60% #686F95  50% #8187A7
   Alternative to colours.css. To use, swap it into HTML_EXTRA_STYLESHEET in
   the Doxyfile (keep it loaded last). Only colour variables are set here. */
html {
    --primary-color: #030F4F;
    --primary-dark-color: #030F4F;     /* 100% (guide has no darker tint) */
    --primary-light-color: #353F72;     /* 80% */
    --primary-lighter-color: #4F5784;   /* 70% */
    --primary-lightest-color: #686F95;  /* 60% */

    --page-background-color: #ffffff;
    --page-foreground-color: #212121;
    --page-secondary-foreground-color: #5a5a5a;

    --border-radius-large: 22px;
    --border-radius-small: 9px;
    --border-radius-medium: 14px;
    --spacing-small: 8px;
    --spacing-medium: 14px;
    --spacing-large: 19px;

    /* must fit the fixed sidebar header: logo + title + brief + search box */
    --top-height: 155px;

    --side-nav-background: #030F4F;
    --side-nav-foreground: #ffffff;
    --side-nav-selected-background: rgba(255, 255, 255, 0.15);
    --searchbar-background: #ffffff;
    --searchbar-border-radius: var(--border-radius-medium);
    --header-background: var(--side-nav-background);
    --header-foreground: var(--side-nav-foreground);

    --toc-background: #8187A7;          /* 50% */
    --toc-foreground: var(--page-foreground-color);
}

html.dark-mode {
    color-scheme: dark;

    /* brand colour kept on dark; primary-dark lightened for page accents,
       subtle backgrounds stay neutral-dark (guide defines no dark shades). */
    --primary-color: #030F4F;
    --primary-dark-color: #8187A7;      /* 50% */
    --primary-light-color: #4F5784;     /* 70% */
    --primary-lighter-color: #24262a;
    --primary-lightest-color: #1f2124;

    --page-background-color: #1C1D1F;
    --page-foreground-color: #d2dbde;
    --page-secondary-foreground-color: #859399;
    --separator-color: #333537;
    --side-nav-background: #030F4F;
    --side-nav-foreground: #ffffff;
    --toc-background: #202226;
    --searchbar-background: var(--page-background-color);
}