Improvements to beamer theme