fixing spacing in definition highlighting
fixing spacing in definition highlighting

holmescn/chibi-scheme,holmescn/chibi-scheme,norton/chibi-scheme,norton/chibi-scheme,holmescn/chibi-scheme,holmescn/chibi-scheme,norton/chibi-scheme,norton/chibi-scheme,norton/chibi-scheme,holmescn/chibi-scheme,norton/chibi-scheme