Adapted HTMLFormatter for Bamboo usage.