org.eclipse.osbp.themes/VAADIN/themes/base/fonts/fonts.scss

$v-font-awesome: true !default; // Set to false to exclude Font Awesome

@mixin fonts {
	@include fonticons;
	@include v-font(ThemeIcons, themeicons-webfont);
}

@mixin fonticons {
	@if $v-font-awesome {
		@include v-font(FontAwesome, fontawesome-webfont);
	}
}

@mixin v-font($font-family, $file-name) {
	@font-face {
	  font-family: '#{$font-family}';
	  src: url('#{$file-name}.eot');
	  src: url('#{$file-name}.eot?#iefix') format('embedded-opentype'), url('#{$file-name}.woff') format('woff'), url('#{$file-name}.ttf') format('truetype'), url('#{$file-name}.svg') format('svg');
	  font-weight: normal;
	  font-style: normal;
	}
    .#{$font-family} {
        font-family: '#{$font-family}';
        font-style: normal;
        font-weight: normal;
        -webkit-font-smoothing: antialiased;
        -moz-osx-font-smoothing: grayscale;
        display: inline-block;
    }
}

@mixin font($font-family, $file-name) {
  @warn "The 'font' mixin is DEPRECATED. You should use the corresponding 'v-font' mixin instead.";
  @include v-font($font-family, $file-name);
}