☰

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/

Аўтар
wangxiaodiu
Усталяванняў за дзень
0
Усяго ўсталяванняў
33
Рэйтынг
1 0 0
Версія
0.1
Створаны
18.01.2021
Абноўлены
18.01.2021
Памер
844 байта
Ліцэнзія
Н/Д
Ужываецца на

Increase the code font size on sourcegraph.com from 12px (original) to 16px.