Misc small fixes

Author: elmisback

src/herbie/HerbieUI.css

@@ -178,7 +178,7 @@ input:focus-visible, textarea:focus-visible {
   justify-content: space-between; /* Align the components at the start and end of the header */
   align-items: center;
   font-family: Ruda;
-  font-size: 11px;
+  font-size: 12px;
   background-color: var(--foreground-color);
   color: var(--background-color);
   padding: 10px 25px;
@@ -218,7 +218,7 @@ input:focus-visible, textarea:focus-visible {
     margin: 0 5px -1px 3px;
   }
 
-  a:hover .icon { 
+  a .icon { 
     /* Open in external tab icon only shows on hover of link */
     fill: var(--background-color);
   }

src/herbie/HerbieUI.tsx

@@ -860,7 +860,7 @@ function HerbieUIInner() {
       <div className="header">
         <div className="app-name" onClick={() => setShowSpecEntry(true)}>
           <img src="https://raw.githubusercontent.com/herbie-fp/odyssey/main/images/odyssey-icon.png" style={{ width: '18px', marginRight: '8px' }} alt="Odyssey Icon"></img>
-          <span style={{fontSize: '13px'}}>Odyssey</span>
+          <span style={{fontSize: '15px'}}>Odyssey</span>
         </div>
         <div className="tabs">
           <a href="https://github.com/herbie-fp/odyssey/?tab=readme-ov-file#odyssey-an-interactive-numerics-workbench" target="_blank">
@@ -925,7 +925,7 @@ function HerbieUIInner() {
           <ExpressionTable />
           <div className="visualizations">
             {/* <SelectableVisualization components={components} /> */}
-            <div style={{fontSize: "12px", padding:"11px 0px", fontWeight: 'bold'}}>Error Plot</div>
+            <div style={{fontSize: "14px", padding:"11px 0px", fontWeight: 'bold'}}>Error Plot</div>
             <ErrorPlot />
             <h4>Other Comparisons</h4>
             <SelectableVisualization components={components2} />

src/herbie/LocalError/newLocalError.css

@@ -17,6 +17,7 @@
   background-color: #fdf2f2;  /* Very subtle pink background */
   border-radius: 3px;
   padding: 2px 4px;
+  display: inline-block;
 }
 
 .program-col {
@@ -53,9 +54,12 @@
   font-size: 12px;
 }
 
+.local-error thead th {
+  border-bottom: 1px solid #b2b3b5; /* Light gray border for header */
+}
+
 /* slightly darken the hovered row */
 .local-error tbody tr:hover {
   background-color: #f3f4f6; /* Light gray background on hover */
-  border-radius: 5px;
   transition: background-color 0.2s ease;
 }