First batch of N3 notions.

This commit is contained in:
2024-05-26 11:53:10 +02:00
parent 69352f5781
commit dd794cbd79
10 changed files with 178 additions and 96 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;
}