Styling tweaks

This commit is contained in:
Pieter Vander Vennet 2022-07-10 17:48:42 +02:00
parent 734947ae61
commit f79730ac0f
2 changed files with 34 additions and 1 deletions

View file

@ -627,6 +627,21 @@ input {
width: unset;
}
.mapping-icon-medium-height {
/* A mapping icon type */
height: 3rem;
margin-right: 0.5rem;
width: unset;
}
.mapping-icon-large-height {
/* A mapping icon type */
height: 5rem;
margin-right: 0.5rem;
width: unset;
}
.mapping-icon-small {
/* A mapping icon type */
width: 1.5rem;