Various rc.lua/theme.lua tweaks