Closed this issue 7 years ago · 2 comments
Which font is used in the banner?
That was added in 094e29f, which was before I started contributing to the project -- @rojiani , what font did you use there?
It's the ligaturized version of Deja Vu Sans Mono.