As the issue title speaks.
The .dark-theme .query-editor-container pre has font-family set to inherit, where the .dark-theme .query-editor-container inherits font-family: 'Helvetica Neue', 'Helvetica', Arial, sans-serif; from body. So was the .dark-theme .query-result-container pre.
Change the font-family of .dark-theme .query-editor-container pre and .dark-theme .query-result-container pre to monospace.
@balthild I personally prefer it with the current font. I could create another theme with monospaced fonts.
That is the intended behavior.
Alright. I have thought it's done accidentally.
No. But there could be a theme for that.
For those checking, you can set the font family for the editor in the settings "theme.editorFontFamily": "monospace, san-serif, Arial"
Most helpful comment
For those checking, you can set the font family for the editor in the settings
"theme.editorFontFamily": "monospace, san-serif, Arial"