Merge commit '506e066f11f0e7c424fc084d6b50c6d2734f15d8' into jpg

This commit is contained in:
2024-06-10 13:00:27 +02:00
58 changed files with 3332 additions and 713 deletions

View File

@ -36,4 +36,20 @@
.usage .r {
margin-left: 0.25rem;
margin-right: 0.25rem;
}
.usage .ileft {
padding-left: 1.7rem;
background-image: linear-gradient(black, black), linear-gradient(black, black);
background-repeat: no-repeat;
background-size: 8px 2px;
background-position: top left, bottom left;
border-left: solid black;
border-width: 0 2px;
}
.usage .iright {
padding-right: 1rem;
}