# HG changeset patch # User drewp # Date 1581618361 28800 # Node ID 7b808fec3d18d0afd53abdf108ef771605c51766 # Parent 5409427730284340e251a535d8c6052a0ff1b8d8 index.html layout; add some oneshot buttons Ignore-this: 12287088f831a4ccc693b2251fd46710 darcs-hash:6e258e52de789525e16eea66ac828ac7ada6fcf2 diff -r 540942773028 -r 7b808fec3d18 service/reasoning/index.html --- a/service/reasoning/index.html Thu Feb 13 10:24:23 2020 -0800 +++ b/service/reasoning/index.html Thu Feb 13 10:26:01 2020 -0800 @@ -6,6 +6,9 @@ + + + @@ -14,41 +17,54 @@ - +

reasoning service

+
Post one-shot: + + + + + + + + + +

Service

@@ -59,7 +75,7 @@
-
+

Rules


@@ -102,6 +118,10 @@
        .recent10 { background: #40401c; }
        .recent60 { background: #212116; }
        #putOutputs th, #putOutputs td { text-align: left; padding-left: 5px; }
+       td.urlAbbrev, td.numRequests, td.lastChangeTime {
+         white-space: nowrap;
+       }
+       td.changed { min-width: 7em; }
       
       
@@ -132,6 +152,7 @@
                'lastErr',
              ]) {
                const td = document.createElement('td');
+               td.classList.add(attr);
                let value = row[attr];
                if (attr == 'lastChangeTime') {
                  const secAgo = Math.round(Date.now() / 1000 - row.lastChangeTime);
@@ -152,6 +173,7 @@