Using CSS to highlight a page’s current (Posted ages ago but the date got mangled while importing to del.icio.us)