new extension manager

2026-09-17 16:24:33 +02:00 · 2023-05-10 15:12:02 -04:00
parent aad2a53379
commit c5df80197e
27 changed files with 2959 additions and 2996 deletions
@@ -505,11 +505,25 @@ div#extras_scale_to_tab div.form{
    font-size: 95%;
 }

-#available_extensions .info{
+#extensions .name{
+  font-size: 1.1rem
+}
+
+#extensions .type{
+  opacity: 0.5;
+  font-size: 90%;
+  text-align: center;
+}
+
+#extensions .version{
+  opacity: 0.7;
+}
+
+#extensions .info{
    margin: 0;
 }

-#available_extensions .date_added{
+#extensions .date{
    opacity: 0.85;
    font-size: 90%;
 }