diff options
| author | Thomas Park <thomas@thomaspark.me> | 2015-02-20 17:27:03 -0500 |
|---|---|---|
| committer | Thomas Park <thomas@thomaspark.me> | 2015-02-20 17:27:03 -0500 |
| commit | ff5c10b852c27cc30b92d96509e7d4996df9fafc (patch) | |
| tree | cd9dea9c51ddc27c6450ab3c41cdf195b3d80eb9 /readable | |
| parent | 44118ed718abc94cf874ee5980e36fd1b12c44a8 (diff) | |
prepare themes for strictMath
Diffstat (limited to 'readable')
| -rw-r--r-- | readable/_bootswatch.scss | 6 | ||||
| -rw-r--r-- | readable/bootswatch.less | 6 |
2 files changed, 6 insertions, 6 deletions
diff --git a/readable/_bootswatch.scss b/readable/_bootswatch.scss index afebc6c8..3aff9bfd 100644 --- a/readable/_bootswatch.scss +++ b/readable/_bootswatch.scss @@ -16,7 +16,7 @@ } &-nav > li > a { - $margin-vertical: ($navbar-height - 2*$padding-base-vertical - $line-height-computed - 2px) / 2; + $margin-vertical: (($navbar-height - 2*$padding-base-vertical - $line-height-computed - 2px) / 2); padding: $padding-base-vertical $padding-base-horizontal; margin: $margin-vertical 6px; border: 1px solid transparent; @@ -41,8 +41,8 @@ } &-brand { - padding-top: ($navbar-height - 2*$font-size-large) / 2; - padding-bottom: ($navbar-height - 2*$font-size-large) / 2; + padding-top: (($navbar-height - 2*$font-size-large) / 2); + padding-bottom: (($navbar-height - 2*$font-size-large) / 2); line-height: 1.9; } } diff --git a/readable/bootswatch.less b/readable/bootswatch.less index c0645312..7d2c6304 100644 --- a/readable/bootswatch.less +++ b/readable/bootswatch.less @@ -16,7 +16,7 @@ } &-nav > li > a { - @margin-vertical: (@navbar-height - 2*@padding-base-vertical - @line-height-computed - 2px) / 2; + @margin-vertical: ((@navbar-height - 2*@padding-base-vertical - @line-height-computed - 2px) / 2); padding: @padding-base-vertical @padding-base-horizontal; margin: @margin-vertical 6px; border: 1px solid transparent; @@ -41,8 +41,8 @@ } &-brand { - padding-top: (@navbar-height - 2*@font-size-large) / 2; - padding-bottom: (@navbar-height - 2*@font-size-large) / 2; + padding-top: ((@navbar-height - 2*@font-size-large) / 2); + padding-bottom: ((@navbar-height - 2*@font-size-large) / 2); line-height: 1.9; } } |