At 2015-05-24 16:26 +02:00, Thomas Schneider provided > \usepackage{html} % use this for making html -- and where is html.sty from? Cheers, Uwe