v0.40: uncessary <fontspec> elements repeated over 500 times
Status: Beta
Brought to you by:
meshko
Menu
▾
▴
#79 v0.40: uncessary <fontspec> elements repeated over 500 times
open
nobody
None
5
2015-02-13
2006-11-15
No
One of the PDFs I try to convert produce the following output. (This seems to be a bug. Because of copyright issues concerding the content of the pdf, it is unfortunately not possible for me to provide a copy.)
<page number="11" position="absolute" top="0" left="0" height="1263" width="892">
<fontspec id="1620" size="14" family="Times" color="#000000"/>
<fontspec id="1621" size="14" family="Times" color="#000000"/>
<fontspec id="1622" size="14" family="Times" color="#000000"/>
<fontspec id="1623" size="14" family="Times" color="#000000"/>
<fontspec id="1624" size="14" family="Times" color="#000000"/>
<fontspec id="1625" size="14" family="Times" color="#000000"/>
<fontspec id="1626" size="14" family="Times" color="#000000"/>
<fontspec id="1627" size="14" family="Times" color="#000000"/>
<fontspec id="1628" size="14" family="Times" color="#000000"/>
<fontspec id="1629" size="14" family="Times" color="#000000"/>
<fontspec id="1630" size="14" family="Times" color="#000000"/>
<fontspec id="1631" size="14" family="Times" color="#000000"/>
<fontspec id="1632" size="12" family="Times" color="#000000"/>
<fontspec id="1633" size="12" family="Times" color="#000000"/>
<fontspec id="1634" size="12" family="Times" color="#000000"/>
<fontspec id="1635" size="12" family="Times" color="#000000"/>
<fontspec id="1636" size="12" family="Times" color="#000000"/>
<fontspec id="1637" size="12" family="Times" color="#000000"/>
<fontspec id="1638" size="12" family="Times" color="#000000"/>
<fontspec id="1639" size="12" family="Times" color="#000000"/>
<fontspec id="1640" size="12" family="Times" color="#000000"/>
<fontspec id="1641" size="12" family="Times" color="#000000"/>
<fontspec id="1642" size="12" family="Times" color="#000000"/>
<fontspec id="1643" size="12" family="Times" color="#000000"/>
<fontspec id="1644" size="12" family="Times" color="#000000"/>
<fontspec id="1645" size="12" family="Times" color="#000000"/>
<fontspec id="1646" size="12" family="Times" color="#000000"/>
<fontspec id="1647" size="12" family="Times" color="#000000"/>
<fontspec id="1648" size="12" family="Times" color="#000000"/>
<fontspec id="1649" size="12" family="Times" color="#000000"/>
<fontspec id="1650" size="12" family="Times" color="#000000"/>
<fontspec id="1651" size="12" family="Times" color="#000000"/>
<fontspec id="1652" size="12" family="Times" color="#000000"/>
<fontspec id="1653" size="12" family="Times" color="#000000"/>
<fontspec id="1654" size="12" family="Times" color="#000000"/>
<fontspec id="1655" size="12" family="Times" color="#000000"/>
<fontspec id="1656" size="12" family="Times" color="#000000"/>
<fontspec id="1657" size="12" family="Times" color="#000000"/>
<fontspec id="1658" size="12" family="Times" color="#000000"/>
<fontspec id="1659" size="12" family="Times" color="#000000"/>
<fontspec id="1660" size="12" family="Times" color="#000000"/>
<fontspec id="1661" size="12" family="Times" color="#000000"/>
<fontspec id="1662" size="12" family="Times" color="#000000"/>
<fontspec id="1663" size="12" family="Times" color="#000000"/>
<fontspec id="1664" size="12" family="Times" color="#000000"/>
<fontspec id="1665" size="12" family="Times" color="#000000"/>
<fontspec id="1666" size="12" family="Times" color="#000000"/>
<fontspec id="1667" size="12" family="Times" color="#000000"/>
<fontspec id="1668" size="12" family="Times" color="#000000"/>
<fontspec id="1669" size="12" family="Times" color="#000000"/>
<fontspec id="1670" size="12" family="Times" color="#000000"/>
<fontspec id="1671" size="12" family="Times" color="#000000"/>
<fontspec id="1672" size="12" family="Times" color="#000000"/>
<fontspec id="1673" size="12" family="Times" color="#000000"/>
<fontspec id="1674" size="12" family="Times" color="#000000"/>
<fontspec id="1675" size="12" family="Times" color="#000000"/>
<fontspec id="1676" size="12" family="Times" color="#000000"/>
<fontspec id="1677" size="12" family="Times" color="#000000"/>
<fontspec id="1678" size="12" family="Times" color="#000000"/>
<fontspec id="1679" size="12" family="Times" color="#000000"/>
<fontspec id="1680" size="12" family="Times" color="#000000"/>
<fontspec id="1681" size="12" family="Times" color="#000000"/>
<fontspec id="1682" size="12" family="Times" color="#000000"/>
<fontspec id="1683" size="12" family="Times" color="#000000"/>
<fontspec id="1684" size="12" family="Times" color="#000000"/>
<fontspec id="1685" size="12" family="Times" color="#000000"/>
<fontspec id="1686" size="12" family="Times" color="#000000"/>
<fontspec id="1687" size="12" family="Times" color="#000000"/>
<fontspec id="1688" size="12" family="Times" color="#000000"/>
<fontspec id="1689" size="12" family="Times" color="#000000"/>
<fontspec id="1690" size="12" family="Times" color="#000000"/>
<fontspec id="1691" size="12" family="Times" color="#000000"/>
<fontspec id="1692" size="12" family="Times" color="#000000"/>
<fontspec id="1693" size="12" family="Times" color="#000000"/>
<fontspec id="1694" size="12" family="Times" color="#000000"/>
<fontspec id="1695" size="12" family="Times" color="#000000"/>
<fontspec id="1696" size="12" family="Times" color="#000000"/>
<fontspec id="1697" size="12" family="Times" color="#000000"/>
<fontspec id="1698" size="12" family="Times" color="#000000"/>
<fontspec id="1699" size="12" family="Times" color="#000000"/>
<fontspec id="1700" size="12" family="Times" color="#000000"/>
<fontspec id="1701" size="12" family="Times" color="#000000"/>
<fontspec id="1702" size="12" family="Times" color="#000000"/>
<fontspec id="1703" size="12" family="Times" color="#000000"/>
<fontspec id="1704" size="12" family="Times" color="#000000"/>
<fontspec id="1705" size="12" family="Times" color="#000000"/>
<fontspec id="1706" size="12" family="Times" color="#000000"/>
<fontspec id="1707" size="12" family="Times" color="#000000"/>
<fontspec id="1708" size="12" family="Times" color="#000000"/>
<fontspec id="1709" size="12" family="Times" color="#000000"/>
<fontspec id="1710" size="12" family="Times" color="#000000"/>
<fontspec id="1711" size="12" family="Times" color="#000000"/>
<fontspec id="1712" size="12" family="Times" color="#000000"/>
<fontspec id="1713" size="12" family="Times" color="#000000"/>
<fontspec id="1714" size="12" family="Times" color="#000000"/>
<fontspec id="1715" size="12" family="Times" color="#000000"/>
<fontspec id="1716" size="12" family="Times" color="#000000"/>
<fontspec id="1717" size="12" family="Times" color="#000000"/>
<fontspec id="1718" size="12" family="Times" color="#000000"/>
<fontspec id="1719" size="12" family="Times" color="#000000"/>
<fontspec id="1720" size="12" family="Times" color="#000000"/>
<fontspec id="1721" size="12" family="Times" color="#000000"/>
<fontspec id="1722" size="12" family="Times" color="#000000"/>
<fontspec id="1723" size="12" family="Times" color="#000000"/>
<fontspec id="1724" size="12" family="Times" color="#000000"/>
<fontspec id="1725" size="12" family="Times" color="#000000"/>
<fontspec id="1726" size="12" family="Times" color="#000000"/>
<fontspec id="1727" size="12" family="Times" color="#000000"/>
<fontspec id="1728" size="12" family="Times" color="#000000"/>
<fontspec id="1729" size="12" family="Times" color="#000000"/>
<fontspec id="1730" size="12" family="Times" color="#000000"/>
<fontspec id="1731" size="12" family="Times" color="#000000"/>
<fontspec id="1732" size="12" family="Times" color="#000000"/>
<fontspec id="1733" size="12" family="Times" color="#000000"/>
<fontspec id="1734" size="12" family="Times" color="#000000"/>
<fontspec id="1735" size="12" family="Times" color="#000000"/>
<fontspec id="1736" size="12" family="Times" color="#000000"/>
<fontspec id="1737" size="12" family="Times" color="#000000"/>
<fontspec id="1738" size="12" family="Times" color="#000000"/>
<fontspec id="1739" size="12" family="Times" color="#000000"/>
<fontspec id="1740" size="12" family="Times" color="#000000"/>
<fontspec id="1741" size="12" family="Times" color="#000000"/>
<fontspec id="1742" size="12" family="Times" color="#000000"/>
<fontspec id="1743" size="12" family="Times" color="#000000"/>
<fontspec id="1744" size="12" family="Times" color="#000000"/>
<fontspec id="1745" size="12" family="Times" color="#000000"/>
<fontspec id="1746" size="12" family="Times" color="#000000"/>
<fontspec id="1747" size="12" family="Times" color="#000000"/>
<fontspec id="1748" size="12" family="Times" color="#000000"/>
<fontspec id="1749" size="12" family="Times" color="#000000"/>
<fontspec id="1750" size="12" family="Times" color="#000000"/>
<fontspec id="1751" size="12" family="Times" color="#000000"/>
<fontspec id="1752" size="12" family="Times" color="#000000"/>
<fontspec id="1753" size="12" family="Times" color="#000000"/>
<fontspec id="1754" size="12" family="Times" color="#000000"/>
<fontspec id="1755" size="12" family="Times" color="#000000"/>
<fontspec id="1756" size="12" family="Times" color="#000000"/>
<fontspec id="1757" size="12" family="Times" color="#000000"/>
<fontspec id="1758" size="12" family="Times" color="#000000"/>
<fontspec id="1759" size="12" family="Times" color="#000000"/>
<fontspec id="1760" size="12" family="Times" color="#000000"/>
<fontspec id="1761" size="12" family="Times" color="#000000"/>
<fontspec id="1762" size="12" family="Times" color="#000000"/>
<fontspec id="1763" size="12" family="Times" color="#000000"/>
<fontspec id="1764" size="12" family="Times" color="#000000"/>
<fontspec id="1765" size="12" family="Times" color="#000000"/>
<fontspec id="1766" size="12" family="Times" color="#000000"/>
<fontspec id="1767" size="12" family="Times" color="#000000"/>
<fontspec id="1768" size="12" family="Times" color="#000000"/>
<fontspec id="1769" size="12" family="Times" color="#000000"/>
<fontspec id="1770" size="12" family="Times" color="#000000"/>
<fontspec id="1771" size="12" family="Times" color="#000000"/>
<fontspec id="1772" size="12" family="Times" color="#000000"/>
<fontspec id="1773" size="12" family="Times" color="#000000"/>
<fontspec id="1774" size="12" family="Times" color="#000000"/>
<fontspec id="1775" size="12" family="Times" color="#000000"/>
<fontspec id="1776" size="12" family="Times" color="#000000"/>
<fontspec id="1777" size="12" family="Times" color="#000000"/>
<fontspec id="1778" size="12" family="Times" color="#000000"/>
<fontspec id="1779" size="12" family="Times" color="#000000"/>
<fontspec id="1780" size="12" family="Times" color="#000000"/>
<fontspec id="1781" size="12" family="Times" color="#000000"/>
<fontspec id="1782" size="12" family="Times" color="#000000"/>
<fontspec id="1783" size="12" family="Times" color="#000000"/>
<fontspec id="1784" size="12" family="Times" color="#000000"/>
<fontspec id="1785" size="12" family="Times" color="#000000"/>
<fontspec id="1786" size="12" family="Times" color="#000000"/>
<fontspec id="1787" size="12" family="Times" color="#000000"/>
<fontspec id="1788" size="12" family="Times" color="#000000"/>
<fontspec id="1789" size="12" family="Times" color="#000000"/>
<fontspec id="1790" size="12" family="Times" color="#000000"/>
<fontspec id="1791" size="12" family="Times" color="#000000"/>
<fontspec id="1792" size="12" family="Times" color="#000000"/>
<fontspec id="1793" size="12" family="Times" color="#000000"/>
<fontspec id="1794" size="12" family="Times" color="#000000"/>
<fontspec id="1795" size="12" family="Times" color="#000000"/>
<fontspec id="1796" size="12" family="Times" color="#000000"/>
<fontspec id="1797" size="12" family="Times" color="#000000"/>
<fontspec id="1798" size="12" family="Times" color="#000000"/>
<fontspec id="1799" size="12" family="Times" color="#000000"/>
<fontspec id="1800" size="12" family="Times" color="#000000"/>
<fontspec id="1801" size="12" family="Times" color="#000000"/>
<fontspec id="1802" size="12" family="Times" color="#000000"/>
<fontspec id="1803" size="12" family="Times" color="#000000"/>
<fontspec id="1804" size="12" family="Times" color="#000000"/>
<fontspec id="1805" size="12" family="Times" color="#000000"/>
<fontspec id="1806" size="12" family="Times" color="#000000"/>
<fontspec id="1807" size="12" family="Times" color="#000000"/>
<fontspec id="1808" size="12" family="Times" color="#000000"/>
<fontspec id="1809" size="12" family="Times" color="#000000"/>
<fontspec id="1810" size="12" family="Times" color="#000000"/>
<fontspec id="1811" size="12" family="Times" color="#000000"/>
<fontspec id="1812" size="12" family="Times" color="#000000"/>
<fontspec id="1813" size="12" family="Times" color="#000000"/>
<fontspec id="1814" size="12" family="Times" color="#000000"/>
<fontspec id="1815" size="12" family="Times" color="#000000"/>
<fontspec id="1816" size="12" family="Times" color="#000000"/>
<fontspec id="1817" size="12" family="Times" color="#000000"/>
<fontspec id="1818" size="12" family="Times" color="#000000"/>
<fontspec id="1819" size="12" family="Times" color="#000000"/>
<fontspec id="1820" size="12" family="Times" color="#000000"/>
<fontspec id="1821" size="12" family="Times" color="#000000"/>
<fontspec id="1822" size="12" family="Times" color="#000000"/>
<fontspec id="1823" size="12" family="Times" color="#000000"/>
<fontspec id="1824" size="12" family="Times" color="#000000"/>
<fontspec id="1825" size="12" family="Times" color="#000000"/>
<fontspec id="1826" size="12" family="Times" color="#000000"/>
<fontspec id="1827" size="12" family="Times" color="#000000"/>
<fontspec id="1828" size="12" family="Times" color="#000000"/>
<fontspec id="1829" size="12" family="Times" color="#000000"/>
<fontspec id="1830" size="12" family="Times" color="#000000"/>
<fontspec id="1831" size="12" family="Times" color="#000000"/>
<fontspec id="1832" size="12" family="Times" color="#000000"/>
<fontspec id="1833" size="12" family="Times" color="#000000"/>
<fontspec id="1834" size="12" family="Times" color="#000000"/>
<fontspec id="1835" size="12" family="Times" color="#000000"/>
<fontspec id="1836" size="12" family="Times" color="#000000"/>
<fontspec id="1837" size="12" family="Times" color="#000000"/>
<fontspec id="1838" size="12" family="Times" color="#000000"/>
<fontspec id="1839" size="12" family="Times" color="#000000"/>
<fontspec id="1840" size="12" family="Times" color="#000000"/>
<fontspec id="1841" size="12" family="Times" color="#000000"/>
<fontspec id="1842" size="12" family="Times" color="#000000"/>
<fontspec id="1843" size="12" family="Times" color="#000000"/>
<fontspec id="1844" size="12" family="Times" color="#000000"/>
<fontspec id="1845" size="12" family="Times" color="#000000"/>
<fontspec id="1846" size="12" family="Times" color="#000000"/>
<fontspec id="1847" size="12" family="Times" color="#000000"/>
<fontspec id="1848" size="12" family="Times" color="#000000"/>
<fontspec id="1849" size="12" family="Times" color="#000000"/>
<fontspec id="1850" size="12" family="Times" color="#000000"/>
<fontspec id="1851" size="12" family="Times" color="#000000"/>
<fontspec id="1852" size="12" family="Times" color="#000000"/>
<fontspec id="1853" size="12" family="Times" color="#000000"/>
<fontspec id="1854" size="12" family="Times" color="#000000"/>
<fontspec id="1855" size="12" family="Times" color="#000000"/>
<fontspec id="1856" size="12" family="Times" color="#000000"/>
<fontspec id="1857" size="12" family="Times" color="#000000"/>
<fontspec id="1858" size="12" family="Times" color="#000000"/>
<fontspec id="1859" size="12" family="Times" color="#000000"/>
<fontspec id="1860" size="12" family="Times" color="#000000"/>
<fontspec id="1861" size="12" family="Times" color="#000000"/>
<fontspec id="1862" size="12" family="Times" color="#000000"/>
<fontspec id="1863" size="12" family="Times" color="#000000"/>
<fontspec id="1864" size="12" family="Times" color="#000000"/>
<fontspec id="1865" size="12" family="Times" color="#000000"/>
<fontspec id="1866" size="12" family="Times" color="#000000"/>
<fontspec id="1867" size="12" family="Times" color="#000000"/>
<fontspec id="1868" size="12" family="Times" color="#000000"/>
<fontspec id="1869" size="12" family="Times" color="#000000"/>
<fontspec id="1870" size="12" family="Times" color="#000000"/>
<fontspec id="1871" size="12" family="Times" color="#000000"/>
<fontspec id="1872" size="12" family="Times" color="#000000"/>
<fontspec id="1873" size="12" family="Times" color="#000000"/>
<fontspec id="1874" size="12" family="Times" color="#000000"/>
<fontspec id="1875" size="12" family="Times" color="#000000"/>
<fontspec id="1876" size="12" family="Times" color="#000000"/>
<fontspec id="1877" size="12" family="Times" color="#000000"/>
<fontspec id="1878" size="12" family="Times" color="#000000"/>
<fontspec id="1879" size="12" family="Times" color="#000000"/>
<fontspec id="1880" size="12" family="Times" color="#000000"/>
<fontspec id="1881" size="12" family="Times" color="#000000"/>
<fontspec id="1882" size="12" family="Times" color="#000000"/>
<fontspec id="1883" size="12" family="Times" color="#000000"/>
<fontspec id="1884" size="12" family="Times" color="#000000"/>
<fontspec id="1885" size="12" family="Times" color="#000000"/>
<fontspec id="1886" size="12" family="Times" color="#000000"/>
<fontspec id="1887" size="12" family="Times" color="#000000"/>
<fontspec id="1888" size="12" family="Times" color="#000000"/>
<fontspec id="1889" size="12" family="Times" color="#000000"/>
<fontspec id="1890" size="12" family="Times" color="#000000"/>
<fontspec id="1891" size="12" family="Times" color="#000000"/>
<fontspec id="1892" size="12" family="Times" color="#000000"/>
<fontspec id="1893" size="12" family="Times" color="#000000"/>
<fontspec id="1894" size="12" family="Times" color="#000000"/>
<fontspec id="1895" size="12" family="Times" color="#000000"/>
<fontspec id="1896" size="12" family="Times" color="#000000"/>
<fontspec id="1897" size="12" family="Times" color="#000000"/>
<fontspec id="1898" size="12" family="Times" color="#000000"/>
<fontspec id="1899" size="12" family="Times" color="#000000"/>
<fontspec id="1900" size="12" family="Times" color="#000000"/>
<fontspec id="1901" size="12" family="Times" color="#000000"/>
<fontspec id="1902" size="12" family="Times" color="#000000"/>
<fontspec id="1903" size="12" family="Times" color="#000000"/>
<fontspec id="1904" size="12" family="Times" color="#000000"/>
<fontspec id="1905" size="12" family="Times" color="#000000"/>
<fontspec id="1906" size="12" family="Times" color="#000000"/>
<fontspec id="1907" size="12" family="Times" color="#000000"/>
<fontspec id="1908" size="12" family="Times" color="#000000"/>
<fontspec id="1909" size="12" family="Times" color="#000000"/>
<fontspec id="1910" size="12" family="Times" color="#000000"/>
<fontspec id="1911" size="12" family="Times" color="#000000"/>
<fontspec id="1912" size="12" family="Times" color="#000000"/>
<fontspec id="1913" size="12" family="Times" color="#000000"/>
<fontspec id="1914" size="12" family="Times" color="#000000"/>
<fontspec id="1915" size="12" family="Times" color="#000000"/>
<fontspec id="1916" size="12" family="Times" color="#000000"/>
<fontspec id="1917" size="12" family="Times" color="#000000"/>
<fontspec id="1918" size="12" family="Times" color="#000000"/>
<fontspec id="1919" size="12" family="Times" color="#000000"/>
<fontspec id="1920" size="12" family="Times" color="#000000"/>
<fontspec id="1921" size="12" family="Times" color="#000000"/>
<fontspec id="1922" size="12" family="Times" color="#000000"/>
<fontspec id="1923" size="12" family="Times" color="#000000"/>
<fontspec id="1924" size="12" family="Times" color="#000000"/>
<fontspec id="1925" size="12" family="Times" color="#000000"/>
<fontspec id="1926" size="12" family="Times" color="#000000"/>
<fontspec id="1927" size="12" family="Times" color="#000000"/>
<fontspec id="1928" size="12" family="Times" color="#000000"/>
<fontspec id="1929" size="12" family="Times" color="#000000"/>
<fontspec id="1930" size="12" family="Times" color="#000000"/>
<fontspec id="1931" size="12" family="Times" color="#000000"/>
<fontspec id="1932" size="12" family="Times" color="#000000"/>
<fontspec id="1933" size="12" family="Times" color="#000000"/>
<fontspec id="1934" size="12" family="Times" color="#000000"/>
<fontspec id="1935" size="12" family="Times" color="#000000"/>
<fontspec id="1936" size="12" family="Times" color="#000000"/>
<fontspec id="1937" size="12" family="Times" color="#000000"/>
<fontspec id="1938" size="12" family="Times" color="#000000"/>
<fontspec id="1939" size="12" family="Times" color="#000000"/>
<fontspec id="1940" size="12" family="Times" color="#000000"/>
<fontspec id="1941" size="12" family="Times" color="#000000"/>
<fontspec id="1942" size="12" family="Times" color="#000000"/>
<fontspec id="1943" size="12" family="Times" color="#000000"/>
<fontspec id="1944" size="12" family="Times" color="#000000"/>
<fontspec id="1945" size="12" family="Times" color="#000000"/>
<fontspec id="1946" size="12" family="Times" color="#000000"/>
<fontspec id="1947" size="12" family="Times" color="#000000"/>
<fontspec id="1948" size="12" family="Times" color="#000000"/>
<fontspec id="1949" size="12" family="Times" color="#000000"/>
<fontspec id="1950" size="12" family="Times" color="#000000"/>
<fontspec id="1951" size="12" family="Times" color="#000000"/>
<fontspec id="1952" size="12" family="Times" color="#000000"/>
<fontspec id="1953" size="12" family="Times" color="#000000"/>
<fontspec id="1954" size="12" family="Times" color="#000000"/>
<fontspec id="1955" size="12" family="Times" color="#000000"/>
<fontspec id="1956" size="12" family="Times" color="#000000"/>
<fontspec id="1957" size="12" family="Times" color="#000000"/>
<fontspec id="1958" size="12" family="Times" color="#000000"/>
<fontspec id="1959" size="12" family="Times" color="#000000"/>
<fontspec id="1960" size="12" family="Times" color="#000000"/>
<fontspec id="1961" size="12" family="Times" color="#000000"/>
<fontspec id="1962" size="12" family="Times" color="#000000"/>
<fontspec id="1963" size="12" family="Times" color="#000000"/>
<fontspec id="1964" size="12" family="Times" color="#000000"/>
<fontspec id="1965" size="12" family="Times" color="#000000"/>
<fontspec id="1966" size="12" family="Times" color="#000000"/>
<fontspec id="1967" size="12" family="Times" color="#000000"/>
<fontspec id="1968" size="12" family="Times" color="#000000"/>
<fontspec id="1969" size="12" family="Times" color="#000000"/>
<fontspec id="1970" size="12" family="Times" color="#000000"/>
<fontspec id="1971" size="12" family="Times" color="#000000"/>
<fontspec id="1972" size="12" family="Times" color="#000000"/>
<fontspec id="1973" size="12" family="Times" color="#000000"/>
<fontspec id="1974" size="12" family="Times" color="#000000"/>
<fontspec id="1975" size="12" family="Times" color="#000000"/>
<fontspec id="1976" size="12" family="Times" color="#000000"/>
<fontspec id="1977" size="12" family="Times" color="#000000"/>
<fontspec id="1978" size="12" family="Times" color="#000000"/>
<fontspec id="1979" size="12" family="Times" color="#000000"/>
<fontspec id="1980" size="12" family="Times" color="#000000"/>
<fontspec id="1981" size="12" family="Times" color="#000000"/>
<fontspec id="1982" size="12" family="Times" color="#000000"/>
<fontspec id="1983" size="12" family="Times" color="#000000"/>
<fontspec id="1984" size="12" family="Times" color="#000000"/>
<fontspec id="1985" size="12" family="Times" color="#000000"/>
<fontspec id="1986" size="12" family="Times" color="#000000"/>
<fontspec id="1987" size="12" family="Times" color="#000000"/>
<fontspec id="1988" size="12" family="Times" color="#000000"/>
<fontspec id="1989" size="12" family="Times" color="#000000"/>
<fontspec id="1990" size="12" family="Times" color="#000000"/>
<fontspec id="1991" size="12" family="Times" color="#000000"/>
<fontspec id="1992" size="12" family="Times" color="#000000"/>
<fontspec id="1993" size="12" family="Times" color="#000000"/>
<fontspec id="1994" size="12" family="Times" color="#000000"/>
<fontspec id="1995" size="12" family="Times" color="#000000"/>
<fontspec id="1996" size="12" family="Times" color="#000000"/>
<fontspec id="1997" size="12" family="Times" color="#000000"/>
<fontspec id="1998" size="12" family="Times" color="#000000"/>
<fontspec id="1999" size="12" family="Times" color="#000000"/>
<fontspec id="2000" size="12" family="Times" color="#000000"/>
<fontspec id="2001" size="12" family="Times" color="#000000"/>
<fontspec id="2002" size="12" family="Times" color="#000000"/>
<fontspec id="2003" size="12" family="Times" color="#000000"/>
<fontspec id="2004" size="12" family="Times" color="#000000"/>
<fontspec id="2005" size="12" family="Times" color="#000000"/>
<fontspec id="2006" size="12" family="Times" color="#000000"/>
<fontspec id="2007" size="12" family="Times" color="#000000"/>
<fontspec id="2008" size="12" family="Times" color="#000000"/>
<fontspec id="2009" size="12" family="Times" color="#000000"/>
<fontspec id="2010" size="12" family="Times" color="#000000"/>
<fontspec id="2011" size="12" family="Times" color="#000000"/>
<fontspec id="2012" size="12" family="Times" color="#000000"/>
<fontspec id="2013" size="12" family="Times" color="#000000"/>
<fontspec id="2014" size="12" family="Times" color="#000000"/>
<fontspec id="2015" size="12" family="Times" color="#000000"/>
<fontspec id="2016" size="12" family="Times" color="#000000"/>
<fontspec id="2017" size="12" family="Times" color="#000000"/>
<fontspec id="2018" size="12" family="Times" color="#000000"/>
<fontspec id="2019" size="12" family="Times" color="#000000"/>
<fontspec id="2020" size="12" family="Times" color="#000000"/>
<fontspec id="2021" size="12" family="Times" color="#000000"/>
<fontspec id="2022" size="12" family="Times" color="#000000"/>
<fontspec id="2023" size="12" family="Times" color="#000000"/>
<fontspec id="2024" size="12" family="Times" color="#000000"/>
<fontspec id="2025" size="12" family="Times" color="#000000"/>
<fontspec id="2026" size="12" family="Times" color="#000000"/>
<fontspec id="2027" size="12" family="Times" color="#000000"/>
<fontspec id="2028" size="12" family="Times" color="#000000"/>
<fontspec id="2029" size="12" family="Times" color="#000000"/>
<fontspec id="2030" size="12" family="Times" color="#000000"/>
<fontspec id="2031" size="12" family="Times" color="#000000"/>
<fontspec id="2032" size="12" family="Times" color="#000000"/>
<fontspec id="2033" size="12" family="Times" color="#000000"/>
<fontspec id="2034" size="12" family="Times" color="#000000"/>
<fontspec id="2035" size="12" family="Times" color="#000000"/>
<fontspec id="2036" size="12" family="Times" color="#000000"/>
<fontspec id="2037" size="12" family="Times" color="#000000"/>
<fontspec id="2038" size="12" family="Times" color="#000000"/>
<fontspec id="2039" size="12" family="Times" color="#000000"/>
<fontspec id="2040" size="12" family="Times" color="#000000"/>
<fontspec id="2041" size="12" family="Times" color="#000000"/>
<fontspec id="2042" size="12" family="Times" color="#000000"/>
<fontspec id="2043" size="12" family="Times" color="#000000"/>
<fontspec id="2044" size="12" family="Times" color="#000000"/>
<fontspec id="2045" size="12" family="Times" color="#000000"/>
<fontspec id="2046" size="12" family="Times" color="#000000"/>
<fontspec id="2047" size="12" family="Times" color="#000000"/>
<fontspec id="2048" size="12" family="Times" color="#000000"/>
<fontspec id="2049" size="12" family="Times" color="#000000"/>
<fontspec id="2050" size="12" family="Times" color="#000000"/>
<fontspec id="2051" size="12" family="Times" color="#000000"/>
<fontspec id="2052" size="12" family="Times" color="#000000"/>
<fontspec id="2053" size="12" family="Times" color="#000000"/>
<fontspec id="2054" size="12" family="Times" color="#000000"/>
<fontspec id="2055" size="12" family="Times" color="#000000"/>
<fontspec id="2056" size="12" family="Times" color="#000000"/>
<fontspec id="2057" size="12" family="Times" color="#000000"/>
<fontspec id="2058" size="12" family="Times" color="#000000"/>
<fontspec id="2059" size="12" family="Times" color="#000000"/>
<fontspec id="2060" size="12" family="Times" color="#000000"/>
<fontspec id="2061" size="12" family="Times" color="#000000"/>
<fontspec id="2062" size="12" family="Times" color="#000000"/>
<fontspec id="2063" size="12" family="Times" color="#000000"/>
<fontspec id="2064" size="12" family="Times" color="#000000"/>
<fontspec id="2065" size="12" family="Times" color="#000000"/>
<fontspec id="2066" size="12" family="Times" color="#000000"/>
<fontspec id="2067" size="12" family="Times" color="#000000"/>
<fontspec id="2068" size="12" family="Times" color="#000000"/>
<fontspec id="2069" size="12" family="Times" color="#000000"/>
<fontspec id="2070" size="12" family="Times" color="#000000"/>
<fontspec id="2071" size="12" family="Times" color="#000000"/>
<fontspec id="2072" size="12" family="Times" color="#000000"/>
<fontspec id="2073" size="12" family="Times" color="#000000"/>
<fontspec id="2074" size="12" family="Times" color="#000000"/>
<fontspec id="2075" size="12" family="Times" color="#000000"/>
<fontspec id="2076" size="12" family="Times" color="#000000"/>
<fontspec id="2077" size="12" family="Times" color="#000000"/>
<fontspec id="2078" size="12" family="Times" color="#000000"/>
<fontspec id="2079" size="12" family="Times" color="#000000"/>
<fontspec id="2080" size="12" family="Times" color="#000000"/>
<fontspec id="2081" size="12" family="Times" color="#000000"/>
<fontspec id="2082" size="12" family="Times" color="#000000"/>
<fontspec id="2083" size="12" family="Times" color="#000000"/>
<fontspec id="2084" size="12" family="Times" color="#000000"/>
<fontspec id="2085" size="12" family="Times" color="#000000"/>
<fontspec id="2086" size="12" family="Times" color="#000000"/>
<fontspec id="2087" size="12" family="Times" color="#000000"/>
<fontspec id="2088" size="12" family="Times" color="#000000"/>
<fontspec id="2089" size="12" family="Times" color="#000000"/>
<fontspec id="2090" size="12" family="Times" color="#000000"/>
<fontspec id="2091" size="12" family="Times" color="#000000"/>
<fontspec id="2092" size="12" family="Times" color="#000000"/>
<fontspec id="2093" size="12" family="Times" color="#000000"/>
<fontspec id="2094" size="12" family="Times" color="#000000"/>
<fontspec id="2095" size="12" family="Times" color="#000000"/>
<fontspec id="2096" size="12" family="Times" color="#000000"/>
<fontspec id="2097" size="12" family="Times" color="#000000"/>
<fontspec id="2098" size="12" family="Times" color="#000000"/>
<fontspec id="2099" size="12" family="Times" color="#000000"/>
<fontspec id="2100" size="12" family="Times" color="#000000"/>
<fontspec id="2101" size="12" family="Times" color="#000000"/>
<fontspec id="2102" size="12" family="Times" color="#000000"/>
<fontspec id="2103" size="12" family="Times" color="#000000"/>
<fontspec id="2104" size="12" family="Times" color="#000000"/>
<fontspec id="2105" size="12" family="Times" color="#000000"/>
<fontspec id="2106" size="12" family="Times" color="#000000"/>
<fontspec id="2107" size="12" family="Times" color="#000000"/>
<fontspec id="2108" size="12" family="Times" color="#000000"/>
<fontspec id="2109" size="12" family="Times" color="#000000"/>
<fontspec id="2110" size="12" family="Times" color="#000000"/>
<fontspec id="2111" size="12" family="Times" color="#000000"/>
<fontspec id="2112" size="12" family="Times" color="#000000"/>
<fontspec id="2113" size="12" family="Times" color="#000000"/>
<fontspec id="2114" size="12" family="Times" color="#000000"/>
<fontspec id="2115" size="12" family="Times" color="#000000"/>
<fontspec id="2116" size="12" family="Times" color="#000000"/>
<fontspec id="2117" size="12" family="Times" color="#000000"/>
<fontspec id="2118" size="12" family="Times" color="#000000"/>
<fontspec id="2119" size="12" family="Times" color="#000000"/>
<fontspec id="2120" size="12" family="Times" color="#000000"/>
<fontspec id="2121" size="12" family="Times" color="#000000"/>
<fontspec id="2122" size="12" family="Times" color="#000000"/>
<fontspec id="2123" size="12" family="Times" color="#000000"/>
<fontspec id="2124" size="12" family="Times" color="#000000"/>
<fontspec id="2125" size="12" family="Times" color="#000000"/>
<fontspec id="2126" size="12" family="Times" color="#000000"/>
<fontspec id="2127" size="12" family="Times" color="#000000"/>
<fontspec id="2128" size="12" family="Times" color="#000000"/>
<fontspec id="2129" size="12" family="Times" color="#000000"/>
<fontspec id="2130" size="12" family="Times" color="#000000"/>
<fontspec id="2131" size="12" family="Times" color="#000000"/>
<fontspec id="2132" size="12" family="Times" color="#000000"/>
<fontspec id="2133" size="12" family="Times" color="#000000"/>
<fontspec id="2134" size="12" family="Times" color="#000000"/>
<fontspec id="2135" size="12" family="Times" color="#000000"/>
<fontspec id="2136" size="12" family="Times" color="#000000"/>
<fontspec id="2137" size="12" family="Times" color="#000000"/>
<fontspec id="2138" size="12" family="Times" color="#000000"/>
<fontspec id="2139" size="12" family="Times" color="#000000"/>
<fontspec id="2140" size="12" family="Times" color="#000000"/>
<fontspec id="2141" size="12" family="Times" color="#000000"/>
<fontspec id="2142" size="12" family="Times" color="#000000"/>
<fontspec id="2143" size="12" family="Times" color="#000000"/>
<fontspec id="2144" size="12" family="Times" color="#000000"/>
<fontspec id="2145" size="12" family="Times" color="#000000"/>
<fontspec id="2146" size="12" family="Times" color="#000000"/>
<fontspec id="2147" size="12" family="Times" color="#000000"/>
<fontspec id="2148" size="12" family="Times" color="#000000"/>
<fontspec id="2149" size="12" family="Times" color="#000000"/>
<fontspec id="2150" size="12" family="Times" color="#000000"/>
<fontspec id="2151" size="12" family="Times" color="#000000"/>
<fontspec id="2152" size="12" family="Times" color="#000000"/>
<fontspec id="2153" size="12" family="Times" color="#000000"/>
<fontspec id="2154" size="12" family="Times" color="#000000"/>
<fontspec id="2155" size="12" family="Times" color="#000000"/>
<fontspec id="2156" size="12" family="Times" color="#000000"/>
<fontspec id="2157" size="12" family="Times" color="#000000"/>
<fontspec id="2158" size="12" family="Times" color="#000000"/>
<fontspec id="2159" size="12" family="Times" color="#000000"/>
<fontspec id="2160" size="12" family="Times" color="#000000"/>
<fontspec id="2161" size="12" family="Times" color="#000000"/>
<fontspec id="2162" size="12" family="Times" color="#000000"/>
<fontspec id="2163" size="12" family="Times" color="#000000"/>
<fontspec id="2164" size="12" family="Times" color="#000000"/>
<fontspec id="2165" size="12" family="Times" color="#000000"/>
<fontspec id="2166" size="12" family="Times" color="#000000"/>
<fontspec id="2167" size="12" family="Times" color="#000000"/>
<fontspec id="2168" size="12" family="Times" color="#000000"/>
<fontspec id="2169" size="12" family="Times" color="#000000"/>
<fontspec id="2170" size="12" family="Times" color="#000000"/>
<fontspec id="2171" size="12" family="Times" color="#000000"/>
<fontspec id="2172" size="12" family="Times" color="#000000"/>
<fontspec id="2173" size="12" family="Times" color="#000000"/>
<fontspec id="2174" size="12" family="Times" color="#000000"/>
<fontspec id="2175" size="12" family="Times" color="#000000"/>
<fontspec id="2176" size="12" family="Times" color="#000000"/>
<fontspec id="2177" size="12" family="Times" color="#000000"/>
<fontspec id="2178" size="12" family="Times" color="#000000"/>
<fontspec id="2179" size="12" family="Times" color="#000000"/>
<fontspec id="2180" size="12" family="Times" color="#000000"/>
<fontspec id="2181" size="12" family="Times" color="#000000"/>
<text top="807" left="491" width="15" height="19" font="0"></text>
<text top="72" left="68" width="256" height="17" font="1631">Die Kletterer vom Adlerkopf (1938)</text>
</page>
Logged In: YES
user_id=191012
Originator: NO
The version 0.40-0.40a were relaced so that i can get more people to help me test the math thats used to calculate to correct letter-spaceing for the html output, xml support is currently one of the things that i warrned in the release notes that i knew was currently broken.
I was sure that i removed the xml command option from version 0.40-0.40a
Well from the look of it you ran pdftohtml 0.40 with the -xml option and that was not attended. xml output is one of the things i know is currently broken.
One of the reasons theres are so many <fontspec id="2180"/> tags is because of the way it recalculates the letter-spaceing every time it coaleaces a word to a string.
In the next version it will remove the unsued fonts so that that does not happen and some other things. also it does not currently output the letter-spaceing info and some other changes with xml formating.
Logged In: YES
user_id=191012
Originator: NO
Thanks for the report i wish more people would let me know of problems. Then mabe i would beable to improve the calcuations some.
Logged In: YES
user_id=191012
Originator: NO
soon i will upload 0.40b that will fix the xml output (format is changing some) and remove unused fonts from font list.
Logged In: YES
user_id=1562185
Originator: YES
Thank you for all your replies!
I am astonished to see how zestfully you reply...
I have been working as an assistant student at the Institut für Deutsche Sprache (institute for german language!?) recently... And there, it is one major to task to gain programmatical acccess to any imaginable storage format, one of which happens to be PDF.
Of all the programs I have tested pdftohtml seems to be by and large the best. Its speed and the better results the newer versions now produce is of utmost importance as we might be undertaking some terabyte level pdf to xml conversions in the months to come.
I wish you all the best ^_^