2014-02-09: log: add log 000/100/200/... as subtitle.

log: add log 000/100/200/... as subtitle.

diff --git a/staticsite.py b/staticsite.py
--- a/staticsite.py
+++ b/staticsite.py
@@ -889,10 +889,11 @@ def writelog(ui, repo, target, name):
                 logs[-1][-1] += "<p><a href=\"../commits\">later</a></p>"
             logs.append([os.path.join(d, "index.html"), ""])
         else:
+            di = "" # for easy later usage
             d = commits
             logs.append([os.path.join(d, "index.html"), ""])
             
-        logs[-1][-1] += templates["head"].replace("{reponame}", "<a href='../'>"+name+"</a>").replace("{title}", name).replace("{nav}", "").replace("{relpath}", "../")
+        logs[-1][-1] += templates["head"].replace("{reponame}", "<a href='../'>"+name+"</a>").replace("{title}", name).replace("{nav}", "log " + di).replace("{relpath}", "../")
         logs[-1][-1] += """<div id="log">"""
         for c in range(ck*100+1, min(len(repo.changelog)+1, (ck+1)*100)):
             ctx = repo.changectx(str(-c))