Re: [pgadmin-hackers][pgaweb][Patch] Add style guide to pga website

2017-07-18 Thread Dave Page
Thanks, applied. On Tue, Jul 18, 2017 at 2:45 PM, Joao De Almeida Pereira < jdealmeidapere...@pivotal.io> wrote: > Hello Dave, > > We changed the name of the file and changed the import, this way it should > be able to import it correctly. > > Thanks > Sarah & Joao > > On Tue, Jul 18, 2017 at 8:2

Re: [pgadmin-hackers][pgaweb][Patch] Add style guide to pga website

2017-07-18 Thread Joao De Almeida Pereira
Hello Dave, We changed the name of the file and changed the import, this way it should be able to import it correctly. Thanks Sarah & Joao On Tue, Jul 18, 2017 at 8:20 AM, Dave Page wrote: > > > On Tue, Jul 18, 2017 at 1:15 PM, Robert Eckhardt > wrote: > >> Looks good. >> > > Thanks. I just n

Re: [pgadmin-hackers][pgaweb][Patch] Add style guide to pga website

2017-07-18 Thread Dave Page
On Tue, Jul 18, 2017 at 1:15 PM, Robert Eckhardt wrote: > Looks good. > Thanks. I just noticed though, that we're trying to link to github.css, and failing. Was that intended to be in the same directory as all the scss? > > I assumed American spelling, should we use proper English spelling? Ou

Re: [pgadmin-hackers][pgaweb][Patch] Add style guide to pga website

2017-07-18 Thread Robert Eckhardt
Looks good. I assumed American spelling, should we use proper English spelling? Our prodigious use of the 'z' (pronounced zee) definitely improves our scrabble scores. -- Rob On Tue, Jul 18, 2017 at 7:54 AM, Dave Page wrote: > > > On Mon, Jul 17, 2017 at 7:51 PM, Joao De Almeida Pereira < > jd

Re: [pgadmin-hackers][pgaweb][Patch] Add style guide to pga website

2017-07-18 Thread Dave Page
On Mon, Jul 17, 2017 at 7:51 PM, Joao De Almeida Pereira < jdealmeidapere...@pivotal.io> wrote: > Hello Hackers, > > With this patch we added the style guide to the current pgAdmin website. > It is not 100% migrated yet, but we already have the Alerts and colors. > > Thanks - applied with some min