anchor.diff:        'white'   : '#586e75'
       };
   
  -    backgroundColor = '#fdf6e3';
  +    foregroundColor = colors['white'];
  +    backgroundColor = colors['black'];
     }
   }
positive.code: class Theme {
    String name;
    Map colors;
    String backgroundColor;
  
    // Manually calculated via trial-and-error.
    double charWidth = 299 / 45;
  
negative.code:       'white'   : '#93a1a1'
      };
  
      foregroundColor = colors['white'];
      backgroundColor = colors['black'];
    }
  
    Theme.SolarizedLight() {
  