Download:
Patch
child 37:beb7b8bbf3bc
parent 35:c1593e9de334
36:82ab27e2178f
Anton Shestakov <av6@dwimlabs.net>, Fri, 17 Jul 2015 01:06:02 +0800
viewer: more margins for readability
1 файлов изменено, 20 вставок(+), 16 удалений(-) [+]
templates/results.html file | annotate | diff | comparison | revisions 
--- a/templates/results.html	Fri Jul 17 01:04:17 2015 +0800
+++ b/templates/results.html	Fri Jul 17 01:06:02 2015 +0800
@@ -32,23 +32,25 @@
   </head>
   <body>
     <header>
-      <a href="{{ setrev() }}">back to tip</a>
-      {% set prevrev = changesets[0]['rev'] + 120 if changesets else None %}
-      {% if prevrev %}<a href="{{ setrev(prevrev) }}">prev page</a>{% end %}
-      {% set nextrev = changesets[-1]['rev'] - 1 if changesets else None %}
-      {% if nextrev > -1 %}<a href="{{ setrev(nextrev) }}">next page</a>{% end %}
-      <span style="color: #777;">
-        hover things for a tooltip; red means slow, green means fast; first
-        color and time means without .hg/cache, second means with .hg/cache.
-      </span>
-      <div>
+      <p>
+        <a href="{{ setrev() }}">back to tip</a>
+        {% set prevrev = changesets[0]['rev'] + 120 if changesets else None %}
+        {% if prevrev %}<a href="{{ setrev(prevrev) }}">prev page</a>{% end %}
+        {% set nextrev = changesets[-1]['rev'] - 1 if changesets else None %}
+        {% if nextrev > -1 %}<a href="{{ setrev(nextrev) }}">next page</a>{% end %}
+        <span style="color: #777;">
+          hover things for a tooltip; red means slow, green means fast; first
+          color and time means without .hg/cache, second means with .hg/cache.
+        </span>
+      </p>
+      <p>
         {% if local %}
           local colors (<a href="{{ setlocal(None) }}">switch to global colors</a>)
         {% else %}
           global colors (<a href="{{ setlocal(1) }}">switch to local colors</a>)
         {% end %}
-      </div>
-      <div>
+      </p>
+      <p>
         timings:
         {% for mark, desc in marks.items() %}
           -<a href="{{ setmarks(remove=mark) }}" title="{{ desc }}">{{ mark }}</a>
@@ -57,7 +59,7 @@
           +<a href="{{ setmarks(add=mark) }}" title="{{ desc }}">{{ mark }}</a>
         {% end %}
         *<a href="{{ setmarks() }}">all</a>
-      </div>
+      </p>
     </header>
     <table>
       <thead>
@@ -100,9 +102,11 @@
       </tbody>
     </table>
     <footer>
-      <a href="{{ setrev() }}">back to tip</a>
-      {% if prevrev %}<a href="{{ setrev(prevrev) }}">prev page</a>{% end %}
-      {% if nextrev > -1 %}<a href="{{ setrev(nextrev) }}">next page</a>{% end %}
+      <p>
+        <a href="{{ setrev() }}">back to tip</a>
+        {% if prevrev %}<a href="{{ setrev(prevrev) }}">prev page</a>{% end %}
+        {% if nextrev > -1 %}<a href="{{ setrev(nextrev) }}">next page</a>{% end %}
+      </p>
     </footer>
   </body>
 </html>