From ccea3816c025d5e74fb77304796cca58a1ea132b Mon Sep 17 00:00:00 2001 From: rdrew Date: Thu, 5 Dec 2024 12:30:27 -0400 Subject: [PATCH] lp and icons --- css/base.css | 38 +++++++++++++++++++++----------------- css/header.css | 4 ++++ css/responsive.css | 3 +++ 3 files changed, 28 insertions(+), 17 deletions(-) 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; }