themes.py

        
            
1
            import lxml.etree as ET
        
            
2
            
        
            
3
            dom = ET.parse("themes.xml")
        
            
4
            xslt = ET.parse("themes.xsl")
        
            
5
            transform = ET.XSLT(xslt)
        
            
6
            newdom = transform(dom)
        
            
7
            with open("themes.html", "w") as file:
        
            
8
                file.write(str(newdom))
        
            
9