[julia-users] Re: is the highlight color in docs selectable

2015-07-20 Thread Jeffrey Sarnoff
responding to where does this occur anything that is highlighted as for example, the number 1 on: http://julia.readthedocs.org/en/latest/manual/integers-and-floating-point-numbers/ On Sunday, July 19, 2015 at 10:00:56 PM UTC-4, ele...@gmail.com wrote: The human eye has two vision systems,

[julia-users] Re: is the highlight color in docs selectable

2015-07-19 Thread andrew cooke
i don't know anything about this, so forgive me if this is hopelessly naive. but wouldn't that only be a problem if there were also green bits? the docs don't seem to have much that is green, so there isn't much that will get confused with red. andrew On Friday, 17 July 2015 21:25:55

Re: [julia-users] Re: is the highlight color in docs selectable

2015-07-17 Thread Kevin Squire
Can you point out the specific pages/types you're talking about? I see that strings are in red--is that it? Kevin On Fri, Jul 17, 2015 at 5:25 PM, ele...@gmail.com wrote: Is also a poor choice for the ~10% of males with red/green colour deficiency. On Saturday, July 18, 2015 at 7:19:20 AM

[julia-users] Re: is the highlight color in docs selectable

2015-07-17 Thread elextr
Is also a poor choice for the ~10% of males with red/green colour deficiency. On Saturday, July 18, 2015 at 7:19:20 AM UTC+10, Jeffrey Sarnoff wrote: Reading docs peppered with red is bit headache inducing for me. Is there support for a less aggressive color?