@font-face {
  font-family: 'JetBrains Mono Medium';
  src: url('JetBrainsMono/web/eot/JetBrainsMono-Medium.eot');
  src: url('JetBrainsMono/web/eot/JetBrainsMono-Medium.eot?#iefix') format('embedded-opentype'),
       url('JetBrainsMono/web/woff/JetBrainsMono-Medium.woff') format('woff')
  ;
  font-weight: normal;
  font-style: normal;
}
