SIGN IN SIGN UP

Issue #14876: Use user-selected font for highlight configuration.

Patch by Roger Serwy.
T
Terry Jan Reedy committed
809309a4822124f46dc98514ccdf818564215f30
Parent: ffa4b2c