From 7f35bc5b65dccf6c953321e47342c4ed0b7c4b2b Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Julien=20D=C3=A9ramond?= Date: Fri, 25 Mar 2022 05:14:42 +0100 Subject: [PATCH] Define Pagination font size CSS var (#35917) Co-authored-by: Mark Otto --- scss/_pagination.scss | 3 +++ scss/_variables.scss | 2 ++ 2 files changed, 5 insertions(+) diff --git a/scss/_pagination.scss b/scss/_pagination.scss index 57e5b2be59..c7e1e85e7f 100644 --- a/scss/_pagination.scss +++ b/scss/_pagination.scss @@ -1,7 +1,10 @@ +// stylelint-disable custom-property-empty-line-before + .pagination { // scss-docs-start pagination-css-vars --#{$prefix}pagination-padding-x: #{$pagination-padding-x}; --#{$prefix}pagination-padding-y: #{$pagination-padding-y}; + @include rfs($pagination-font-size, --#{$prefix}pagination-font-size); --#{$prefix}pagination-color: #{$pagination-color}; --#{$prefix}pagination-bg: #{$pagination-bg}; --#{$prefix}pagination-border-width: #{$pagination-border-width}; diff --git a/scss/_variables.scss b/scss/_variables.scss index 36f30894c1..482d9ca8e0 100644 --- a/scss/_variables.scss +++ b/scss/_variables.scss @@ -1185,6 +1185,8 @@ $pagination-padding-x-sm: .5rem !default; $pagination-padding-y-lg: .75rem !default; $pagination-padding-x-lg: 1.5rem !default; +$pagination-font-size: $font-size-base !default; + $pagination-color: $link-color !default; $pagination-bg: $white !default; $pagination-border-radius: $border-radius !default;