More messing with tiny fixes

Author: elmisback

src/herbie/InputRangesEditor.tsx

@@ -160,7 +160,7 @@ export const InputRangeEditor1: React.FC<InputRangeEditor1Props> = ({ value, set
       { 
         boundsCrossesZero &&
         <>
-          <span className="separator"> with <span className="separator-math">|{varname}| &ge; </span></span>
+          <span className="separator">with<span className="separator-math">|{varname}| &ge; </span></span>
           <span className="min">
           <input
             type="number"

src/herbie/LocalError/newLocalError.tsx

@@ -118,13 +118,13 @@ function TreeRow({
             onClick={() => setIsExpanded(prev => !prev)}
           >
             {/* Show pipe lines for folding  */}
-            {depth > 0 && (
+            {depth > 0 ? (
               <span className="pipe-lines" style={{ marginRight: '5px' }}>
                 {Array(depth).fill(null).map((_, i) => (
                   <span key={i} className="pipe-line" style={{ height: '20px', borderLeft: '1px solid gray', marginLeft: `${7.5 + (i > 0 ? 5 : 0) }px` }}></span>
                 ))}
-              </span>
-            )}
+              </span>) : <span style={{ height: "14px", display: 'inline-block'}}></span>
+            }
             {node.children.length > 0 ? (
               <span className="toggle-button">
                 {isExpanded ? (

src/herbie/SpecComponent.css

@@ -42,6 +42,11 @@
   font-family: "Ruda", sans-serif;
 }
 
+.separator-math {
+  padding-left: 5px;
+  padding-right: 0px;
+}
+
 .spec-range-input {
   display: flex;
   gap: 15px;