Theme Terra

Terra is a new theme in development for 0.22. It is intended as a showcase for just a few of the things possible with the new UI library and for that reason it tries to do things as differently from all previous themes. Terra is currently planned to replace GANT as the default theme.