Re: [pgadmin-hackers] [Design update] Style guide for pgAdmin4

I'm not aware of a change to that font. The only commits I can find that reference either Menlo or monospace are these:

commit e2cbaaef7124b41be91bf34d704f0d3f61cf7b0c

Author: Matthew Kleiman <

 

@pivotal.io>

Date:   Thu Jul 6 13:08:29 2017 +0100

    UI tweaks for the query history.

commit 7f5541205936e32b08a2183f00173a0c64019c8e

Author: Joao Pedro De Almeida Pereira <jdealmeidapereira@pivotal.io>

Date:   Tue Jun 27 10:55:57 2017 -0400

    Overhaul the query history tab to allow browsing of the history and full query text. Fixes #2282

    

    Patch by Joao and the team at Pivotal.

commit 1208206bc0eca2d135469258e8a209b983e668be

Author: Shruti B Iyer <siyer@pivotal.io>

Date:   Tue Jun 13 09:50:41 2017 +0100

    Initial re-vamp of the History tab. 

Oh ok, it doesn't seem like the overwrites were intentional. I find Menlo an easier typeface to read and scan than monospace, but I'm hesitant to change it especially if there's no pain associated with Monospace. I'll send out a message on the mailing list and see what the feedback is on current typeface used. 

On another note, headers for tables (for example under statistics tab) are currently bolded and 12px. Headers for dialogs are 13px and bold. To keep it consistent with other typography in the app, both should be 13px and not bolded. By updating them, they will be consistent with the editor title in the query tool which is already 13px and not bolded.

Current:

Update (these are all 13px not bolded)

Editor title in query tool (currently 13px and not bolded)