@font-face
{
    font-family: 'Wolframia';
  src: url('Wolframia.eot');
  src: url('Wolframia.eot?#') format('embedded-opentype'),
      url('Wolframia.woff') format('woff'),
      url('Wolframia.ttf') format('truetype');
}