PyCharmThemes

settings.jar files can be imported using the PyCharm GUI.