A Ghost theme for programmers