Add timestamp and version info in header and footer.

Fixes nedbat#1351
ammaraskar · Apr 8, 2022 · f292ba8 · f292ba8
1 parent a0c7ee4
commit f292ba8
Show file tree

Hide file tree

Showing 41 changed files with 403 additions and 172 deletions.
diff --git a/coverage/htmlfiles/index.html b/coverage/htmlfiles/index.html
@@ -48,6 +48,13 @@ <h1>{{ title|escape }}:
             <input id="filter" type="text" value="" placeholder="filter..." />
         </form>
     </div>
+
+    <nav>
+        <p>
+            <a class="nav" href="{{__url__}}">coverage.py v{{__version__}}</a>,
+            created at {{ time_stamp }}
+        </p>
+    </nav>
 </header>
 
 <main id="index">
@@ -109,12 +116,12 @@ <h1>{{ title|escape }}:
 </main>
 
 <footer>
-    <div class="content">
+    <nav>
         <p>
             <a class="nav" href="{{__url__}}">coverage.py v{{__version__}}</a>,
             created at {{ time_stamp }}
         </p>
-    </div>
+    </nav>
 </footer>
 
 </body>

diff --git a/coverage/htmlfiles/pyfile.html b/coverage/htmlfiles/pyfile.html
@@ -73,6 +73,13 @@ <h2>
             <button type="button" class="button_first_chunk" data-shortcut="1">Goto first highlighted chunk</button>
         </div>
     </div>
+
+    <nav>
+        <p>
+            <a class="nav" href="index.html">&#xab; index</a> &nbsp; &nbsp; <a class="nav" href="{{__url__}}">coverage.py v{{__version__}}</a>,
+            created at {{ time_stamp }}
+        </p>
+    </nav>
 </header>
 
 <main id="source">
@@ -108,12 +115,12 @@ <h2>
 </main>
 
 <footer>
-    <div class="content">
+    <nav>
         <p>
             <a class="nav" href="index.html">&#xab; index</a> &nbsp; &nbsp; <a class="nav" href="{{__url__}}">coverage.py v{{__version__}}</a>,
             created at {{ time_stamp }}
         </p>
-    </div>
+    </nav>
 </footer>
 
 </body>

diff --git a/coverage/htmlfiles/style.css b/coverage/htmlfiles/style.css
@@ -28,13 +28,15 @@ a.nav { text-decoration: none; color: inherit; }
 
 a.nav:hover { text-decoration: underline; color: inherit; }
 
-header { background: #f8f8f8; width: 100%; z-index: 2; border-bottom: 1px solid #ccc; }
+header { background: #f8f8f8; width: 100%; z-index: 2; border-bottom: 1px solid #ccc; padding: 1rem 1rem; }
 
 @media (prefers-color-scheme: dark) { header { background: black; } }
 
 @media (prefers-color-scheme: dark) { header { border-color: #333; } }
 
-header .content { padding: 1rem 3.5rem; }
+header .content { padding: 0 2.5rem; }
+
+header nav { margin-top: 1em; }
 
 header h2 { margin-top: .5em; font-size: 1em; }
 
@@ -52,13 +54,11 @@ header.sticky ~ #source { padding-top: 6.5em; }
 
 main { position: relative; z-index: 1; }
 
-.indexfile footer { margin: 1rem 3.5rem; }
-
-.pyfile footer { margin: 1rem 1rem; }
+footer { margin: 1rem 1rem; }
 
-footer .content { padding: 0; color: #666; font-style: italic; }
+nav { padding: 0; color: #666; font-style: italic; }
 
-@media (prefers-color-scheme: dark) { footer .content { color: #aaa; } }
+@media (prefers-color-scheme: dark) { nav { color: #aaa; } }
 
 #index { margin: 1rem 0 0 3.5rem; }
 

diff --git a/coverage/htmlfiles/style.scss b/coverage/htmlfiles/style.scss
@@ -164,9 +164,14 @@ header {
     z-index: 2;
     border-bottom: 1px solid $light-gray3;
     @include border-color-dark($dark-gray2);
+    padding: 1rem 1rem;
 
     .content {
-        padding: 1rem $left-gutter;
+        padding: 0 ($left-gutter - 1rem);
+    }
+
+    nav {
+        margin-top: 1em;
     }
 
     h2 {
@@ -208,15 +213,11 @@ main {
     z-index: 1;
 }
 
-.indexfile footer {
-    margin: 1rem $left-gutter;
-}
-
-.pyfile footer {
+footer {
     margin: 1rem 1rem;
 }
 
-footer .content {
+nav {
     padding: 0;
     color: $light-gray5;
     @include color-dark($dark-gray5);

diff --git a/tests/gold/html/a/a_py.html b/tests/gold/html/a/a_py.html
@@ -55,6 +55,12 @@ <h2>
             <button type="button" class="button_first_chunk" data-shortcut="1">Goto first highlighted chunk</button>
         </div>
     </div>
+    <nav>
+        <p>
+            <a class="nav" href="index.html">&#xab; index</a> &nbsp; &nbsp; <a class="nav" href="https://coverage.readthedocs.io/en/6.3.3a0">coverage.py v6.3.3a0</a>,
+            created at 2022-04-08 16:00 -0400
+        </p>
+    </nav>
 </header>
 <main id="source">
     <p class="run"><span class="n"><a id="t1" href="#t1">1</a></span><span class="t"><span class="key">if</span> <span class="num">1</span> <span class="op">&lt;</span> <span class="num">2</span><span class="op">:</span>&nbsp;</span><span class="r"></span></p>
@@ -64,12 +70,12 @@ <h2>
     <p class="mis show_mis"><span class="n"><a id="t5" href="#t5">5</a></span><span class="t">    <span class="nam">a</span> <span class="op">=</span> <span class="num">4</span>&nbsp;</span><span class="r"></span></p>
 </main>
 <footer>
-    <div class="content">
+    <nav>
         <p>
-            <a class="nav" href="index.html">&#xab; index</a> &nbsp; &nbsp; <a class="nav" href="https://coverage.readthedocs.io/en/6.1.1a0">coverage.py v6.1.1a0</a>,
-            created at 2021-10-30 16:07 -0400
+            <a class="nav" href="index.html">&#xab; index</a> &nbsp; &nbsp; <a class="nav" href="https://coverage.readthedocs.io/en/6.3.3a0">coverage.py v6.3.3a0</a>,
+            created at 2022-04-08 16:00 -0400
         </p>
-    </div>
+    </nav>
 </footer>
 </body>
 </html>
diff --git a/tests/gold/html/a/index.html b/tests/gold/html/a/index.html
@@ -35,6 +35,12 @@ <h1>Coverage report:
             <input id="filter" type="text" value="" placeholder="filter..." />
         </form>
     </div>
+    <nav>
+        <p>
+            <a class="nav" href="https://coverage.readthedocs.io/en/6.3.3a0">coverage.py v6.3.3a0</a>,
+            created at 2022-04-08 16:01 -0400
+        </p>
+    </nav>
 </header>
 <main id="index">
     <table class="index" data-sortable>
@@ -71,12 +77,12 @@ <h1>Coverage report:
     </p>
 </main>
 <footer>
-    <div class="content">
+    <nav>
         <p>
-            <a class="nav" href="https://coverage.readthedocs.io/en/6.1a0">coverage.py v6.1a0</a>,
-            created at 2021-10-23 08:16 -0400
+            <a class="nav" href="https://coverage.readthedocs.io/en/6.3.3a0">coverage.py v6.3.3a0</a>,
+            created at 2022-04-08 16:01 -0400
         </p>
-    </div>
+    </nav>
 </footer>
 </body>
 </html>
diff --git a/tests/gold/html/b_branch/b_py.html b/tests/gold/html/b_branch/b_py.html
@@ -57,6 +57,12 @@ <h2>
             <button type="button" class="button_first_chunk" data-shortcut="1">Goto first highlighted chunk</button>
         </div>
     </div>
+    <nav>
+        <p>
+            <a class="nav" href="index.html">&#xab; index</a> &nbsp; &nbsp; <a class="nav" href="https://coverage.readthedocs.io/en/6.3.3a0">coverage.py v6.3.3a0</a>,
+            created at 2022-04-08 16:03 -0400
+        </p>
+    </nav>
 </header>
 <main id="source">
     <p class="run"><span class="n"><a id="t1" href="#t1">1</a></span><span class="t"><span class="key">def</span> <span class="nam">one</span><span class="op">(</span><span class="nam">x</span><span class="op">)</span><span class="op">:</span>&nbsp;</span><span class="r"></span></p>
@@ -88,12 +94,12 @@ <h2>
     <p class="run"><span class="n"><a id="t27" href="#t27">27</a></span><span class="t"><span class="nam">three</span><span class="op">(</span><span class="op">)</span>&nbsp;</span><span class="r"></span></p>
 </main>
 <footer>
-    <div class="content">
+    <nav>
         <p>
-            <a class="nav" href="index.html">&#xab; index</a> &nbsp; &nbsp; <a class="nav" href="https://coverage.readthedocs.io/en/6.1.1a0">coverage.py v6.1.1a0</a>,
-            created at 2021-10-30 16:07 -0400
+            <a class="nav" href="index.html">&#xab; index</a> &nbsp; &nbsp; <a class="nav" href="https://coverage.readthedocs.io/en/6.3.3a0">coverage.py v6.3.3a0</a>,
+            created at 2022-04-08 16:03 -0400
         </p>
-    </div>
+    </nav>
 </footer>
 </body>
 </html>
diff --git a/tests/gold/html/b_branch/index.html b/tests/gold/html/b_branch/index.html
@@ -37,6 +37,12 @@ <h1>Coverage report:
             <input id="filter" type="text" value="" placeholder="filter..." />
         </form>
     </div>
+    <nav>
+        <p>
+            <a class="nav" href="https://coverage.readthedocs.io/en/6.3.3a0">coverage.py v6.3.3a0</a>,
+            created at 2022-04-08 16:03 -0400
+        </p>
+    </nav>
 </header>
 <main id="index">
     <table class="index" data-sortable>
@@ -79,12 +85,12 @@ <h1>Coverage report:
     </p>
 </main>
 <footer>
-    <div class="content">
+    <nav>
         <p>
-            <a class="nav" href="https://coverage.readthedocs.io/en/6.1a0">coverage.py v6.1a0</a>,
-            created at 2021-10-23 08:16 -0400
+            <a class="nav" href="https://coverage.readthedocs.io/en/6.3.3a0">coverage.py v6.3.3a0</a>,
+            created at 2022-04-08 16:03 -0400
         </p>
-    </div>
+    </nav>
 </footer>
 </body>
 </html>
diff --git a/tests/gold/html/bom/bom_py.html b/tests/gold/html/bom/bom_py.html
@@ -55,6 +55,12 @@ <h2>
             <button type="button" class="button_first_chunk" data-shortcut="1">Goto first highlighted chunk</button>
         </div>
     </div>
+    <nav>
+        <p>
+            <a class="nav" href="index.html">&#xab; index</a> &nbsp; &nbsp; <a class="nav" href="https://coverage.readthedocs.io/en/6.3.3a0">coverage.py v6.3.3a0</a>,
+            created at 2022-04-08 16:03 -0400
+        </p>
+    </nav>
 </header>
 <main id="source">
     <p class="pln"><span class="n"><a id="t1" href="#t1">1</a></span><span class="t"><span class="com"># A Python source file in utf-8, with BOM.</span>&nbsp;</span><span class="r"></span></p>
@@ -70,12 +76,12 @@ <h2>
     <p class="mis show_mis"><span class="n"><a id="t11" href="#t11">11</a></span><span class="t">    <span class="key">assert</span> <span class="nam">len</span><span class="op">(</span><span class="nam">math</span><span class="op">.</span><span class="nam">decode</span><span class="op">(</span><span class="str">'utf-8'</span><span class="op">)</span><span class="op">)</span> <span class="op">==</span> <span class="num">18</span>&nbsp;</span><span class="r"></span></p>
 </main>
 <footer>
-    <div class="content">
+    <nav>
         <p>
-            <a class="nav" href="index.html">&#xab; index</a> &nbsp; &nbsp; <a class="nav" href="https://coverage.readthedocs.io/en/6.1.1a0">coverage.py v6.1.1a0</a>,
-            created at 2021-10-30 16:07 -0400
+            <a class="nav" href="index.html">&#xab; index</a> &nbsp; &nbsp; <a class="nav" href="https://coverage.readthedocs.io/en/6.3.3a0">coverage.py v6.3.3a0</a>,
+            created at 2022-04-08 16:03 -0400
         </p>
-    </div>
+    </nav>
 </footer>
 </body>
 </html>
diff --git a/tests/gold/html/bom/index.html b/tests/gold/html/bom/index.html
@@ -35,6 +35,12 @@ <h1>Coverage report:
             <input id="filter" type="text" value="" placeholder="filter..." />
         </form>
     </div>
+    <nav>
+        <p>
+            <a class="nav" href="https://coverage.readthedocs.io/en/6.3.3a0">coverage.py v6.3.3a0</a>,
+            created at 2022-04-08 16:03 -0400
+        </p>
+    </nav>
 </header>
 <main id="index">
     <table class="index" data-sortable>
@@ -71,12 +77,12 @@ <h1>Coverage report:
     </p>
 </main>
 <footer>
-    <div class="content">
+    <nav>
         <p>
-            <a class="nav" href="https://coverage.readthedocs.io/en/6.1a0">coverage.py v6.1a0</a>,
-            created at 2021-10-23 08:16 -0400
+            <a class="nav" href="https://coverage.readthedocs.io/en/6.3.3a0">coverage.py v6.3.3a0</a>,
+            created at 2022-04-08 16:03 -0400
         </p>
-    </div>
+    </nav>
 </footer>
 </body>
 </html>
diff --git a/tests/gold/html/isolatin1/index.html b/tests/gold/html/isolatin1/index.html
@@ -35,6 +35,12 @@ <h1>Coverage report:
             <input id="filter" type="text" value="" placeholder="filter..." />
         </form>
     </div>
+    <nav>
+        <p>
+            <a class="nav" href="https://coverage.readthedocs.io/en/6.3.3a0">coverage.py v6.3.3a0</a>,
+            created at 2022-04-08 16:03 -0400
+        </p>
+    </nav>
 </header>
 <main id="index">
     <table class="index" data-sortable>
@@ -71,12 +77,12 @@ <h1>Coverage report:
     </p>
 </main>
 <footer>
-    <div class="content">
+    <nav>
         <p>
-            <a class="nav" href="https://coverage.readthedocs.io/en/6.1a0">coverage.py v6.1a0</a>,
-            created at 2021-10-23 08:16 -0400
+            <a class="nav" href="https://coverage.readthedocs.io/en/6.3.3a0">coverage.py v6.3.3a0</a>,
+            created at 2022-04-08 16:03 -0400
         </p>
-    </div>
+    </nav>
 </footer>
 </body>
 </html>
diff --git a/tests/gold/html/isolatin1/isolatin1_py.html b/tests/gold/html/isolatin1/isolatin1_py.html
@@ -55,6 +55,12 @@ <h2>
             <button type="button" class="button_first_chunk" data-shortcut="1">Goto first highlighted chunk</button>
         </div>
     </div>
+    <nav>
+        <p>
+            <a class="nav" href="index.html">&#xab; index</a> &nbsp; &nbsp; <a class="nav" href="https://coverage.readthedocs.io/en/6.3.3a0">coverage.py v6.3.3a0</a>,
+            created at 2022-04-08 16:03 -0400
+        </p>
+    </nav>
 </header>
 <main id="source">
     <p class="pln"><span class="n"><a id="t1" href="#t1">1</a></span><span class="t"><span class="com"># -*- coding: iso8859-1 -*-</span>&nbsp;</span><span class="r"></span></p>
@@ -64,12 +70,12 @@ <h2>
     <p class="run"><span class="n"><a id="t5" href="#t5">5</a></span><span class="t"><span class="key">assert</span> <span class="nam">len</span><span class="op">(</span><span class="nam">math</span><span class="op">)</span> <span class="op">==</span> <span class="num">18</span>&nbsp;</span><span class="r"></span></p>
 </main>
 <footer>
-    <div class="content">
+    <nav>
         <p>
-            <a class="nav" href="index.html">&#xab; index</a> &nbsp; &nbsp; <a class="nav" href="https://coverage.readthedocs.io/en/6.1.1a0">coverage.py v6.1.1a0</a>,
-            created at 2021-10-30 16:07 -0400
+            <a class="nav" href="index.html">&#xab; index</a> &nbsp; &nbsp; <a class="nav" href="https://coverage.readthedocs.io/en/6.3.3a0">coverage.py v6.3.3a0</a>,
+            created at 2022-04-08 16:03 -0400
         </p>
-    </div>
+    </nav>
 </footer>
 </body>
 </html>
diff --git a/tests/gold/html/omit_1/index.html b/tests/gold/html/omit_1/index.html
@@ -35,6 +35,12 @@ <h1>Coverage report:
             <input id="filter" type="text" value="" placeholder="filter..." />
         </form>
     </div>
+    <nav>
+        <p>
+            <a class="nav" href="https://coverage.readthedocs.io/en/6.3.3a0">coverage.py v6.3.3a0</a>,
+            created at 2022-04-08 16:03 -0400
+        </p>
+    </nav>
 </header>
 <main id="index">
     <table class="index" data-sortable>
@@ -92,12 +98,12 @@ <h1>Coverage report:
     </p>
 </main>
 <footer>
-    <div class="content">
+    <nav>
         <p>
-            <a class="nav" href="https://coverage.readthedocs.io/en/6.1a0">coverage.py v6.1a0</a>,
-            created at 2021-10-23 08:16 -0400
+            <a class="nav" href="https://coverage.readthedocs.io/en/6.3.3a0">coverage.py v6.3.3a0</a>,
+            created at 2022-04-08 16:03 -0400
         </p>
-    </div>
+    </nav>
 </footer>
 </body>
 </html>