Add resizing to png images

Author: Lucas Leblanc

scaladoc/resources/dotty_res/styles/theme/components/button/icon-button.css

@@ -6,6 +6,8 @@
   padding: 0;
   height: 16px;
   width: 16px;
+  position: relative;
+  overflow: hidden;
 }
 
 .icon-button:hover {
@@ -539,18 +541,30 @@
   display: none;
 }
 
-.icon-button.custom::after{
-  content: var(--bgimage);
-  max-width: fit-content;
+.icon-button.custom::after {
+  content: "";
+  background-image: var(--bgimage);
+  background-repeat: no-repeat;
+  background-position: center;
+  background-size: contain; /* Adjust this value to control the size */
+  display: block;
+  max-width: 100%;
+  max-height: 100%;
 }
 
 .theme-dark .icon-button.custom-dark{
   display: unset;
 }
 
 .theme-dark .icon-button.custom-dark::after{
-  content: var(--bgimage-dark);
-  max-width: fit-content;
+  content: "";
+  background-image: var(--bgimage-dark);
+  background-repeat: no-repeat;
+  background-position: center;
+  background-size: contain; /* Adjust this value to control the size */
+  display: block;
+  max-width: 100%;
+  max-height: 100%;
 }
 
 .theme-dark .icon-button.custom{