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