On Fri, Apr 14, 2017 at 11:25:48AM -0400, Peter Eisentraut wrote: > On 4/14/17 01:49, Noah Misch wrote: > > On Wed, Apr 05, 2017 at 01:43:42PM -0400, Peter Eisentraut wrote: > >> On 4/5/17 02:56, Noah Misch wrote: > >>> On Thu, Mar 23, 2017 at 11:21:39PM -0400, Peter Eisentraut wrote: > >>>> I think the fix belongs into the web site CSS, so there is nothing to > >>>> commit into PostgreSQL here. I will close the commit fest entry, but I > >>>> have added a section to the open items list so we keep track of it. > >>>> (https://wiki.postgresql.org/wiki/PostgreSQL_10_Open_Items#Documentation_tool_chain) > >>> > >>> [Action required within three days. This is a generic notification.] > >> > >> I will work on this next week. I believe I will be able to provide a > >> patch for the web site CSS by April 12, but ultimate success will likely > >> depend on the collaboration of the web team. > > > > This PostgreSQL 10 open item is past due for your status update. Kindly > > send > > a status update within 24 hours, and include a date for your subsequent > > status > > update. Refer to the policy on open item ownership: > > https://www.postgresql.org/message-id/20170404140717.GA2675809%40tornado.leadboat.com > > A patch for the web site CSS has been proposed but it is not getting the > same urgent attention. I will report back by Tuesday.
Uh, unless I am missing something, I think it has been applied to pgweb, specifically on April 12: https://github.com/postgres/pgweb/commits/master and this April 12 commit fixed the heading color: https://github.com/postgres/pgweb/commit/c513457da76a4d864f706c21312d3def1fc8f8c8 I think the only open issue is the JavaScript CSS font fix that has a posted patch here: https://www.postgresql.org/message-id/20170408015201.ga18...@momjian.us -- Bruce Momjian <br...@momjian.us> http://momjian.us EnterpriseDB http://enterprisedb.com + As you are, so once was I. As I am, so you will be. + + Ancient Roman grave inscription + -- Sent via pgsql-hackers mailing list (pgsql-hackers@postgresql.org) To make changes to your subscription: http://www.postgresql.org/mailpref/pgsql-hackers