:root {
    /* 
    We should try to use the same font everywhere. The most common fonts currently in use are clearly "Roboto Condensed"
    and some form of "Segoe UI" (it has MANY variants). Segoe UI variants that have at least 2 usages:
    
    Segoe UI Light;
    Segoe UI Semilight;
    Segoe UI;
    SegoeUI-Regular-final;
    SegoeUI-SemiLight-final;

    Given that most Segoe UI usages come from corev15 and it has so many variants, it's probably best to prefer
    Roboto Condensed as the default. Fallback to the most common Segoe UI variant if it's not found.
    */
    --default-font: "Roboto Condensed", "Segoe UI", sans-serif;
    --disabled-color: GrayText;
    --unvisited-link-color: #0072c6;
    --visited-link-color: #663399;
    --dropdown-option-selected-color: #f0f0f0;
    --dropdown-option-hover-color: #e0e0e0;
    
    --top-row-bg-color: #080808;
    --top-row-border-color: #666;
    --top-row-text-color: #fefefe;
    --top-row-hover-bg-color: #fefefe;
    --ribbon-bg-color: #eee;

    /* We should work towards a default font size, currently 13 and 14 are used quite randomly. 1px difference is not
    worth all the inconsistency. 14 is preferred */
    --f13: 13px;
    --f14: 14px;
    
    --small-gap: 4px;
}