// ========================================================================== // Misc cosmetic // ========================================================================== // Button count arrow size @arrow-size: 5px; // Radii @border-radius-base: 4px; // Background @page-background: linear-gradient(to left top, lighten(@color-brand-primary, 15%), darken(@color-brand-primary, 15%));