:root {
    --primary-color: #052767;
    /* Explicit hover/active shades: leaving them to Bootstrap means its default blue, and
       "shade by 15%" is not something CSS can compute here. */
    --primary-color-hover: #0a3a8f;
    --primary-color-active: #031c4b;
    --secondary-color: #282d31;
    --highlight-primary: #f4f4f4;
    --highlight-secondary: #777777;
    --background-secondary: #333333;
}