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와 같은 확장 프로그램이 필요합니다.
이 스타일을 설치하려면 유저 스타일 관리자 확장 프로그램이 필요합니다.
(이미 유저 스타일 관리자가 설치되어 있습니다. 설치를 진행합니다!)
借鉴了wangxiaodiu的脚本，改动的实现方式不太一样，能在个人终端上生效
