Minor theme changes

Generated by commit b03d77706904bc8fe8bc2c783a51aed9cbca11aa; pushed by Travis build 46.