Tidying the HTML a bit.

Lucid would be better, but this is fine for now.