xpgd for html user's manual

<body> </body>