equal
deleted
inserted
replaced
14 <div id="left"> |
14 <div id="left"> |
15 <ul id="nav"> |
15 <ul id="nav"> |
16 <li><a href="/" title="home">home</a></li> |
16 <li><a href="/" title="home">home</a></li> |
17 <br /> |
17 <br /> |
18 <li><a href="/task/browse/" title="tasks">tasks</a></li> |
18 <li><a href="/task/browse/" title="tasks">tasks</a></li> |
19 <li><a href="/textbook/" title="textbook">textbooks</a></li> |
19 <li><a href="/task/textbook/browse/" title="textbook">textbooks</a></li> |
20 <br /> |
20 <br /> |
21 {% if user.is_authenticated %} |
21 {% if user.is_authenticated %} |
22 <li><a href="/profile/notf/browse/" title="notifications"> |
22 <li><a href="/profile/notf/browse/" title="notifications"> |
23 {{ user|notf_dsp }} |
23 {{ user|notf_dsp }} |
24 </a></li> |
24 </a></li> |