need new CSS hack to hide duplicate headers derived from the navigation bar

This commit is contained in:
Axel Kohlmeyer
2022-08-05 21:44:31 -04:00
parent 99582c0f28
commit 49df4d93a0

View File

@ -39,6 +39,18 @@ hr {
display: none;
}
#userdoc.toctree-wrapper.compound p {
display: none;
}
#progdoc.toctree-wrapper.compound p {
display: none;
}
#reference.toctree-wrapper.compound p {
display: none;
}
.ui.tabular.menu .item {
padding-right: 1em;
padding-left: 1em;