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