adapted to pdf2htmlEX v0.11