https://ksfboa.com/tech/jacki/2-ways-to-change-registry-editor-font-in-windows-10.html