Updated HTML docs

This commit is contained in:
Griatch 2021-02-27 20:21:31 +01:00
parent 801df95026
commit b77bb57004
690 changed files with 24165 additions and 10952 deletions

View file

@ -398,6 +398,16 @@ code.descname {
padding: 5px;
}
/* The develop-branch warning header */
.develop {
background-color: #ffe4e4;
align-content: center;
width: auto;
text-align: center;
letter-spacing: 15px;
}
/* -- screen sizes ------------------------------------------------------------------ */