Make it easier to change "theme" by using theme variables.
Change default to 64bits!