Styling

This adds some placeholder styling to the formulae bar and puts more
standard things into place in the HTML and CSS.