☰

githubwidth

resizes github repos for smaller window widths.

As of 2020-06-04. See the latest version.

// ==UserScript==
// @name         githubwidth
// @version      0.0
// @description  resizes github repos for smaller window widths.
// @match        http://github.com/*
// @match        https://github.com/*
// @match        http://*.github.com/*
// @match        https://*.github.com/*
// @run-at       document-idle
// @namespace    https://greatest.deepsurf.us/users/<my_id_here>
// ==/UserScript==

s = document.getElementsByClassName("repository-content")[0].parentNode.style;
s.width = "94vw";
s.margin = "0mm";