From 5341b63a240b31452e2a02e84ace82ed2a2e2f44 Mon Sep 17 00:00:00 2001 From: =?utf8?q?Oto=20=C5=A0=C5=A5=C3=A1va?= Date: Wed, 20 Mar 2024 15:12:56 +0100 Subject: [PATCH] doc/_static/css: fix anchor colors The global styling made some anchors misbehave. Since we only want to recolor the anchors in the content part of the docs, let's properly target the CSS rules. --- doc/_static/css/custom.css | 6 ------ doc/_static/css/dev.css | 17 +++++----------- doc/_static/css/logo_colors.css | 36 --------------------------------- doc/_static/css/main.css | 8 ++++++-- doc/_static/css/user.css | 15 ++++---------- 5 files changed, 15 insertions(+), 67 deletions(-) delete mode 100644 doc/_static/css/custom.css delete mode 100644 doc/_static/css/logo_colors.css diff --git a/doc/_static/css/custom.css b/doc/_static/css/custom.css deleted file mode 100644 index e9ec7946e..000000000 --- a/doc/_static/css/custom.css +++ /dev/null @@ -1,6 +0,0 @@ -/* SPDX-License-Identifier: GPL-3.0-or-later */ -@import "theme.css"; - -table.docutils blockquote { - margin-left: 0; -} diff --git a/doc/_static/css/dev.css b/doc/_static/css/dev.css index c71d8ad27..2c9fe5b7f 100644 --- a/doc/_static/css/dev.css +++ b/doc/_static/css/dev.css @@ -1,7 +1,7 @@ /* SPDX-License-Identifier: GPL-3.0-or-later */ .wy-side-nav-search { - background-color: #b92929; /* From logo manual */ + background-color: #b92929; /* RED FOR DEVELOPERS :-) */ } .wy-side-nav-search input[type=text] { border-color: #a42424; @@ -13,26 +13,19 @@ background-color: #b92929; } -a { +.wy-nav-content-wrap a { color: #b92929; } -a:hover { +.wy-nav-content-wrap a:hover { color: #d13030; } -a:visited { +.wy-nav-content-wrap a:visited { color: #780001; } -a:visited:hover { +.wy-nav-content-wrap a:visited:hover { color: #d13030; } .wy-menu-vertical p.caption { color: #d95555; } - -.wy-menu-vertical a, .wy-menu-vertical a:hover, .wy-menu-vertical a:visited, -.wy-menu-vertical a:visited:hover { - /* This is here so that the a-rules above do not override the menu colors, - * which should remain grey */ - color: #d9d9d9; -} diff --git a/doc/_static/css/logo_colors.css b/doc/_static/css/logo_colors.css deleted file mode 100644 index 8774a8fc7..000000000 --- a/doc/_static/css/logo_colors.css +++ /dev/null @@ -1,36 +0,0 @@ -.wy-side-nav-search { - background-color: #00a2e2; /* From logo manual */ -} -.wy-side-nav-search input[type=text] { - border-color: #45bfff; -} -.wy-side-nav-search div.version { - color: hsla(0,0%,100%,0.4); -} -.wy-nav-top { - background-color: #00a2e2; -} - -a { - color: #00a2e2; -} -a:hover { - color: #45bfff; -} -a:visited { - color: #00619c; -} -a:visited:hover { - color: #00a2e2; -} - -.wy-menu-vertical p.caption { - color: #00a2e2; -} - -.wy-menu-vertical a, .wy-menu-vertical a:hover, .wy-menu-vertical a:visited, -.wy-menu-vertical a:visited:hover { - /* This is here so that the a-rules above do not override the menu colors, - * which should remain grey */ - color: #d9d9d9; -} diff --git a/doc/_static/css/main.css b/doc/_static/css/main.css index a6b5f35c1..e9ec7946e 100644 --- a/doc/_static/css/main.css +++ b/doc/_static/css/main.css @@ -1,2 +1,6 @@ -@import "custom.css"; -@import "logo_colors.css"; +/* SPDX-License-Identifier: GPL-3.0-or-later */ +@import "theme.css"; + +table.docutils blockquote { + margin-left: 0; +} diff --git a/doc/_static/css/user.css b/doc/_static/css/user.css index 6b3b9c973..06972b36c 100644 --- a/doc/_static/css/user.css +++ b/doc/_static/css/user.css @@ -13,26 +13,19 @@ background-color: #00a2e2; } -a { +.wy-nav-content-wrap a { color: #00619c; } -a:hover { +.wy-nav-content-wrap a:hover { color: #00a2e2; } -a:visited { +.wy-nav-content-wrap a:visited { color: #00619c; } -a:visited:hover { +.wy-nav-content-wrap a:visited:hover { color: #00a2e2; } .wy-menu-vertical p.caption { color: #00a2e2; } - -.wy-menu-vertical a, .wy-menu-vertical a:hover, .wy-menu-vertical a:visited, -.wy-menu-vertical a:visited:hover { - /* This is here so that the a-rules above do not override the menu colors, - * which should remain grey */ - color: #d9d9d9; -} -- 2.47.2