This is the mail archive of the gcc-patches@gcc.gnu.org mailing list for the GCC project.


Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]
Other format: [Raw text]

Re: gcc.css colors


On 2017.02.01 at 11:48 +0100, Jakub Jelinek wrote:
> On Wed, Feb 01, 2017 at 11:45:14AM +0100, Markus Trippelsdorf wrote:
> > Some colors on e.g. https://gcc.gnu.org/gcc-7/changes.html are nearly
> > unreadable. So what about the following patch?
> > 
> > --- gcc_orig.css	2017-02-01 11:39:17.634017498 +0100
> > +++ gcc.css	2017-02-01 11:40:23.979244263 +0100
> > @@ -58,8 +58,8 @@
> >  }
> >  div.copyright p:nth-child(3) { margin-bottom: 0; }
> >  
> > -.boldcyan    { font-weight:bold; color:cyan; }
> > -.boldlime    { font-weight:bold; color:lime; }
> > +.boldcyan    { font-weight:bold; color:#25a9a9; }
> > +.boldlime    { font-weight:bold; color:green;}
> >  .boldmagenta { font-weight:bold; color:magenta; }
> >  .boldred     { font-weight:bold; color:red; }
> >  .boldblue    { font-weight:bold; color:blue; }
> 
> I think the intent is that they actually match closely what gcc/libasan emits
> (that of course depends on the exact terminal setting).
> So are your colors closer to what gcc/libasan print or not?

As you said, the exact terminal colors are user definable.
But yes, the change above bring them closer to what I see in my
terminal. 
And readability is much improved by the patch IMHO.

-- 
Markus


Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]