Continued with adding commands

This commit is contained in:
Griatch 2020-07-03 01:00:13 +02:00
parent dcc675fb4d
commit 87aa80d868
5 changed files with 843 additions and 627 deletions

View file

@ -255,6 +255,11 @@ li > p:first-child {
margin-bottom: 0px;
}
li > p {
margin-top: 0px;
margin-bottom: 0px;
}
.admonition.important {
background-color: #fbf7c3;
border: 1px solid #c8c59b;
@ -361,6 +366,7 @@ dl.method > dd > p {
font-style: italic;
}
code.descname {
font-size: 0.9em;
}