equal
deleted
inserted
replaced
131 <div id="left"> |
131 <div id="left"> |
132 <ul id="nav"> |
132 <ul id="nav"> |
133 <li><a href="/" title="home">home</a></li> |
133 <li><a href="/" title="home">home</a></li> |
134 {% if user.is_authenticated %} |
134 {% if user.is_authenticated %} |
135 <li><a href="/task/browse/" title="tasks">tasks</a></li> |
135 <li><a href="/task/browse/" title="tasks">tasks</a></li> |
|
136 <li><a href="/textbook/" title="textbook">textbooks</a></li> |
|
137 <br /> |
136 <li><a href="/user/notifications/" title="notifications"> |
138 <li><a href="/user/notifications/" title="notifications"> |
137 {% if user.unread_notifications.count %} |
139 {% if user.unread_notifications.count %} |
138 notifications({{user.unread_notifications.count}}) |
140 notifications({{user.unread_notifications.count}}) |
139 {% else %} |
141 {% else %} |
140 notifications |
142 notifications |