variables linting

style/variables.css

@@ -361,6 +361,7 @@ all of MD as it is not optimized for dense, information rich UIs.
   --jp-collaborator-color7: #85b1e0;
 
   /* File or activity icons and switch semantic variables */
+
   --jp-jupyter-icon-color: #de97f2;
   --jp-notebook-icon-color: #de97f2;
   --jp-json-icon-color: #dda2f6;
@@ -378,22 +379,21 @@ all of MD as it is not optimized for dense, information rich UIs.
   /* Sidebar-related styles */
 
   --jp-sidebar-min-width: 180px;
-
   --jp-search-toggle-off-opacity: 0.6;
   --jp-search-toggle-hover-opacity: 0.8;
   --jp-search-toggle-on-opacity: 1;
   --jp-search-selected-match-background-color: #dda2f6;
   --jp-search-selected-match-color: black;
   --jp-search-unselected-match-background-color: #93ddfb;
   --jp-search-unselected-match-color: white;
-
   --jp-scrollbar-background-color: #343d46;
-  --jp-scrollbar-thumb-color: 88, 96, 97; /* need to specify thumb color as an RGB triplet */
-  --jp-scrollbar-endpad: 3px; /* the minimum gap between the thumb and the ends of a scrollbar */
-  --jp-scrollbar-thumb-margin: 3.5px; /* the space in between the sides of the thumb and the track */
-  --jp-scrollbar-thumb-radius: 9px; /* set to a large-ish value for rounded endcaps on the thumb */
+  --jp-scrollbar-thumb-color: 88, 96, 97;
+  --jp-scrollbar-endpad: 3px;
+  --jp-scrollbar-thumb-margin: 3.5px;
+  --jp-scrollbar-thumb-radius: 9px;
 
   /* Icon colors that work well with light or dark backgrounds */
+
   --jp-icon-contrast-color0: #dda2f6;
   --jp-icon-contrast-color1: #93ddfb;
   --jp-icon-contrast-color2: #9aefea;