Increase code font size on sourcegraph

Change the font size on sourcegraph. Current font is too small. Used code from

Post a review, comment, or question

If you think this script is breaking Greasy Fork's rules, please report it for removal.

Sign in to post a review, comment, or question.