…and look where it took me!

Looking at the blog, of course I decided I needed a favicon because I open entirely too many tabs in my browser, and the featureless little default of a blank page just fades away & makes it hard for me to find the right tab. (I wish all pages put out favicons.)

Googling on favicon I found this Wiki entry that details how to do this. Given the history of the favicon, there’s multiple ways to specify the favicon. The simplest is the mere presence of a file named favicon.ico although of course for many reasons that’s a horrible way to implement things. Still, I put one together as a gif file and used one of the free converters also listed on the wiki page, just to test it out quickly.

Looks like the ico format doesn’t support transparency, or at least the converter I used doesn’t. In any case, I wanted to use the more standard (and flexible) link format so that I can use other graphics such as gif or png.

However, this now entailed modifications to the head tag and of course since this is in WordPress, I don’t have a simple .html file but rather a series of php cgi scripts. With some digging and some perusal of WordPress’ support pages I found the relevant files in the themes directory, under (of course) header.php.

So this means any time I change my theme, I’ll need to migrate this modification over. Hmm. I already plan to make my own theme anyway, but this sounds annoying for anyone who just uses ready-made templates.