Option to use bold font with high-contrast theme#1678

jeremypw wants to merge 3 commits intomasterelementary/code:masterfrom

jeremypw/embolden-optionelementary/code:jeremypw/embolden-optionCopy head branch name to clipboard