+@background-color-base: #fff;
+@background-color-primary: #eaf3ff;
+@color-base--inverted: #fff;
+
+// Colors not on WikimediaUI color palette
+@light-gray: #dee0e3;
+@light-green: #ccdecc;
+
// Highlight color definitions
@highlight-none: #fff;
@highlight-c1: #36c;
@highlight-c3: #fc3;
@highlight-c4: #ff6d22;
@highlight-c5: #d33;
+@highlight-bluedot: #1d4aad; // Simulates the 'known' browser <li> blue dot
+@highlight-grey: #54595d; // The color of full dots on Watchlist when highlight is enabled
// Muted state
@muted-opacity: 0.5;