css: highlight active documentation entries the same as sections.

For Python code, many names will have just the entry without any
detailed docs and it's hard to see where on the page it is if it's not
selected. The same works for Doxygen, of course.

diff --git a/css/m-dark+documentation.compiled.css b/css/m-dark+documentation.compiled.css
index a1f0bbba2ae022560d83108e738b6a0c29e6e032..f1f2ebbc884a3399214190fd8237339018c7b8e0 100644 (file)
--- a/css/m-dark+documentation.compiled.css
+++ b/css/m-dark+documentation.compiled.css
@@ -2612,6 +2612,18 @@ span.m-doc-wrap {
 dl.m-doc dd {
   margin-bottom: 0.5rem;
 }
+dl.m-doc dd {
+  margin-left: 0;
+  padding-left: 2.5rem;
+}
+dl.m-doc dt:target, dl.m-doc dt:target + dd {
+  margin-left: -1.0rem;
+  border-left-style: solid;
+  border-left-width: 0.25rem;
+  border-color: #a5c9ea;
+}
+dl.m-doc dt:target { padding-left: 0.75rem; }
+dl.m-doc dt:target + dd { padding-left: 3.25rem; }
 ul.m-doc {
   list-style: none;
   margin-left:  1.0375rem;

diff --git a/css/m-dark.documentation.compiled.css b/css/m-dark.documentation.compiled.css
index 1f7867e6375856775ed25eea4cc25d2f7722bc02..105f52b0de4b5e9a90cb890bc48faa76567b2d0c 100644 (file)
--- a/css/m-dark.documentation.compiled.css
+++ b/css/m-dark.documentation.compiled.css
@@ -75,6 +75,18 @@ span.m-doc-wrap {
 dl.m-doc dd {
   margin-bottom: 0.5rem;
 }
+dl.m-doc dd {
+  margin-left: 0;
+  padding-left: 2.5rem;
+}
+dl.m-doc dt:target, dl.m-doc dt:target + dd {
+  margin-left: -1.0rem;
+  border-left-style: solid;
+  border-left-width: 0.25rem;
+  border-color: #a5c9ea;
+}
+dl.m-doc dt:target { padding-left: 0.75rem; }
+dl.m-doc dt:target + dd { padding-left: 3.25rem; }
 ul.m-doc {
   list-style: none;
   margin-left:  1.0375rem;

diff --git a/css/m-documentation.css b/css/m-documentation.css
index c25e85e0fe2fceef3444d4f889a7b7a204c98c1c..6cea1aae2b2026d0f54e955d8f17c958684dcf8a 100644 (file)
--- a/css/m-documentation.css
+++ b/css/m-documentation.css
@@ -71,9 +71,24 @@ span.m-doc-wrap {
   white-space: pre-line;
   max-width: 100%; /* otherwise horizontal scrollbars, wtf */
 }
+
+/* Highlight the doc entries the same way as sections */
 dl.m-doc dd {
   margin-bottom: 0.5rem;
 }
+dl.m-doc dd {
+  margin-left: 0;
+  padding-left: 2.5rem;
+}
+dl.m-doc dt:target, dl.m-doc dt:target + dd {
+  margin-left: -1.0rem;
+  border-left-style: solid;
+  border-left-width: 0.25rem;
+  border-color: var(--article-heading-color);
+}
+dl.m-doc dt:target { padding-left: 0.75rem; }
+dl.m-doc dt:target + dd { padding-left: 3.25rem; }
+
 ul.m-doc {
   list-style: none;
   margin-left:  1.0375rem;

diff --git a/css/m-light+documentation.compiled.css b/css/m-light+documentation.compiled.css
index 3eba5412473dd0a359904c0538bb0715cc6ad27e..17112d37dfd06f465e20a8fed533155a1d642b99 100644 (file)
--- a/css/m-light+documentation.compiled.css
+++ b/css/m-light+documentation.compiled.css
@@ -2545,6 +2545,18 @@ span.m-doc-wrap {
 dl.m-doc dd {
   margin-bottom: 0.5rem;
 }
+dl.m-doc dd {
+  margin-left: 0;
+  padding-left: 2.5rem;
+}
+dl.m-doc dt:target, dl.m-doc dt:target + dd {
+  margin-left: -1.0rem;
+  border-left-style: solid;
+  border-left-width: 0.25rem;
+  border-color: #cb4b16;
+}
+dl.m-doc dt:target { padding-left: 0.75rem; }
+dl.m-doc dt:target + dd { padding-left: 3.25rem; }
 ul.m-doc {
   list-style: none;
   margin-left:  1.0375rem;

diff --git a/css/m-light.documentation.compiled.css b/css/m-light.documentation.compiled.css
index 7b2a77757278de6ea9c5c3914026a643646ade88..29d4c8b2fb62eceb7abe6d240c93a38883a3d30b 100644 (file)
--- a/css/m-light.documentation.compiled.css
+++ b/css/m-light.documentation.compiled.css
@@ -75,6 +75,18 @@ span.m-doc-wrap {
 dl.m-doc dd {
   margin-bottom: 0.5rem;
 }
+dl.m-doc dd {
+  margin-left: 0;
+  padding-left: 2.5rem;
+}
+dl.m-doc dt:target, dl.m-doc dt:target + dd {
+  margin-left: -1.0rem;
+  border-left-style: solid;
+  border-left-width: 0.25rem;
+  border-color: #cb4b16;
+}
+dl.m-doc dt:target { padding-left: 0.75rem; }
+dl.m-doc dt:target + dd { padding-left: 3.25rem; }
 ul.m-doc {
   list-style: none;
   margin-left:  1.0375rem;