use renderPage_StateT for exporting hoodle to pdf file