@color1: #337486;
@color2: lighten(@color1, 15%);
@color3: spin(@color1, 30);
@color4: darken(spin(@color1, 30), 15%);
@color5: lighten(spin(@color1, 60%), 30%);
@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;
@transparent: transparent;
@darken: rgba(0,0,0,.25);
@lighten: rgba(255,255,255,.25);
@textColor: @gray5;
@linkColor: @color1;
@linkHoverColor: @color2;
@backgroundColor: @white;
@transition: color 0.25s linear;
@padding: 1.25em;
@menuHeight: 2.5em;
@menuLinkColor: @color1;
@menuLinkHoverColor: @color2;
@menuLinkHoverBkgColor: @color3;
@menuBkgColor: transparent;
@menuMoreBkgColor: @color4;
@shadow: 3px 3px 5px #aaa;
