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 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?

	Jakub


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