style fix of bash syntax highlighting for print
Reflected master updates to gh-pages