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

jeremypw wants to merge 4 commits intomasterelementary/code:masterfrom

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