1 <?xml version=
"1.0" encoding=
"UTF-8"?>
2 <!DOCTYPE html PUBLIC
"-//W3C//DTD XHTML 1.0 Strict//EN"
3 "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd">
4 <html xmlns=
"http://www.w3.org/1999/xhtml">
6 <meta http-equiv=
"Content-Type" content=
"text/html; charset=UTF-8" />
7 <title>Result summary
</title>
8 <link rel=
"stylesheet" href=
"status.css" type=
"text/css" />
11 <h1>Result summary
</h1>
12 <p>Currently showing: ${page}
</p>
14 ## Index is a logical choice to put first, it will always be a link
15 ## and we don't want in preceded by a |
16 <a href=
"index.html">index
</a>
21 |
<a href=
"${i}.html">${i}
</a>