message no. 143078
Posted by kisak in #github at 2016-07-13T15:35:33Z
personally, I think github devs can use whatever font they want, I just find it odd when I need to logout of the site to see if any text in a issue report is bold (since everything is rendering bold when logged in)