@font-face {
  font-family: 'STIXGeneral';
  src: url('stixgeneral-webfont.eot');
  src: local('[smiley]'), url('stixgeneral-webfont.woff') format('woff'), 
  url('stixgeneral-webfont.ttf') format('truetype'), 
  url('stixgeneral-webfont.svg#webfontZXtFAA5Q') format('svg');
  font-weight: normal;
  font-style: normal;
}
@font-face {
  font-family: 'STIXGeneral';
  src: url('stixgeneralitalic-webfont.eot');
  src: local('[smiley]'), url('stixgeneralitalic-webfont.woff') format('woff'),
  url('stixgeneralitalic-webfont.ttf') format('truetype'), 
  url('stixgeneralitalic-webfont.svg#webfont2oJeLJIt') format('svg');
  font-weight: normal;
  font-style: italic;
}
@font-face {
  font-family: 'STIXGeneral';
  src: url('stixgeneralbol-webfont.eot');
  src: local('[smiley]'), url('stixgeneralbol-webfont.woff') format('woff'), 
  url('stixgeneralbol-webfont.ttf') format('truetype'), 
  url('stixgeneralbol-webfont.svg#webfontwFpnxWyx') format('svg');
  font-weight: bold;
  font-style: normal;
}
@font-face {
  font-family: 'STIXGeneral';
  src: url('stixgeneralbolita-webfont.eot');
  src: local('[smiley]'), url('stixgeneralbolita-webfont.woff') format('woff'), 
  url('stixgeneralbolita-webfont.ttf') format('truetype'), 
  url('stixgeneralbolita-webfont.svg#webfontSsfHxKRo') format('svg');
  font-weight: bold;
  font-style: italic;
}