update theme.css to pin table header row when scrolling

diff --git a/static/theme.css b/static/theme.css
index 837151d6900cde3d549243ce4753d93c3929cef2..65e8c14d62237d9caadbf82a23e97ecc255ee48f 100644 (file)
--- a/static/theme.css
+++ b/static/theme.css
@@ -9,7 +9,7 @@ body {
        display: flex;
        flex-direction: column;
 }
-header {}
+/* header {} */
 header nav {
        margin-bottom: 1em;
 }
@@ -53,13 +53,13 @@ h2 {
 main {
        flex-grow: 1;
 }
-section {}
+/* section {} */
 .logo {
        vertical-align: middle;
        height: 2em;
 }
-.about {}
-.usage {}
+/* .about {} */
+/* .usage {} */
 .copyright {
        font-size: small;
 }
@@ -147,6 +147,10 @@ table {
        border: 0;
        width: 100%;
 }
+table thead {
+       position: sticky;
+       top: 0;
+}
 thead tr th {
        background-color: #ddd;
        vertical-align: bottom;
@@ -158,7 +162,7 @@ tbody tr th {
 tbody tr:nth-child(even) td, tbody tr:nth-child(even) th {
        background-color: #eee;
 }
-tbody tr:nth-child(odd) td, tbody tr:nth-child(odd) th {}
+/* tbody tr:nth-child(odd) td, tbody tr:nth-child(odd) th {} */
 footer {
        text-align: center;
        width: 100%;