/**
 * Ueberschreibt die Schriftart-Definitionen von bootstrap.css mit solchen, die
 * zum Ressourcenmanagement kompatibel sind.
 */

@font-face {
  font-family: 'Glyphicons Halflings';
  src: url("/jakarta.faces.resource/fonts/glyphicons-halflings-regular.eot.xhtml");
  src: url("/jakarta.faces.resource/fonts/glyphicons-halflings-regular.eot.xhtml?#iefix") format('embedded-opentype'), url("/jakarta.faces.resource/fonts/glyphicons-halflings-regular.woff.xhtml") format('woff'), url("/jakarta.faces.resource/fonts/glyphicons-halflings-regular.ttf.xhtml") format('truetype'), url("/jakarta.faces.resource/fonts/glyphicons-halflings-regular.svg.xhtml#glyphicons_halflingsregular") format('svg');
}