From acc3023d691fa386f43f5fcb1637a6d36cbe8865 Mon Sep 17 00:00:00 2001 From: jpk Date: Wed, 10 Jan 2024 13:09:47 +0100 Subject: [PATCH] CSS code tag optimizations --- assets/css/_base.scss | 2 +- assets/css/components/_code.scss | 28 ++++++++++++++++++---------- assets/css/main.scss | 1 + 3 files changed, 20 insertions(+), 11 deletions(-) diff --git a/assets/css/_base.scss b/assets/css/_base.scss index f91a50d..bd222dd 100644 --- a/assets/css/_base.scss +++ b/assets/css/_base.scss @@ -73,7 +73,7 @@ nav ul li { } table { - font-family: DOS; + font-family: "DOS", "Lucida Console", "monospace"; border-style: dashed; border-width: 1px; border-collapse: collapse; diff --git a/assets/css/components/_code.scss b/assets/css/components/_code.scss index d660626..0f4de59 100644 --- a/assets/css/components/_code.scss +++ b/assets/css/components/_code.scss @@ -1,12 +1,20 @@ pre { - font-family: "DOS", "Lucida Console", "monospace"; - margin: 2em; - padding: 0.4em; - border: 1px dashed $border-color; - overflow: auto; - color: #f8f8f2; - background-color: #272822; - -moz-tab-size: 4; - -o-tab-size: 4; - tab-size: 4; + font-family: "DOS", "Lucida Console", "monospace"; + margin: 2em; + padding: 0.4em; + border: 1px dashed $border-color; + overflow: auto; + color: $code-color; + background-color: #272822; + -moz-tab-size: 4; + -o-tab-size: 4; + tab-size: 4; +} + +p > code { + font-family: "DOS", "Lucida Console", "monospace"; + color: $code-color; + border-left: 1px dotted $border-color; + border-bottom: 1px dotted $border-color; + padding: 2px; } diff --git a/assets/css/main.scss b/assets/css/main.scss index 0aff0c8..db50273 100644 --- a/assets/css/main.scss +++ b/assets/css/main.scss @@ -4,6 +4,7 @@ https://coolors.co/04080f-507dbc-a1c6ea-bbd1ea-dae3e5 $background-color: {{ .Site.Params.style.backgroundColor | default "#04080f" }}; $text-color: {{ .Site.Params.style.textColor | default "#dae3e5" }}; +$code-color: {{ .Site.Params.style.codeColor | default "#dae3e2" }}; $border-color: {{ .Site.Params.style.borderColor | default "#dae3e5" }}; $anchor-color: {{ .Site.Params.style.anchorColor | default "#507dbc" }}; $anchor-active-color: {{ .Site.Params.style.anchorActiveColor | default "#bbd1ea" }};