Called “Inter”.
See: forum post Fonts prior to 0.15 forum post What’s the previous font style of the editor?