"Does anyone know what the JS Editor font is? I like how clean it is, and would like to apply it as my font for VS Code and Terminal. "