Merge changes from dev

1 files changed, 18 insertions, 2 deletions

diff --git a/style.css b/style.css
index 70d80d6a..aaafaa9d 100644
--- a/style.css
+++ b/style.css
@@ -1,6 +1,6 @@
 /* temporary fix to load default gradio font in frontend instead of backend */

 

-@import url('https://fonts.googleapis.com/css2?family=Source+Sans+Pro:wght@400;600&display=swap');

+@import url('webui-assets/css/sourcesanspro.css');

 

 

 /* temporary fix to hide gradio crop tool until it's fixed https://github.com/gradio-app/gradio/issues/3810 */

@@ -679,7 +679,7 @@ table.popup-table .link{
     transition: 0.2s ease background-color;

 }

 .modalControls:hover {

-    background-color:rgba(0,0,0,0.9);

+    background-color:rgba(0,0,0, var(--sd-webui-modal-lightbox-toolbar-opacity));

 }

 .modalClose {

     margin-left: auto;

@@ -749,6 +749,22 @@ table.popup-table .link{
     display: none;

 }

 

+@media (pointer: fine) {

+    .modalPrev:hover,

+    .modalNext:hover,

+    .modalControls:hover ~ .modalPrev,

+    .modalControls:hover ~ .modalNext,

+    .modalControls:hover .cursor {

+        opacity: 1;

+    }

+

+    .modalPrev,

+    .modalNext,

+    .modalControls .cursor {

+        opacity: var(--sd-webui-modal-lightbox-icon-opacity);

+    }

+}

+

 /* context menu (ie for the generate button) */

 

 #context-menu{