# HG changeset patch
# User wenzelm
# Date 1229810988 -3600
# Node ID d4c23f16d04e345d19fca4139b9a75b65f2c8d46
# Parent  b1c6f4563df76ba16a885056d8d7930f87cc088e
updated web style for Mercurial 1.1;

diff -r b1c6f4563df7 -r d4c23f16d04e Admin/Mercurial/isabelle-style.diff
--- a/Admin/Mercurial/isabelle-style.diff	Sat Dec 20 11:55:34 2008 +0100
+++ b/Admin/Mercurial/isabelle-style.diff	Sat Dec 20 23:09:48 2008 +0100
@@ -13,23 +13,13 @@
 > <div class="files">
 > #files#
 > </div>
-Only in isabelle: filelog.tmpl~
 diff -r gitweb/map isabelle/map
-56,57c56,57
+59,60c59,60
 < shortlogentry = '<tr class="parity#parity#"><td class="age"><i>#date|age# ago</i></td><td><i>#author|person#</i></td><td><a class="list" href="{url}rev/#node|short#{sessionvars%urlparameter}"><b>#desc|strip|firstline|escape#</b> <span class="logtags">{inbranch%inbranchtag}{branches%branchtag}{tags%tagtag}</span></a></td><td class="link" nowrap><a href="{url}rev/#node|short#{sessionvars%urlparameter}">changeset</a> | <a href="{url}file/#node|short#{sessionvars%urlparameter}">files</a></td></tr>'
 < filelogentry = '<tr class="parity#parity#"><td class="age"><i>#date|age# ago</i></td><td><a class="list" href="{url}rev/#node|short#{sessionvars%urlparameter}"><b>#desc|strip|firstline|escape#</b></a></td><td class="link"><a href="{url}file/#node|short#/#file|urlescape#{sessionvars%urlparameter}">file</a>&nbsp;|&nbsp;<a href="{url}diff/#node|short#/#file|urlescape#{sessionvars%urlparameter}">diff</a>&nbsp;|&nbsp;<a href="{url}annotate/#node|short#/#file|urlescape#{sessionvars%urlparameter}">annotate</a> #rename%filelogrename#</td></tr>'
 ---
 > shortlogentry = '<tr class="parity#parity#"><td class="age"><i>#date|age# ago</i></td><td><i>#date|shortdate#</i></td><td><i>#author|person#</i></td><td><a class="list" href="{url}rev/#node|short#{sessionvars%urlparameter}"><b>#desc|strip|escape#</b> <span class="logtags">{inbranch%inbranchtag}{branches%branchtag}{tags%tagtag}</span></a></td><td class="link" nowrap><a href="{url}rev/#node|short#{sessionvars%urlparameter}">changeset</a> | <a href="{url}file/#node|short#{sessionvars%urlparameter}">files</a></td></tr>'
 > filelogentry = '<tr class="parity#parity#"><td class="age"><i>#date|age# ago</i></td><td><i>#date|shortdate#</i></td><td><i>#author|person#</i></td><td><a class="list" href="{url}rev/#node|short#{sessionvars%urlparameter}"><b>#desc|strip|escape#</b></a></td><td class="link"><a href="{url}file/#node|short#/#file|urlescape#{sessionvars%urlparameter}">file</a>&nbsp;|&nbsp;<a href="{url}diff/#node|short#/#file|urlescape#{sessionvars%urlparameter}">diff</a>&nbsp;|&nbsp;<a href="{url}annotate/#node|short#/#file|urlescape#{sessionvars%urlparameter}">annotate</a> #rename%filelogrename#</td></tr>'
-Only in isabelle: map~
 diff -r gitweb/summary.tmpl isabelle/summary.tmpl
-33d32
+34d33
 < <tr><td>owner</td><td>#owner|obfuscate#</td></tr>
-49,55d47
-< <div><a class="title" href="#">branches</a></div>
-< <table cellspacing="0">
-< {branches%branchentry}
-< <tr class="light">
-<   <td colspan="4"><a class="list"  href="#">...</a></td>
-< </tr>
-< </table>