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
