Adds 'random' option for themes.