@@ -2,16 +2,9 @@
2<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.1//EN" "http://www.w3.org/TR/xhtml11/DTD/xhtml11.dtd">
2<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.1//EN" "http://www.w3.org/TR/xhtml11/DTD/xhtml11.dtd">
3<html xmlns="http://www.w3.org/1999/xhtml">
3<html xmlns="http://www.w3.org/1999/xhtml">
6<link href="stylesheet.css" type="text/css" rel="stylesheet" />
5<link href="stylesheet.css" type="text/css" rel="stylesheet" />
11−<div id="$idprefix$TOC">