Je veux lire et annoter des articles Internet comme des livres sur mon iPad, donc je voudrais convertir le HTML en PDF. Existe-t-il un moyen de le faire qui
- préserve chaque police telle quelle
- peut créer un PDF à partir d'une sélection
- gère bien les bibliothèques de coloration du code source JavaScript
- n'ajoute rien (publicités de shareware ou logos, etc.) à chaque page
Je serai heureux avec toute solution applicable à iPad ou à OSX. J'ai essayé quelques convertisseurs que j'ai trouvés en ligne, mais aucun ne correspond aux critères ci-dessus.