Add http / ajax. <code> is now colored.