@import url('https://fonts.googleapis.com/css2?family=Inter:ital,opsz,wght@0,14..32,100..900;1,14..32,100..900&family=JetBrains+Mono:ital,wght@0,100..800;1,100..800&display=swap');

html {
    --font-family: Inter, sans-serif;
    --font-family-monospace: JetBrains Mono, monospace;

    --top-height: 100px;

    /* Make sure sidebar is wide enough to contain the page title (logo + title + version) */
    --side-nav-fixed-width: 400px;
}

#projectbrief {
    font-size: var(--title-font-size);
    padding-left: 3px;
    padding-bottom: 5px;
    font-weight: 600;
}

#projectnumber {
    font-size: 100%;
}

#MSearchResultsWindow {
    width: calc(var(--side-nav-fixed-width) - calc(2 * var(--spacing-medium)));
    height: calc(1.5 * var(--side-nav-fixed-width));
}

doxygen-awesome-dark-mode-toggle:hover {
    background-color: rgba(0,0,0,0);
}

html.dark-mode doxygen-awesome-dark-mode-toggle:hover {
    background-color: rgba(0,0,0,0);
}

doxygen-awesome-dark-mode-toggle {
    margin: calc(var(--spacing-medium) + .2em) auto var(--spacing-medium) auto;
    padding-right: 50px;
    max-width: 46em;
    padding: 0;
    max-width: 46em;
    width: auto;
    hight: auto;
    text-align: right;
    justify-content: right;
}