Added a mintty theme