lp and icons

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 {

css/header.css

@@ -474,3 +474,7 @@
   font-size: 14px;
   margin: 0 5px;
 }
+
+  nav#block-vre2024-mainnavigation {
+display:none;
+  }

css/responsive.css

@@ -185,6 +185,9 @@
   }
 }
 @media (min-width: 992px) {
+  nav#block-vre2024-mainnavigation {
+display:block;
+  }
   th {
     padding: 10px;
   }