Added the elementary HTML library