GitHub

Fix formatting
As of 2017-02-16. See the latest version.
Ask a question, post a review, or report the script.
Wrap lines
// ==UserScript==
// @name         GitHub
// @namespace    http://tampermonkey.net/
// @version      0.3
// @description  Fix formatting
// @author       Ping
// @match        https://github.com/*
// @grant        none
// ==/UserScript==

(function() {
    'use strict';

    var head = document.getElementsByTagName('head')[0];
    var style = document.createElement('style');
    style.type = 'text/css';
    style.innerHTML = `

/* Reduce height of repository search bar */
.header {
  padding: 6px 0;
}

/* Reduce spacing around page heading and repo heading */
.pagehead {
  padding-top: 12px;
}
.pagehead, .repohead {
  margin-bottom: 12px;
}

/* Reduce height of tabs */
a.reponav-item, .tabnav-tab {
  line-height: 16px;
}

/* Reduce line spacing in code */
.blob-num, .blob-code-inner {
  font-size: 11px;
}
.blob-num, .blob-code {
  line-height: 14px;
  vertical-align: baseline;
}
.add-line-comment {
  height: 18px;
}

/* Reduce vertical padding in file header */
.file-header {
  padding: 0 10px;
}
.btn-sm {
  line-height: 17px;
}

/* Reduce space between files */
.files-next-bucket .file {
  margin-bottom: 16px;
}

/* Reduce padding above diff summary bar */
.pr-toolbar {
  height: 50px;
}
.diffbar {
  padding-top: 10px;
}
`;
    head.appendChild(style);
})();