Merge branch 'master' into develop

This commit is contained in:
Pieter Vander Vennet 2024-08-23 11:44:46 +02:00
commit fbf5ce6fec
26 changed files with 1225 additions and 847 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;
}