changed to tomorrow-night-eighties code highlighting