recode the decoration handling function from scratch
refactored the HTMLEnv class, still some work to do