#17089: Color of fonts used in code
-------------------------------------+-------------------------------------
     Reporter:  colonelcoleslaw@…    |                    Owner:  nobody
         Type:                       |                   Status:  closed
  Cleanup/optimization               |                  Version:  1.3
    Component:  Documentation        |               Resolution:  wontfix
     Severity:  Normal               |             Triage Stage:
     Keywords:                       |  Someday/Maybe
    Has patch:  0                    |      Needs documentation:  0
  Needs tests:  0                    |  Patch needs improvement:  0
Easy pickings:  0                    |                    UI/UX:  1
-------------------------------------+-------------------------------------
Changes (by idangazit):

 * status:  new => closed
 * resolution:   => wontfix
 * stage:  Design decision needed => Someday/Maybe


Comment:

 I feel like this is a bikeshed, and the actual problem is not so grave.
 None of the existing solutions (mine included) is a significant
 improvement over the original, and I'd rather see some thought applied
 towards revamping the sphinx theme of the docs—a part of which will be
 giving some love to the styling of code blocks in the context of the new
 style.

 Thanks all for your thoughts, I've bookmarked this ticket for when that
 day comes. If you'd like to see this move forward, the next step is a
 concrete proposal which outlines the larger problems with / potential
 improvements to the existing docs. It doesn't need to offer solutions, but
 it does need to scope out the issues we should tackle.

-- 
Ticket URL: <https://code.djangoproject.com/ticket/17089#comment:8>
Django <https://code.djangoproject.com/>
The Web framework for perfectionists with deadlines.

-- 
You received this message because you are subscribed to the Google Groups 
"Django updates" group.
To post to this group, send email to [email protected].
To unsubscribe from this group, send email to 
[email protected].
For more options, visit this group at 
http://groups.google.com/group/django-updates?hl=en.

Reply via email to