An editor theme adapted form Tomorrow