$min-width: 1349px;
// Brand primary — SAVA / API Maker blue (was an unrelated purple #7157cb).
$primary-color: #0C53A4;
$primary-color-font: #eef2f7;
$font-size: 0.875rem;
$font-size-small: 0.775rem;
// One scale for every glyph in a modal / card header action row (close, refresh,
// delete, git history, info…). Slightly above the $font-size body text so the
// actions read as controls, without the 1.15rem/0.95rem mix they had before,
// which made the same row of buttons look unevenly weighted.
$header-icon-size: 1rem;
// Fixed height for the wordmark/logo images that sit in the same rows.
$header-logo-height: 20px;
//$shadow-sm: 0 .125rem .25rem rgba(0, 0, 0, .075) !important; // it is bootstrap standard shadow-sm
//$border-style: 1px solid #dee2e6;

@font-face {
    font-family: 'Verdana';
    src: url('/assets/styles/fonts/Verdana.ttf');
}

@font-face {
    font-family: 'JetBrains Mono';
    src: url('/assets/styles/fonts/JetBrainsMonoRegular.ttf');
}