group procs of the same name in TOC (#15487)

* group procs of the same name in TOC

* correctly show `sink` parameters in TOC

* no need to reinvent the wheel - `mgetorPut` exists

* better setting of text color [ci skip]

* fix CSS for better alignment
This commit is contained in:
Miran 2020-10-05 17:03:14 +02:00 • committed by GitHub
commit 112b11c154
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
8 changed files with 220 additions and 73 deletions

View file

@ -154,10 +154,12 @@ body {
margin-left: 0; }
.three.columns {
width: 19%; }
width: 22%;
line-break: anywhere;
}
.nine.columns {
width: 80.0%; }
width: 77.0%; }
.twelve.columns {
width: 100%;
@ -420,7 +422,7 @@ ul.simple-boot li {
}
ol.simple > li, ul.simple > li {
margin-bottom: 0.25em;
margin-bottom: 0.2em;
margin-left: 0.4em }
ul.simple.simple-toc > li {
@ -439,9 +441,19 @@ ul.simple-toc > li {
ul.simple-toc-section {
list-style-type: circle;
margin-left: 1em;
margin-left: 0.8em;
color: #6c9aae; }
ul.nested-toc-section {
list-style-type: circle;
margin-left: -0.75em;
color: var(--text);
}
ul.nested-toc-section > li {
margin-left: 1.25em;
}
ol.arabic {
list-style: decimal; }