$grid-column-header-font: bold 13px helvetica !default; $grid-column-header-color: #666 !default; // TODO: if calculated, this could be removed $grid-column-align-right-margin: 16px !default;