@font-face {
  font-family: 'texgyreheros_bold';
  src: url("texgyreheros-bold-webfont.eot");
  src: url("texgyreheros-bold-webfont.eot?#iefix") format("embedded-opentype"), url("texgyreheros-bold-webfont.ttf") format("truetype"), url("texgyreheros-bold-webfont.woff") format("woff"), url("texgyreheros-bold-webfont.svg#texgyreherosbold") format("svg");
  font-style: normal;
  font-weight: normal;
}