More website goodies (meta tags, open graph images, menu selection) (#151)

* Add description

* Fix margin

* Add og_image

* Mark menu as selected
This commit is contained in:
Hendrik Kleinwaechter
2023-07-14 13:54:58 +02:00
committed by GitHub
parent f1788ff780
commit a4f16d7d90
14 changed files with 113 additions and 4 deletions

View File

@@ -137,7 +137,10 @@ nav.TOC,nav.TOC a, nav.TOC a:visited{
color:#000000;
}
nav.TOC span:hover, nav.TOC span:hover *{
nav.TOC span:hover,
nav.TOC span:hover *,
nav.TOC span.chapterToc.selected,
nav.TOC span.chapterToc.selected a {
background-color:#dad5ca;
}
@@ -296,6 +299,6 @@ figcaption.caption {
}
div.center {
margin-left: 0;
margin-right: 0;
margin-left: 0 !important;
margin-right: 0 !important;
}