use updated css from default theme in the semtools theme (no
customizations have been made).