IMPORTANT PATCH:
----------------

* Altered the theming system to follow the naming convention of class files.
  theme.class has been renamed to theme.class.php!
* I fixed the default theme and my own theme, but none of the others themes
  for your convenience...  This means *you* have to rename your theme on CVS
  by (a) removing it from CVS and (b) adding it back with a its new name:
  'theme.class.php'.
    For the clueless:
    mv theme.class theme.class.php
    cvs remove theme.class
    cvs add theme.class.php
    cvs commit theme.class.php
* Sorry for breaking things ... try to fix it asap and everything will be
  OK. ;)