$container-padding-left: 20px !default;
$container-padding-right: 20px !default;
$header-height: 38px !default;
$navigation-bar-height: 46px !default;
$recent-activity-height: 27px;
$maximum-zIndex: 2147483647; //biggest signed 32-bit values: 2**31-1
