Thanks for the suggestion. While looking elsewhere on the web about this, I came across some other scripts that do similar things. I like [www.userscripts.org] — it may not do much to most of the page, but it does reduce the spacing in the list of article titles, which is the main thing I wanted.