/* This is meant for derived themes which need to overwrite some elements */