Updated HTML docs

This commit is contained in:
Griatch 2020-11-14 11:55:52 +01:00
parent 2e06939d67
commit fbd151ea7e
1183 changed files with 3839 additions and 733 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 ------------------------------------------------------------------ */