Something's up with index.html -- the menu looks bad.