resizes github repos for smaller window widths.
Per
// ==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";