html: remove style from pre