Hi Markus,
On Wed, 1 Feb 2017, 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?
>
> -.boldcyan{ font-weight:bold; color:cyan; }
> -.boldlime{ font-weight:bold; color:lime; }
> +.boldcyan
On 2017.02.01 at 12:41 +0100, Jakub Jelinek wrote:
> Hi!
>
> On Wed, Feb 01, 2017 at 12:27:05PM +0100, Markus Trippelsdorf wrote:
> > > I've tried various color settings of gnome-terminal (both white on black
> > > and
> > > black on white plus the different color sets) and all of them except
>
On Wed, Feb 01, 2017 at 12:33:30PM +0100, Markus Trippelsdorf wrote:
> > E.g. in changes.html, the Asan spans with boldlime are using
> > \033[1m\033[32m
> > in libsanitizer, and the note color in gcc by default is
> > \033[1m\033[36m
> >
> > I've tried various color settings of gnome-terminal (bo
On 2017.02.01 at 12:14 +0100, Jakub Jelinek wrote:
> On Wed, Feb 01, 2017 at 11:55:53AM +0100, Markus Trippelsdorf wrote:
> > 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
On Wed, Feb 01, 2017 at 11:55:53AM +0100, Markus Trippelsdorf wrote:
> 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 ab
On Wed, 1 Feb 2017, Markus Trippelsdorf wrote:
Some colors on e.g. https://gcc.gnu.org/gcc-7/changes.html are nearly
unreadable.
I recently noticed that gcc's website has an extremely strict Content
Security Policy, which makes it harder to customize its appearance using
for instance greasem
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.css2017-02-01 11:39:17.634
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
