🔍️Updated description for google search

soaibsafi · soaibsafi · commit 06ca1c457af0 · 2025-02-20T14:54:27.000+06:00
diff --git a/frontend/index.html b/frontend/index.html
@@ -3,8 +3,14 @@
 
 <head>
   <meta charset="UTF-8" />
-  <link rel="icon" type="image/png" href="logo_se.png" />
+  <meta name="description"
+    content="A Formal Method playground for limboole, z3, nuXmv, Alloy, and Spectra. This web application allows users to run formal methods tools in the browser." />
   <meta name="viewport" content="width=device-width, initial-scale=1.0" />
+  <meta property="og:title" content="FM Playground">
+  <meta property="og:description"
+    content="A Formal Method playground for limboole, z3, nuXmv, Alloy, and Spectra. This web application allows users to run formal methods tools in the browser.">
+  <meta property="og:image" content="https://play.formal-methods.net/logo_se.png">
+  <link rel="icon" type="image/png" href="logo_se.png" />
   <script src="z3-built.js"></script>
   <script>
     globalThis.global = { initZ3: globalThis.initZ3 };
diff --git a/frontend/src/components/Utils/Footer.tsx b/frontend/src/components/Utils/Footer.tsx
@@ -4,21 +4,22 @@ import '../../assets/style/Footer.css';
 const Footer = () => {
 
   return (
-    <MDBFooter className='text-center text-lg-left mt-5'>
-      <div className='text-center p-3 footer-text'>
-        Privacy Policy:
-        This website logs the specifications and options, which may be analyzed and made public for research purposes.
-        Do not share confidential information.
-        <br />
-        Unless you login, it does not collect any personally identifiable information.
-        Deleting your profile will remove all records of your profile from our servers.
-        The specifications will be unlinked from your profile, but remain on the servers (see first bullet).
-        <br />
-        &copy; {new Date().getFullYear()} Copyright:{' '}
-        Made with ♥ in Bauhaus-Universität Weimar
-      </div>
-    </MDBFooter>
-
+    <div aria-hidden='true'>
+      <MDBFooter className='text-center text-lg-left mt-5'>
+        <div className='text-center p-3 footer-text'>
+          Privacy Policy:
+          This website logs the specifications and options, which may be analyzed and made public for research purposes.
+          Do not share confidential information.
+          <br />
+          Unless you login, it does not collect any personally identifiable information.
+          Deleting your profile will remove all records of your profile from our servers.
+          The specifications will be unlinked from your profile, but remain on the servers (see first bullet).
+          <br />
+          &copy; {new Date().getFullYear()} Copyright:{' '}
+          Made with ♥ in Bauhaus-Universität Weimar
+        </div>
+      </MDBFooter>
+    </div>
   );
 }
 
