Merge branch 'master' into gui_search

.gitignore

@@ -12,3 +12,4 @@ WixTools
 
 # TEMPORARY: ignore my test instance and metadata
 theseus_cli/foo
+

theseus_gui/src/layout/Sidebar.svelte

@@ -134,16 +134,12 @@
           font-size: 11px;
           line-height: 100%;
         }
+      }
 
       &__container {
         max-height: calc(100vh - 400px);
         overflow-y: auto;
-          mask-image: linear-gradient(
-            to bottom,
-            transparent,
-            hsla(0, 0%, 0%, 1) 5% 95%,
-            transparent
-          );
+        mask-image: linear-gradient(to bottom, transparent, hsla(0, 0%, 0%, 1) 5% 95%, transparent);
         scrollbar-width: none;
         padding: 8px 0;
         display: flex;
@@ -179,7 +175,6 @@
     :global(button) {
       width: 34px;
     }
-    }
 
     > :global(*) {
       margin-bottom: 24px;