:root {
    --brand-color: 1, 55, 85; /* #013755 */
    --brand-color-full: rgb(var(--brand-color));
    --brand-color-alpha-5: rgba(var(--brand-color), 5%);
    --brand-color-alpha-10: rgba(var(--brand-color), 10%);
}

body {
    background-color: var(--brand-color-alpha-5);
}

.btn-primary {
    background-color: var(--brand-color-full);
    border-color: var(--brand-color-full);
}

.navbar {
    background-color: var(--brand-color-alpha-10);
}

/* Large devices (desktops, 992px and up) */
@media (min-width: 991.98px) {
    main {
        /* show always left menu */
        padding-left: 240px;
    }
}