update versions

This commit is contained in:
Joerg Reichert 2023-04-02 13:28:57 +02:00
parent 9158da553d
commit 7bd27f42a0
294 changed files with 203127 additions and 170 deletions

View file

@ -0,0 +1,17 @@
.search-result {
margin-bottom: 1.2em;
}
.search-result article {
line-height: normal;
}
.search-result h4 {
line-height: normal;
font-size: 1.2rem;
margin-bottom: 0.1rem;
}
.search-result .current {
font-weight: 'bold';
}