*) Change PDF view from SWFTools to pdf2htmlEX.