Josh Marshall bca7051a62 Fix bold text issue ...

The default text style was not being set back to normal so terminal output was rendering bold, e.g. for an ls command

2018-05-18 11:52:35 +10:00

..

candy.theme.bash

Fix bold text issue

2018-05-18 11:52:35 +10:00