minor changes and some more example HTML pages displaying different themes