Comment Comment by curryhoward You can inspect the styles with browser dev tools. It's IBM Plex Mono. parent curryhoward 2 years ago