use bash pygment to highlight prompt in command examples
rebuild