themes.py

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