equal
deleted
inserted
replaced
1 <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd"> |
1 <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd"> |
2 |
2 |
3 <%def name="menu()"> |
3 <%def name="menu()"> |
4 |
4 <ul> |
|
5 <li><a href="${urls.index.build(req)}">Home</a></li> |
|
6 <li><a href="${urls.preferences.build(req)}">Preferences</a></li> |
|
7 </ul> |
5 </%def> |
8 </%def> |
6 |
9 |
7 <%def name="footer_right()"> |
10 <%def name="footer_right()"> |
8 |
11 |
9 </%def> |
12 </%def> |