Added Available tab to extensions UI.

1 files changed, 6 insertions, 3 deletions

diff --git a/style.css b/style.css
index 859c3933..dfef0dc5 100644
--- a/style.css
+++ b/style.css
@@ -532,16 +532,16 @@ img2maskimg, #img2maskimg > .h-60, #img2maskimg > .h-60 > div, #img2maskimg > .h
 

 /* Extensions */

 

-#extensions{

+#tab_extensions table{

     border-collapse: collapse;

 }

 

-#extensions td, #extensions th{

+#tab_extensions table td, #tab_extensions table th{

     border: 1px solid #ccc;

     padding: 0.25em 0.5em;

 }

 

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

+#tab_extensions table input[type="checkbox"]{

     margin-right: 0.5em;

 }

 

@@ -549,6 +549,9 @@ img2maskimg, #img2maskimg > .h-60, #img2maskimg > .h-60 > div, #img2maskimg > .h
     max-width: 16em;

 }

 

+#tab_extensions input[disabled="disabled"]{

+    opacity: 0.5;

+}

 

 /* 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.