function html_menu()
{
  _menu_top('HTML', 'html/menu.gif')
  _option('No-spin web spinning', 'html/index.gif', 'html/index.html', 'Contents page', true)
  _option('Introduction', 'html/introduction.jpg', 'html/introduction.html', 'Introduction to web-spinning', false)
  _option('1 Pages', 'html/pages.jpg', 'html/pages.html', 'Creating a basic page', true)
  _option('2 Words', 'html/words.jpg', 'html/words.html', 'Weaving words', false)
  _option('3 Pictures', 'html/pictures.jpg', 'html/pictures.html', 'Illustrating your text', false)
  _option('4 Tables', 'html/tables.jpg', 'html/tables.html', 'Making tables of things', false)
  _option('5 Lists', 'html/lists.jpg', 'html/lists.html', 'Making lists of things', false)
  _option('6 Links', 'html/links.jpg', 'html/links.html', 'Linking things together', false)
  _option('7 Style', 'html/style.jpg', 'html/style.html', 'Styling your text', true)
  _option('8 Layout', 'html/layout.jpg', 'html/layout.html', 'Laying out your page', false)
  _option('9 Publishing', 'html/publishing.jpg', 'html/publishing.html', 'Publishing your website', true)
  _option('Reference', 'html/reference.gif', 'html/reference.html', 'Reference information, links and downloads', true)
  _menu_bottom()
}