Fix serial editor theme. (#517)

2018-04-13 19:59:10 -07:00
1 parent 2cbb3e05b0
commit 10cc883ef7
@@ -189,4 +189,12 @@
   Tutorial
 --------------------*/

-@tutorialSegmentBackground: #f2f2f2;
+@tutorialSegmentBackground: #f2f2f2;
+
+/*-------------------
+   Serial
+--------------------*/
+
+@serialBackgroundColor: #fff;
+@serialGraphBackground: #F2F2F2;
+@serialConsoleBackground: @serialGraphBackground;