add initial version of the extensions tab

fix broken Restart Gradio button

1 files changed, 21 insertions, 1 deletions

diff --git a/style.css b/style.css
index 8b2211b1..859c3933 100644
--- a/style.css
+++ b/style.css
@@ -530,6 +530,26 @@ img2maskimg, #img2maskimg > .h-60, #img2maskimg > .h-60 > div, #img2maskimg > .h
     min-height: 480px !important;

 }

 

+/* Extensions */

+

+#extensions{

+    border-collapse: collapse;

+}

+

+#extensions td, #extensions th{

+    border: 1px solid #ccc;

+    padding: 0.25em 0.5em;

+}

+

+#extensions input[type="checkbox"]{

+    margin-right: 0.5em;

+}

+

+#tab_extensions button{

+    max-width: 16em;

+}

+

+

 /* The following handles localization for right-to-left (RTL) languages like Arabic.

 The rtl media type will only be activated by the logic in javascript/localization.js.

 If you change anything above, you need to make sure it is RTL compliant by just running

@@ -607,4 +627,4 @@ Then, you will need to add the RTL counterpart only if needed in the rtl section
         right: unset;

         left: 0.5em;

     }

-}

+}
\ No newline at end of file