PUBLIC "-//Pro Text//DTD online help//EN"
      STYLESPEC "standard"     "standard.ssh"
      STYLESPEC "large"     "large.ssh"
      NAVIGATOR "topics"      "topics.nav"
      NAVIGATOR "figures"        "figures.nav"