This is an XSL transformation to translate the XML format used by the ETH version of Silva into (relatively) clean XHTML body code. It's based on a hacked up version of Silva's doc_elements.xslt.

To use:

xsltproc -o output.html silvahtml.xslt silva_export_file.xml

Download here: silvahtml.xslt