More pointless theme tweaking, and inf-lisp thing.