FontDefinition#org-eclipse-jface-textfont,
FontDefinition#org-eclipse-ui-workbench-texteditor-blockSelectionModeFont,
FontDefinition#org-eclipse-jdt-ui-editors-textfont {
  font-family: 'Fira Code';
  font-size: 12px;
}