Style the Google Apps Script Editor
Fra
// ==UserScript==
// @name Google Apps Script Editor Styler
// @description Style the Google Apps Script Editor
// @namespace https://github.io/oshliaer
// @domain script.google.com
// @include https://script.google.com/d/*
// @include https://script.google.com/macros/d/*
// @author +AlexanderIvanov
// @developer +AlexanderIvanov
// @version 2017.2.23
// @grant GM_addStyle
// @icon https://ssl.gstatic.com/images/icons/product/script_chrome_only-256.png
// @screenshot https://gist.githubusercontent.com/oshliaer/518246959a67699ff8fb414ad6c7aa3d/raw/googleappsscripteditorstyler.screenshot.png
// @license WTFPL; http://www.wtfpl.net/txt/copying
// ==/UserScript==
var link = document.createElement('link');
link.rel = 'stylesheet';
link.href = 'https://fonts.googleapis.com/css?family=Ubuntu+Mono';
document.head.appendChild(link);
var style = '' +
//Autocomplete padding items
'*,html{font-family: Ubuntu Mono !important;}' +
//Autocomplete padding items
'.gwt-Label.item{padding-top:2px !important; padding-bottom:2px !important;}' +
//Autocomplete padding invert active
'.gwt-Label.item.selected{background-color:black !important;color:white !important;}';
GM_addStyle(style);