Theme converter for CotEditor