@theme-color-background-base:          #fff;
@theme-color-background-tinyContrast:  #f2f2f2;
@theme-color-background-lowContrast:   @color-silver-l85;
@theme-color-background-contrast:      #5F5A60;
@theme-color-background-highContrast:  #202020;

@theme-color-border: @color-silver-l80;

@theme-color-code: #F3F3F3;
@theme-color-code-background: #4D4D4D;

@theme-color-widget-background: @theme-color-background-base;
@theme-color-widget-border:     @color-silver-l85;