Merge branch 'develop' into shake-with-minimize

This commit is contained in:
Axel Kohlmeyer
2022-08-11 13:21:08 -04:00
63 changed files with 536 additions and 370 deletions

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;