CSS replacement support

Template authors now can use placeholders in their stylesheets which will
be replaced by the central CSS dispatcher. Placeholders and their replacements
are defined in a style.ini file in the Template directory.

This makes changing a colorset very easy.

darcs-hash:20051030193321-7ad00-bc66f405fd2e2b18cfcc5dc28feef04671eb6558.gz