Course themes now work better.

theme/xxxx/styles.php is now really short because all the logic
is in weblib.php.