more theme tweaks, added ido-vertical-mode