An offline HTML viewer for PalmOS devices