add fade-in to modal, add --color-dialog-backdrop

Author: silverwind

web_src/css/base.css

@@ -248,6 +248,7 @@
   --color-accent: var(--color-primary-light-1);
   --color-small-accent: var(--color-primary-light-6);
   --color-active-line: #fffbdd;
+  --color-dialog-backdrop: #080808c0;
   accent-color: var(--color-accent);
   color-scheme: light;
 }
@@ -1196,6 +1197,15 @@ img.ui.avatar,
   box-shadow: none;
 }
 
+.ui.modal {
+  animation-name: fadein;
+  animation-duration: 300ms;
+}
+
+.ui.dimmer {
+  background: var(--color-dialog-backdrop);
+}
+
 /* Override semantic selector '.ui.menu:not(.vertical) .item > .button' */
 /* This fixes the commit graph button on the commits page */
 /* modal svg icons, copied from fomantic except width and height */

web_src/css/themes/theme-arc-green.css

@@ -233,6 +233,7 @@
   --color-accent: var(--color-primary-light-1);
   --color-small-accent: var(--color-primary-light-5);
   --color-active-line: #534d1b;
+  --color-dialog-backdrop: #080808c0;
   accent-color: var(--color-accent);
   color-scheme: dark;
 }