Mostly to keep it written and request for comments. plasTeX/Renderers/XHTML/Themes/python/styles.css: File is generated by latex2html and modified, don't know how that would be addressed. /Carl