five line code ,make your sourcegraph better JS - 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/ Penulis daidaiJ Pemasangan harian 0 Total pemasangan 1 Nilai 0 0 0 Dibuat 24 Agustus 2023 Diperbarui 24 Agustus 2023