reddit / emacs

What is the font in eglot's gifs?