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/
// ==UserScript==
// @name Increase code font size on sourcegraph
// @namespace http://tampermonkey.net/
// @version 0.1
// @description 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/
// @author github.com/wangxiaodiu
// @match *sourcegraph.com/*
// @grant none
// ==/UserScript==
(function() {
'use strict';
// Your code here...
function addGlobalStyle(css) {
var head, style;
head = document.getElementsByTagName('head')[0];
if (!head) { return; }
style = document.createElement('style');
style.type = 'text/css';
style.innerHTML = css;
head.appendChild(style);
}
addGlobalStyle(".code {font-size: 16px !important}");
})();