// ==UserScript==
// @name           Google Reader: Smaller
// @namespace      http://arantius.com/misc/greasemonkey/
// @description    Make various parts of the Google Reader interface smaller, to make use of screen real estate.
// @include        https://www.google.com/reader/view/*
// @include        http://www.google.com/reader/view/*
// @resource       css http://arantius.com/misc/greasemonkey/imports/google-reader-smaller.css
// ==/UserScript==

/*
Update history:

2008 Dec 04:
  Initial version, created after previous styles were broken by interface changes.
*/

GM_addStyle(GM_getResourceText('css'));