Cleaning up extra colors.

src/default-theme/variables.less

@@ -20,29 +20,26 @@
   --jp-ui-fontSize0: calc(var(--jp-ui-fontSize1)/var(--jp-ui-font-scale-factor));
   --jp-ui-fontSize1: 13px;
   --jp-ui-fontSize2: calc(var(--jp-ui-fontSize1)*var(--jp-ui-font-scale-factor));
-  --jp-ui-fontSize3: calc(var(--jp-ui-fontSize1)*var(--jp-ui-font-scale-factor));
+  --jp-ui-fontSize3: calc(var(--jp-ui-fontSize2)*var(--jp-ui-font-scale-factor));
   --jp-ui-icon-fontSize: 14px;
 
   --jp-ui-font-color0: black;
   --jp-ui-font-color1: var(--md-grey-800);
   --jp-ui-font-color2: var(--md-grey-700);
   --jp-ui-font-color3: var(--md-grey-500);
+  
+  // Use these against the brand/accent/warn/error colors
   --jp-inverse-ui-font-color0: white;
   --jp-inverse-ui-font-color1: white;
   --jp-inverse-ui-font-color2: var(--md-grey-50);
   --jp-inverse-ui-font-color3: var(--md-grey-100);
 
   // Content Fonts
-
   --jp-content-fontSize: 14px;
   --jp-content-font-color0: black;
   --jp-content-font-color1: black;
   --jp-content-font-color2: var(--md-grey-700);
   --jp-content-font-color3: var(--md-grey-500);
-  --jp-inverse-content-font-color0: white;
-  --jp-inverse-content-font-color1: white;
-  --jp-inverse-content-font-color2: var(--md-grey-50);
-  --jp-inverse-content-font-color3: var(--md-grey-100);
 
   // Layout
 
@@ -57,9 +54,20 @@
   --jp-brand-color1: var(--md-blue-500);
   --jp-brand-color2: var(--md-blue-300);
   --jp-brand-color3: var(--md-blue-100);
+  --jp-brand-font-color: white;
+
   --jp-accent-color0: var(--md-orange-700);
   --jp-accent-color1: var(--md-orange-500);
   --jp-accent-color2: var(--md-orange-300);
   --jp-accent-color3: var(--md-orange-100);
+  --jp-accent-font-color: white;
+
+
+  // State colors (warn, error, success, info)
+
+  --jp-warn-color: var(--md-orange-500);
+  --jp-error-color: var(--md-red-500);
+  --jp-success-color: var(--md-green-500);
+  --jp-info-color: var(var(--jp-brand-color1));
 
 }