:root {
    --color-theme-base: var(--color-dark-blue);
    --color-theme-dark: var(--color-dark-blue--dark);
    --color-theme-text-positive: var(--color-dark-blue);
    --color-theme-text-negative: #fff;
    --font-family--primary: "Neo Sans Std", "neo-sans", Arial, sans-serif;
}

html {
    --header-multiplier: 1; /* 0 <= --header-multiplier <= 1 */
}

div.badge {
    background-color: var(--color-theme-dark);
}

.line {
    width: 21ex; /* ~number of characters in link title */
    right: 299px;
}

/* new elements specific to this page */