From f20175dd9f36924fd76e383c934062ae8ebf741a Mon Sep 17 00:00:00 2001
From: Richard Glosner <xglosner@fi.muni.cz>
Date: Mon, 10 Feb 2025 12:28:17 +0100
Subject: [PATCH] * fix diagram colors
* remove unwanted line
---
docs/stylesheets/extra.css | 6 ++++++
overrides/partials/header.html | 3 +--
2 files changed, 7 insertions(+), 2 deletions(-)
diff --git a/docs/stylesheets/extra.css b/docs/stylesheets/extra.css
index c1d6fa1..e2f0abe 100644
--- a/docs/stylesheets/extra.css
+++ b/docs/stylesheets/extra.css
@@ -30,6 +30,12 @@
--md-typeset-mark-color: #ffdc4e85;
--md-admonition-fg-color: #ffdd4e;
--md-typeset-a-color: #ffdd4e;
+
+ /* Fixes mermaid diagrams in dark mode*/
+ --md-mermaid-sequence-message-fg-color: white !important;
+ --md-mermaid-label-bg-color: #ffdd4e;
+ --md-mermaid-edge-color: white;
+ --md-mermaid-sequence-actor-line-color: white;
}
:root > * [data-md-color-scheme="slate"] {
diff --git a/overrides/partials/header.html b/overrides/partials/header.html
index 52fa368..c5514d0 100644
--- a/overrides/partials/header.html
+++ b/overrides/partials/header.html
@@ -43,8 +43,7 @@
<option value="/1-0/">Version 1.0</option>
</select>
</div>
- --> remove this line
-
+ -->
{% if config.theme.palette %}
{% if not config.theme.palette is mapping %}
{% include "partials/palette.html" %}
--
GitLab