Heavy font for bash prompt.