From: | Peter Eisentraut <peter(dot)eisentraut(at)2ndquadrant(dot)com> |
---|---|
To: | Bruce Momjian <bruce(at)momjian(dot)us>, Magnus Hagander <magnus(at)hagander(dot)net> |
Cc: | Robert Haas <robertmhaas(at)gmail(dot)com>, Fabien COELHO <coelho(at)cri(dot)ensmp(dot)fr>, PostgreSQL Developers <pgsql-hackers(at)postgresql(dot)org>, PostgreSQL www <pgsql-www(at)postgresql(dot)org> |
Subject: | Re: [HACKERS] Small issue in online devel documentation build |
Date: | 2017-04-12 23:19:53 |
Message-ID: | cfe46bf4-2636-8d70-6e95-50f4e0c6a7b5@2ndquadrant.com |
Views: | Raw Message | Whole Thread | Download mbox | Resend email |
Thread: | |
Lists: | pgsql-hackers pgsql-www |
On 4/12/17 09:50, Bruce Momjian wrote:
> On Wed, Apr 12, 2017 at 01:31:51PM +0200, Magnus Hagander wrote:
>> I think that only leaves the change to the javascript code that Bruce sent.
>> Let's see if we can figure out a way to do that one without requiring
>> javascript, but after that we have covered all listed issues I think?
>
> Well, we have been using JavaScript for years, so my patch only fixes
> the JavaScript we already have. Seems applying the fix now makes sense
> and then we can ponder other methods.
I have googled a bit. These two articles describe what I think is the
issue we are trying to address:
http://code.stephenmorley.org/html-and-css/fixing-browsers-broken-monospace-font-handling/
http://meyerweb.com/eric/thoughts/2010/02/12/fixed-monospace-sizing/
The recipe in the first one seems to work somewhat, but not quite as
well as the current javascript. (The recipe in the second article is
ultimately equivalent but more verbose.)
I tend to agree with Bruce that we could just fix this within the
current framework. But if we want to make a change, there is the
information.
--
Peter Eisentraut http://www.2ndQuadrant.com/
PostgreSQL Development, 24x7 Support, Remote DBA, Training & Services
From | Date | Subject | |
---|---|---|---|
Next Message | Peter Eisentraut | 2017-04-12 23:22:59 | Re: Foreign Join pushdowns not working properly for outer joins |
Previous Message | Robert Haas | 2017-04-12 22:59:32 | Re: pg_upgrade vs extension upgrades |
From | Date | Subject | |
---|---|---|---|
Next Message | Ashutosh Bapat | 2017-04-14 03:59:19 | Re: Please provide editor privileges for postgresql wiki |
Previous Message | Peter Eisentraut | 2017-04-12 22:32:55 | Re: [pgsql-www] Small issue in online devel documentation build |