Исправление Dred, 06.06.17 08:34 (текущая версия) :
Похоже на gruvbox, но это не он
Исходная версия Dred, 06.06.17 08:33:
Похоже на gruvbox