A small JS plug-in, for fixed top