Don't define our own monospace-font-name and document-font-name