2013-07-19 1523: changed inline_code_color to green