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

jeremypw wants to merge 8 commits into

masterelementary/code:masterfrom

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