header not mandatory

src/App/App.css

@@ -170,7 +170,9 @@ color: var(--text-primary);
 .navbar-brand{
   color: var(--text-primary) !important;
 }
-
+.dropdown-menu{
+  margin-top: 0 !important;
+}
 /* TABLES */
 table {
   font-family: arial, sans-serif;

src/App/App.tsx

@@ -15,15 +15,6 @@ import "../utils/highlight.js";
 import "../../pubpub/mapscript.js"
 
 const App = () => {
-  /* useEffect(() => {
-    const script = document.createElement('script');
-    script.src = "../statics/mapscript.js";
-    script.async = true;
-    document.body.appendChild(script);
-  return () => {
-      document.body.removeChild(script);
-    }
-  }, []); */
   const pathMapping = getPathMapping();
   const currentPath =
     location.pathname
@@ -53,7 +44,7 @@ const App = () => {
               path={path}
               element={
                 <>
-                  <Header title={title || ""} lead={lead || ""} />
+                  {/* <Header title={title || ""} lead={lead || ""} /> */}
                   {/* Page content */}
                   <div className="container-fluid">
                     <div className="row ">

src/components/Filter.tsx

@@ -9,7 +9,7 @@ interface Props {
   label: string
 }
 const options =[
-  {value: "all", label: "Everything"},
+  {value: "all", label: "Show all"},
   {value: "react", label: "React"},
   {value: "type", label: "Types"},
   {value: "property", label: "Properties"},