<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd"><htmlxmlns="http://www.w3.org/1999/xhtml"xml:lang="en"lang="en"><head><title><?phpecho$title;?></title><metahttp-equiv="Content-Type"content="text/html; charset=utf-8"/><linkrel="stylesheet"type="text/css"href="styles/basic.css"media="screen"/><linkrel="stylesheet"type="text/css"href="styles/print.css"media="print"/></head><body><divid="wrap"><divid="content"><h1><?phpecho$title;?></h1><p>There are several different versions of this manual available online:<ul><li>View as <ahref="?one-page">all chapters in one page</a>.</li><li>View as <ahref="?chapter=<?phpecho$toc->findByIndex('1.')->getPath();?>">one chapter per page</a>.</li><li>Download the <ahref="?format=pdf">PDF version</a>.</li></ul></p></div></div></body></html>