Change the Pro Color Theme

An option you don’t “have” to do, but may “want” to do. Doing Pro demos, a dark theme is useful with a big audience.