A few more tweaks to sky-theme.el.