Updated cabal plugin and theme.