You may have noticed (if you have visited in the past few minutes) that I have updated the header. It is now at v1.5 and instead of text links it uses images. Of course, as well as that I modified the header background to make it look even better. If they don’t look right, you may need to press F5 (or Ctrl-F5).
I know that they are a bit too high on Internet Explorer. If you know a fix to this please let me know! 