Doth quoth the DaveM

Fixing web page with tiny fonts

Wednesday Feb 07, 2007

I finally got fed up with the small fonts of a web site I visit regularly, so I went searching for a solution. I'd read about Greasemonkey in Lifehacker, so I checked it out. It installed as a Firefox extension easily enough, and I restarted Firefox. I searched the Greasemonkey scripts repository for a solution to my font problem, with an idea that I could fix it using some additional CSS.

In searching for something to add some CSS to the offending site, I happened upon a reference to Stylish, another Firefox extension that specifically deals with style issues, so I installed it. After restarting Firefox again (why is it necessary to restart in order to load an extension?), I visited the offending web site, and then clicked the little Stylish icon at the bottom of the Firefox window. This brought up a menu where I could write a style for the particular page or the website as a whole. That brought up an editor where I could add the CSS I wanted. I browsed the CSS from the offending web site and just cut and pasted all the parts that specified font size, and changed the font sizes from x-small and xx-small to small ! important. The ! important part overrides the style specified by the site.

I reloaded pages from the web site I was trying to modify, and voila, it was now rendering with larger, more readable fonts. Very cool!

Like this post? del.icio.us | furl | slashdot | technorati | digg

Pandora holiday music

Wednesday Dec 20, 2006

I've been using and enjoying Pandora for several weeks now. I've got way too many stations already.

Yesterday I started listening to some of Pandora's holiday stations, in particular Vince Guaraldi Trio (Holiday). If you're familiar with the Peanuts holiday TV specials, you've heard Vince Guaraldi's music. I think all of the specials use Linus and Lucy as their theme song.

One nice thing is that most of the other songs on the station are jazz, and I enjoy that, having played bass in jazz bands for many years in the past, and having played my share of holiday songs along the way.

[1] Comments
Like this post? del.icio.us | furl | slashdot | technorati | digg