Various options and tweaks for ggplot themes. Preparing figures for publication.