Moved the user UI theme lua option into the video options table.