Merge develop

This commit is contained in:
Pieter Vander Vennet 2024-08-26 13:18:39 +02:00
commit 1378c1a779
372 changed files with 26005 additions and 20082 deletions

View file

@ -39,10 +39,10 @@
.mapping-icon-small {
/* A mapping icon type */
width: 1.5rem;
width: 2rem;
height: fit-content;
max-height: 1.5rem;
max-height: 2rem;
margin-right: 0.5rem;
}