This site now runs the newest, freshest version of Drupal 5.0. Some of the menus may be in different places, but everything works more or less the same as in the demo.
The new version allows us to run this customized theme, which I like much better than the old one, while still having custom colors.