fixes to documentation scripts for theming, etc.