@font-face {
  font-family: 'codicon';
  font-style: normal;
  font-weight: 400;
  src: local('codicon'),
       url("fonts/codicon.ttf") format('truetype');
}