Updated HTML docs

This commit is contained in:
Griatch 2020-07-14 00:21:00 +02:00
parent a551188691
commit 781788f2e5
2063 changed files with 215958 additions and 250783 deletions

View file

@ -569,7 +569,7 @@ dd {
}
dt:target, span.highlighted {
background-color: #fbe54e;
background-color: #fffbde;
}
rect.highlighted {
@ -704,7 +704,7 @@ div.literal-block-wrapper div.highlight {
code.descname {
background-color: transparent;
font-weight: bold;
font-size: 1.2em;
font-size: 0.9em;
}
code.descclassname {