Minor theme file modifications

Generated by commit 845603e81aeced7485557b485630a128d3c6a9f1; pushed by Travis build 45.