Increase code font size on sourcegraph

Change the font size on sourcegraph. Current font is too small. Used code from https://somethingididnotknow.wordpress.com/2013/07/01/change-page-styles-with-greasemonkeytampermonkey/

< Feedback on Increase code font size on sourcegraph

Review: Good - script works

§
Posted: 9.1.2022

好评

Post reply

Sign in to post a reply.