feature: add doc in project

This commit is contained in:
Dobin Rutishauser
2025-06-19 20:46:21 +02:00
parent 3196fa4ecb
commit 78cb8ad116
2 changed files with 90 additions and 1 deletions
+4 -1
View File
@@ -40,9 +40,12 @@
}
.indent {
margin-top: 1em;
margin-top: 1.0em;
margin-left: 1em;
}
.indent h3 {
margin-top: 0.7em;
}
.matchesview {
padding-left: 4px !important;