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/
スクリプトをインストールするには、Tampermonkey, Greasemonkey や Violentmonkey のような拡張機能のインストールが必要です。
You will need to install an extension such as Tampermonkey to install this script.
スクリプトをインストールするには、Tampermonkey や Violentmonkey のような拡張機能のインストールが必要です。
スクリプトをインストールするには、Tampermonkey や Userscripts のような拡張機能のインストールが必要です。
このスクリプトをインストールするには、Tampermonkeyなどの拡張機能をインストールする必要があります。
このスクリプトをインストールするには、ユーザースクリプト管理ツールの拡張機能をインストールする必要があります。
(ユーザースクリプト管理ツールは設定済みなのでインストール！)
このスタイルをインストールするには、Stylusなどの拡張機能をインストールする必要があります。
このスタイルをインストールするには、Stylus などの拡張機能をインストールする必要があります。
このスタイルをインストールするには、Stylus tなどの拡張機能をインストールする必要があります。
このスタイルをインストールするには、ユーザースタイル管理用の拡張機能をインストールする必要があります。
(ユーザースタイル管理ツールは設定済みなのでインストール！)
借鉴了wangxiaodiu的脚本，改动的实现方式不太一样，能在个人终端上生效
