Updated HTML docs

This commit is contained in:
Griatch 2020-06-16 22:49:43 +02:00
parent f505351730
commit a551188691
1002 changed files with 30387 additions and 9820 deletions

View file

@ -503,6 +503,14 @@ li > p:last-child {
margin-bottom: 0px;
}
ul.simple > li > ul > li {
margin-left: -25px;
}
ul > li > ul > li {
margin-left: -7px;
}
dl.footnote > dt,
dl.citation > dt {
float: left;