Pivotal Tracker Userscript to Fight UI Wrinkles

pivotal_tracker-fight_wrinkles.user.js

// ==UserScript==
// @name         Pivotal Tracker: Fight Wrinkles
// @description  Fixes a few small UI annoyances with Pivotal Tracker.
// @author       Jason Weathered
// @namespace    http://jasoncodes.com/
// @match        https://www.pivotaltracker.com/*
// @include      https://www.pivotaltracker.com/*
// @version      1.0.0
// ==/UserScript==

// More info: http://jasoncodes.com/posts/pivotal-tracker-fluid-userscripts

var e = document.createElement('style');
e.setAttribute("type", "text/css");
e.textContent = '\
	/* always show scrollbar on story lists to prevent jumps when expanding stories */\
	.list .items .inner\
	{\
		overflow-y: scroll;\
	}\
	/* reduce the size of the "end of list" drop zone */\
	.endOfList\
	{\
		background: none;\
		border-color: transparent;\
		height: 4px;\
		margin-top: -5px;\
	}\
	/* fix indentation of readonly/uninitialised textareas */\
	div.formatted_text_area, .noteText\
	{\
		white-space: pre-wrap;\
	}\
';
document.getElementsByTagName('head')[0].appendChild(e);