jquery.org theme: tightened up the banners a bit