@color1: @gray6;
@color2: @gray7;
@color3: @gray1;
@color4: @gray8;
@color5: @gray3;
@containerWidth: 1240px;
@bold: 700;
@borderWidth: 1px;
@fontSize: 1em;
@bigFontSize: @fontSize * 1.5;
@smallFontSize: @fontSize / 1.17;
@white: #fff;
@gray1: #eee;
@gray2: #ddd;
@gray3: #ccc;
@gray4: #999;
@gray5: #777;
@gray6: #555;
@gray7: #333;
@gray8: #222;
@black: #000;
@darken: rgba(0,0,0,.25);
@lighten: rgba(255,255,255,.25);
@textColor: @gray5;
@linkColor: @color4;
@linkHoverColor: @color1;
@backgroundColor: @white;
@transition: 0.25s linear;
@padding: 1.25em;
@headerBkgColor: @white;
@menuHeight: 2.5em;
@menuLinkColor: @color2;
@menuLinkHoverColor: contrast(@color1, @gray8, @white, 30%);
@menuLinkHoverBkgColor: @color1;
@menuBkgColor: transparent;
@menuMoreBkgColor: @headerBkgColor;
@shadow: 0 3px 10px rgba(0,0,0,.15);