HTML Formatting changes

Some early style changes done to the main HTML figures. These changes
are to be later mirrored across to the Figures.js file as well as the
editor.