Merge pull request #1 from martinRenou/collab

Add colors for the new collaborative mode

Author: martinRenou

style/variables.css

@@ -388,6 +388,16 @@ all of MD as it is not optimized for dense, information rich UIs.
   --jp-mirror-editor-error-color: var(--jp-day-red);
   --jp-mirror-editor-hr-color: var(--jp-day-blue);
 
+  /* User colors */
+
+  --jp-collaborator-color1: #ffad8e;
+  --jp-collaborator-color2: #dac83d;
+  --jp-collaborator-color3: #72dd76;
+  --jp-collaborator-color4: #00e4d0;
+  --jp-collaborator-color5: #45d4ff;
+  --jp-collaborator-color6: #e2b1ff;
+  --jp-collaborator-color7: #ff9de6;
+
   /* Vega extension styles */
 
   --jp-vega-background: var(--md-grey-400);