Re: [pgAdmin4][Patch] Font sizes to 13 px and not bolded

Oh whoa I didn't realize they became all wonky. It also looks like headers
in the statistics table is still bold, so perhaps there's something missing
in our patch. We'll take a look.

On Thu, Jul 20, 2017 at 4:01 PM Dave Page <dpage(at)pgadmin(dot)org> wrote:

> Hi
>
> On Thu, Jul 20, 2017 at 7:55 PM, Shirley Wang <swang(at)pivotal(dot)io> wrote:
>
>> Hi
>>
>> Attached is a patch for changing the font sizes of dialog, table, and
>> graph headers to 13 px and unbold them.
>>
>> Let us know your thoughts.
>>
>>
> I think this is heading in the right direction, but it's not quite there
> yet. As you can see in the attached screenshot the table headers for
> Statistics, Dependencies and Dependents, and the subnode headers and column
> headers still need work. I think this patch makes that even more obvious
> than it is now, so I'm not going to apply it until the other items can be
> addressed as well.
>
> Thanks!
>
> --
> Dave Page
> Blog: http://pgsnake.blogspot.com
> Twitter: @pgsnake
>
> EnterpriseDB UK: http://www.enterprisedb.com
> The Enterprise PostgreSQL Company
>