Center definitions.

herbie-fp · Nov 7, 2024 · 1878a4e · 1878a4e
1 parent d5c2e98
commit 1878a4e
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 3 deletions.
diff --git a/src/herbie/SpecComponent.css b/src/herbie/SpecComponent.css
@@ -43,7 +43,7 @@
   float: left;
   width: 220px;
   clear: left;
-  margin: 0 1em 0em 1em;
+  margin: 0 2em 0em 4em;
   font-family: "IBM Plex Mono", sans-serif;
   line-height: 1em;
 }
@@ -136,6 +136,7 @@
 
 .mathjs-instructions {
   margin-top: 2em;
+  font-size: smaller;
 }
 
 .function-list {

diff --git a/src/herbie/SpecComponent.tsx b/src/herbie/SpecComponent.tsx
@@ -379,7 +379,7 @@ function SpecConfigComponent() {
       )}
 
       {/* TODO this nesting p > dl is bad apparently, shows console error */}
-      <div className="mathjs-instructions" style={{ display: "block" }}>
+      <div className="mathjs-instructions" style={{ display: "block", alignSelf: 'center' }}>
         <div>
           Use ordinary mathematical syntax (parsed by{" "}
           <a href="https://mathjs.org">math.js</a>) and{" "}
@@ -410,7 +410,7 @@ function SpecConfigComponent() {
 
       <div
         className="acknowledgments"
-        style={{ fontSize: "small", marginTop: "2em" }}
+        style={{ fontSize: "small", marginTop: "2em", textAlign: 'center' }}
       >
         This work is supported by the U.S. Department of Energy, Office of
         Science, Office of Advanced Scientific Computing Research, ComPort: