// TODO: this file isn't used, but is kept for backwards compatibility. It should be deleted in v17. $height: 56px !default; // Minimum height for paginator's in the highest density is determined based on how // much the paginator can shrink until the content exceeds (i.e. navigation buttons). $minimum-height: 40px !default; $maximum-height: $height !default; $density-config: ( height: ( default: $height, maximum: $maximum-height, minimum: $minimum-height, ) ) !default;