| <!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01//EN" "http://www.w3.org/TR/html4/strict.dtd"> |
| <html> |
| <head> |
| <title>${self.page_title()} | RealWorld Benchmark</title> |
| <meta http-equiv="Content-Type" content="text/html; charset=utf-8"> |
| </head> |
| <body> |
| <div class="contents"> |
| <div class="header"> |
| <h1>RealWorld Benchmark</h1> |
| <blockquote><p> |
| A less stupid benchmark for Mako and Jinja2 to get an impression how |
| code changes affect runtime performance. |
| </p></blockquote> |
| </div> |
| <ul class="navigation"> |
| % for href, caption in page_navigation: |
| <li><a href="${href|h}">${caption}</a></li> |
| % endfor |
| </ul> |
| <div class="body"> |
| ${self.body()} |
| </div> |
| <div class="footer"> |
| © Copyright 2008 by I don't know who. |
| </div> |
| </div> |
| </body> |
| </html> |
| <%def name="page_title()"></%def> |