Tweak results page; add favicon

inthar-raven · Aug 13, 2024 · 8c723e3 · 8c723e3
1 parent 765f81a
commit 8c723e3
Show file tree

Hide file tree

Showing 5 changed files with 15 additions and 10 deletions.
diff --git a/static/basic.css b/static/basic.css
@@ -236,7 +236,7 @@ thead th {
 }
 
 .data tr:nth-child(even) {
-  background-color: hsl(22, 100%, 36%);
+  background-color: rgb(20%, 10%, 30%);
 }
 
 table.clickable tr.selected {

diff --git a/static/favicon.ico b/static/favicon.ico
diff --git a/static/index.html b/static/index.html
@@ -1,7 +1,8 @@
 <!DOCTYPE html>
 <html>  
   <head>
-    <link rel="stylesheet" href="/static/basic.css">    
+    <link rel="stylesheet" href="/static/basic.css">
+    <link id="favicon"  rel="icon"  href="/static/favicon.ico">
   </head>
   <body>
     <div class="normal">

diff --git a/static/results.html b/static/results.html
@@ -2,6 +2,7 @@
 <html>
   <head>
     <link rel="stylesheet" href="/static/basic.css" />
+    <link id="favicon"  rel="icon"  href="/static/favicon.ico">
   </head>
   <body>
     <div class="normal">
@@ -29,42 +30,45 @@
             <table>
               <tr>
                 <td>
+                  Scales
                   <div
                     style="
                       overflow-y: auto;
-                      overflow-x: hidden;
+                      overflow-x: auto;
                       vertical-align: top;
                       height: 420px;
                       width: 200px;
                     "
                   >
-                    <table class="data" id="table-scales">Scales</table>
+                    <table class="data" id="table-scales"></table>
                   </div>
                 </td>
                 <td>
+                  JI tunings
                   <div
                     style="
                       overflow-y: auto;
-                      overflow-x: hidden;
+                      overflow-x: auto;
                       vertical-align: top;
                       height: 420px;
                       width: 200px;
                     "
                   >
-                    <table class="data" id="table-ji-tunings">JI tunings</table>
+                    <table class="data" id="table-ji-tunings"></table>
                   </div>
                 </td>
                 <td>
+                  edo tunings
                   <div
                     style="
                       overflow-y: auto;
-                      overflow-x: hidden;
+                      overflow-x: auto;
                       vertical-align: top;
                       height: 420px;
                       width: 200px;
                     "
                   >
-                    <table class="data" id="table-ed-tunings">edo tunings</table>
+                    <table class="data" id="table-ed-tunings"></table>
                   </div>
                 </td>
               </tr>

diff --git a/static/results.js b/static/results.js
@@ -822,7 +822,7 @@ if (sigQuery) {
         } else if (response["status"] === 400) {
           element.textContent = "Server error 400: Invalid input";
         } else if (response["status"] === 504) {
-          element.textContent = `Server error 504:<br/>Computation timed out after ${await response.text()} (timeout is 6 seconds)`;
+          element.innerHTML = `Server error 504:<br/>Computation timed out after ${await response.text()} (timeout is 6 seconds)`;
         } else {
           element.textContent = `Server error ${response["status"]}`;
         }
@@ -968,7 +968,7 @@ if (sigQuery) {
   } else if (response["status"] === 400) {
     element.textContent = "Server error 400: Invalid input";
   } else if (response["status"] === 504) {
-    element.textContent = `Server error 504:<br/>Computation timed out after ${await response.text()} (timeout is 6 seconds)`;
+    element.innerHTML = `Server error 504:<br/>Computation timed out after ${await response.text()} (timeout is 6 seconds)`;
   } else {
     element.textContent = `Server error ${response["status"]}`;
   }