industrial theme, .emacs updates