Add HTML mode; PHP wrapper; solution display