Some more work on the Structure Definition page, and some tidying up of app.html.