Fixed the ACE version number and added an inverted theme (see #6101)