update to readability of dafny output

nazime1 · Jul 25, 2024 · 3056f76 · 3056f76
1 parent 83da800
commit 3056f76
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/react-project/psoft-textbook-react/src/pages/index.tsx b/react-project/psoft-textbook-react/src/pages/index.tsx
@@ -94,7 +94,7 @@ export default function Index() {
           />
         </div>
         <div className="flex flex-col justify-center relative pl-8">
-          <div className=" flex-grow">
+          <div className="flex-grow" style={{ whiteSpace: "pre", textAlign: "left"}}>
             {loading ? (
               <ThreeDots color="gray" height={100} width={100} />
             ) : (