style(#46): 🎨 Ran prettier

src/Filter/filter.css

@@ -31,22 +31,22 @@
 
 /* Optional: “active mode” outline if you toggle a class via JS */
 #btnDoElevationControl.active,
-#doAcceptedFiltering.active{
+#doAcceptedFiltering.active {
   outline: 2px solid #7ba8ff;
   outline-offset: 1px;
 }
 
 /* ---------- Panels / moved containers ---------- */
 /* Keep Potree’s moved subtrees neat and full-width inside our panels */
-#elevation_list [id='materials.elevation_container']{
+#elevation_list [id='materials.elevation_container'] {
   width: 100%;
   box-sizing: border-box;
   padding: 6px 8px; /* small breathing room since we moved it out of Appearance */
 }
 
 /* Slight spacing inside our panel lists (under the button) */
 #elevation_list,
-#accepted_list_host{
+#accepted_list_host {
   display: block;
   padding: 4px 0;
 }
@@ -78,7 +78,7 @@
 /* ---------- Accordions / headers (light touch) ---------- */
 /* Don’t fight jQuery-UI’s theme. Just small spacing adjustments. */
 #menu_elevation + .pv-menu-list,
-#menu_accepted + .pv-menu-list{
+#menu_accepted + .pv-menu-list {
   padding-top: 6px;
 }
 

src/Filter/filter.js

@@ -1,10 +1,10 @@
 /**   Two Potree sidebar sections with buttons + panel bodies:
- *  
+ *
  *        • Elevation  → moves #materials.elevation_container into our Elevation body
- *                        Used for controlling the elevation gradient with a slider and altering between different gradient schemes 
+ *                        Used for controlling the elevation gradient with a slider and altering between different gradient schemes
  *        • Accepted   → custom UI fully defined here (no external module)
  *                        Used for indicating which points/surveys are accepted as the seabed and which are not
-*/
+ */
 const byId = (id) => document.getElementById(id)
 
 /**