This is a (Javascript/CSS) Fixed menu.
Some links:
JTricks.com Home; Multilinks