html manual is 700px wide rather than 800px