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
e core of the issue. I guess most users use a dark
(black) background in the terminal. And on a black background the
gcc.css colors are perfectly readable. But because we use a white
background on the website, the colors have way too little contrast and
become hard to read.
--
Markus
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
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.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
