Help with script editor fonts

I’ve been using the default ROBLOX script editor font (Courier New) for a while now, and I’m getting a little sick of it. Recently I saw a font on the dev forums i really like, but I can’t find it. Does anybody know what font this is?

Not really sure if I’ve put this in the correct category

Looks like Ubuntu font, try that one.

I checked but there’s nothing called “Ubuntu” in the font selector

What about “Monaco”, a font that is default on VSCode?

Still found nothing

filler text: asdfghjkl

Honestly, I would like this font too. Hit me up

Looks like this is Verdana : 10pt, Normal.