Update web/example_theming.html