A little more space up top

[tablify] / src / lib.rs
diff --git a/src/lib.rs b/src/lib.rs

index 2e9bfcc72adc364faf9bab51051b9988333cd302..30026929c3993ea004d726e2c0ceffcbc44957ce 100644 (file)
--- a/src/lib.rs
+++ b/src/lib.rs
@@ -13,16 +13,13 @@ const HEADER: &str = "<!DOCTYPE html>
      th, td { white-space: nowrap; }
      th { text-align: left; font-weight: normal; }
      table { border-collapse: collapse }
-    tr.key > th { height: 8em; vertical-align: bottom; line-height: 1 }
+    tr.key > th { height: 10em; vertical-align: bottom; line-height: 1 }
      tr.key > th > div { width: 1em; }
      tr.key > th > div > div { width: 5em; transform-origin: bottom left; transform: translateX(1em) rotate(-65deg) }
      td { border: thin solid gray; }
-    td.numeric { text-align: right; }
      td.yes { border: thin solid gray; background-color: #ddd; }
-    td.spacer { border: none; }
      /* h/t https://stackoverflow.com/questions/5687035/css-bolding-some-text-without-changing-its-containers-size/46452396#46452396 */
      .highlight { text-shadow: -0.06ex 0 black, 0.06ex 0 black; }
-    img { height: 1.2em; }
    </style>
    <script>
      function highlight(id)       { const e = document.getElementById(id); if (e) { e.classList.add(   \"highlight\"); } }