+
+.b_blue_EB {
+ background-color:#E8E8FF;
+}
+
+.b_orange_EB {
+ background-color:#FFEBB1;
+}
+
+.b_red_EB {
+ background-color:#FFE2E2;
+}
+
+/* background colors (equalized to gray 48) *********************************/
+
+.b_gray_48 {
+ background-color:#484848;
+}