Do a view source on that page to get some lovely 90's era HTML nostalgia. (If you're wondering why the in-page menu behaves like that... it's because they're i

Do a view source on that page to get some lovely 90's era HTML nostalgia. (If you're wondering why the in-page menu behaves like that... it's because they're images, swapped out for their hover state with JavaScript, with the off state actually an animated GIF!)