The topdoc theme now supports iframes when needed