Skip to content

Instantly share code, notes, and snippets.

@philwebb
Created June 23, 2020 17:41
Show Gist options
  • Save philwebb/903ac9efa014293a2563b4ffb69e2a90 to your computer and use it in GitHub Desktop.
Save philwebb/903ac9efa014293a2563b4ffb69e2a90 to your computer and use it in GitHub Desktop.
// ==UserScript==
// @name github-style
// @namespace http://springsource.org
// @description Adds manual merge commands to pull requests
// @include https://github.com/*/*
// @include http://github.com/*/*
// @version 1
// @grant none
// ==/UserScript==
(function() {
'use strict';
var navElememt = document.evaluate(".//*[contains(@class, 'UnderlineNav-body')]", document, null, XPathResult.FIRST_ORDERED_NODE_TYPE, null).singleNodeValue;
navElememt.setAttribute("style", "padding-right: 250px; margin-right: auto; margin-left: auto;");
})();
@glyn
Copy link

glyn commented Jun 24, 2020

Thanks @philwebb! For anyone else who is interested here's the before:
Screenshot 2020-06-24 at 10 47 36

and after:
Screenshot 2020-06-24 at 10 47 51

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment