How do you set a font to use a bold version?

You can override this (and almost any other bit of styling) using a custom theme, e.g.

.ace_content {
    font-weight: bold;
}

(if your font offers a larger number of styles like “semi-bold”/“oblique”, you can use 100..900 instead of bold)