More layout tweaks

This commit is contained in:
Pieter Vander Vennet 2024-06-18 17:55:47 +02:00
parent 8081f8da04
commit 6e276291f0
10 changed files with 55 additions and 15 deletions

View file

@ -22,6 +22,21 @@
width: unset;
}
.mapping-icon-small-width {
width: 1.5rem;
}
.mapping-icon-medium-width {
width: 3rem;
}
.mapping-icon-large-width {
width: 5rem;
}
.mapping-icon-small {
/* A mapping icon type */
width: 1.5rem;