I've been looking at the http://www.sencha.com/gxtdocs/ docs and really like the layout of it. does Sencha make the utility that generates that page available for others to use (be it free or paid)?

Thanks.