RSS

Fixed problems with the RSS generator. Also, minor tweaks to the
stylesheet.