arteymix

class ErrorHandler {
    public signal void publish (Error err);
    private static ErrorHandler _default;
    public static ErrorHandler get_default () {
      if (_default == null) {
              _default = new ErrorHandler ();
      }
      return _default;
    }
}

config.json

{
  "vars": {
    "@gray-base": "#000",
    "@gray-darker": "lighten(@gray-base, 13.5%)",
    "@gray-dark": "lighten(@gray-base, 20%)",
    "@gray": "lighten(@gray-base, 33.5%)",
    "@gray-light": "lighten(@gray-base, 46.7%)",
    "@gray-lighter": "lighten(@gray-base, 93.5%)",
    "@brand-primary": "#428bca",
    "@brand-success": "#5cb85c",