diff options
Diffstat (limited to 'WebContent/VAADIN/themes/base/fonts/fonts.scss')
| -rw-r--r-- | WebContent/VAADIN/themes/base/fonts/fonts.scss | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/WebContent/VAADIN/themes/base/fonts/fonts.scss b/WebContent/VAADIN/themes/base/fonts/fonts.scss index 608fe7c280..1f5c0cf6a2 100644 --- a/WebContent/VAADIN/themes/base/fonts/fonts.scss +++ b/WebContent/VAADIN/themes/base/fonts/fonts.scss @@ -1,9 +1,14 @@ +$v-font-awesome: true !default; // Set to false to exclude Font Awesome + @mixin fonts { @include fonticons; + @include v-font(ThemeIcons, themeicons-webfont); } @mixin fonticons { - @include v-font(FontAwesome, fontawesome-webfont); + @if $v-font-awesome { + @include v-font(FontAwesome, fontawesome-webfont); + } } @mixin v-font($font-family, $file-name) { |