From 88333e02809ef21a2e4a35d45770268090d01315 Mon Sep 17 00:00:00 2001
From: liliana <liliana.sanfilippo@uni-bielefeld.de>
Date: Mon, 8 Jul 2024 17:22:36 +0200
Subject: [PATCH] header not mandatory
---
src/App/App.css | 4 +++-
src/App/App.tsx | 11 +----------
src/components/Filter.tsx | 2 +-
3 files changed, 5 insertions(+), 12 deletions(-)
diff --git a/src/App/App.css b/src/App/App.css
index 50439397..6356bf51 100644
--- a/src/App/App.css
+++ b/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;
diff --git a/src/App/App.tsx b/src/App/App.tsx
index 36305348..f4421672 100644
--- a/src/App/App.tsx
+++ b/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 ">
diff --git a/src/components/Filter.tsx b/src/components/Filter.tsx
index 25b8d23e..9373a0d3 100644
--- a/src/components/Filter.tsx
+++ b/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"},
--
GitLab