:root {
    --default-font: "Roboto Condensed", sans-serif;
    --navigation-font: "Roboto", sans-serif;
    --navigation-font-size: 16px;
    --navigation-link-text-color: #666666;
    --navigation-link-bg-color: #fcfcfc;

    --primary-color: #006eb5;
    --primary-hover-color: var(--primary-color); /* By default no color change on hover, but some clients might have override */
    --disabled-color: #777;
    --disabled-background-color: #ebebeb;
    --secondary-text-color: #666;
    --unvisited-link-color: var(--primary-color);
    --visited-link-color: #663399;
    --dropdown-option-selected-color: #f0f0f0;
    --dropdown-option-hover-color: #e0e0e0;
    --focused-input-color: #808080;
    
    --top-row-bg-color: #080808;
    --top-row-border-color: #fefefe;
    --top-row-text-color: #fefefe;
    --top-row-hover-bg-color: #fefefe;
    --ribbon-bg-color: #eee;
    --gray-text-color: #777;

    --delete-button-color: red;
    --validation-error-color: #bf0000;
    --validation-error-background: #ffcdd2;
    --warning-color: #ffeeba;
    --success-text-color: #155724;
    
    --wf-bg-col-past: #f0f0f0;
    --wf-bg-col-current: #ffa02f;
    --wf-bg-col-future: #ffeeba;
    --wf-bg-col-nonblocking: #fcd189;
    
    --wf-col-past: #4e4e4e;
    --wf-col-current: #4e4e4e;
    --wf-col-future: #4e4e4e;
    --wf-col-nonblocking: #4e4e4e;

    /* 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. */
    --f12: 14px;
    --f13: 14px;
    --f14: 14px;
    
    --small-border-radius: 10px;
    --large-border-radius: 20px;
    --left-navbar-border-radius: var(--large-border-radius);
    --small-border-radius-padding: 8px; /* without any padding, border radius looks very bad */
    --large-border-radius-padding: 14px;
    --small-gap: 4px;
    --medium-gap: 10px;
    --large-gap: 20px;
    --tab-size: 20px;
    --default-border-color: #d9d9d9;
    --default-input-vertical-padding: 3px;

    --workspace-background-color: #f6f8f9; /* color of the gaps between panels */
    --collapsible-panel-header-background-color: white;
    --collapsible-panel-header-text-color: var(--unvisited-link-color);

    --primary-button-color: white;
    --primary-button-bg-color: var(--primary-color);
    --secondary-button-color: var(--primary-color);
    --secondary-button-bg-color: white;
    
    --default-animation-duration: 0.3s;
    --large-panel-padding: 14px;
    --summary-row-color: #f0f0f0;
    --icon-size: 16px;
    --large-icon-size: 24px;
    --large-font-size: 24px;

    /* Use this when width:fit-content is too small/unstable and width:100% looks too big (empty space everywhere).
       Use max-width or similar concept to apply it instead of just width, otherwise mobile users may suffer. */
    --single-column-page-width: 800px;
    
    --input-medium-width: 200px;
}