diff --git a/css/base.css b/css/base.css
index b20cf22..7d30803 100755
--- a/css/base.css
+++ b/css/base.css
@@ -167,24 +167,28 @@ a:not([class]) {
   text-decoration-skip-ink: auto;
 }
 /* Typography-> code tags */
-code,
-kbd,
-pre,
+/*code,*/
+/*kbd,*/
+/*pre,*/
+/*samp {*/
+  /*font-family: monospace, monospace;*/
+  /*font-size: 1rem;*/
+/*}*/
+/*kbd,*/
+/*samp {*/
+  /*display: inline-block;*/
+  /*margin: 0;*/
+  /*padding: 0 5px;*/
+/*}*/
+/*pre {*/
+  /*overflow: auto;*/
+  /*margin: 1rem 0;*/
+  /*padding: 1rem;*/
+  /*tab-size: 2;*/
+/*}*/
+pre.sf-dump,
 samp {
-  font-family: monospace, monospace;
-  font-size: 1rem;
-}
-kbd,
-samp {
-  display: inline-block;
-  margin: 0;
-  padding: 0 5px;
-}
-pre {
-  overflow: auto;
-  margin: 1rem 0;
-  padding: 1rem;
-  tab-size: 2;
+font-size: .8rem;
 }
 sub,
 sup {
diff --git a/css/header.css b/css/header.css
index d48ba44..ee237c5 100755
--- a/css/header.css
+++ b/css/header.css
@@ -474,3 +474,7 @@
   font-size: 14px;
   margin: 0 5px;
 }
+
+  nav#block-vre2024-mainnavigation {
+display:none;
+  }
diff --git a/css/responsive.css b/css/responsive.css
index 3332831..519dafa 100755
--- a/css/responsive.css
+++ b/css/responsive.css
@@ -185,6 +185,9 @@
   }
 }
 @media (min-width: 992px) {
+  nav#block-vre2024-mainnavigation {
+display:block;
+  }
   th {
     padding: 10px;
   }