Tick Reduction

[Lars Ingebrigtsen <larsi@gnus.org>]

[-- Attachment #1: Type: text/plain, Size: 126 bytes --]

I'm wondering whether we should reduce the number of ‘’ marks in the
*Help* buffer.  Here's what it looks like today:


[-- Attachment #2: Type: image/png, Size: 108503 bytes --]

[-- Attachment #3: Type: text/plain, Size: 156 bytes --]


The variable/function symbols are links and stand out on their own, and
the keys also have their own distinct faces.  Without them, this would
look like:


[-- Attachment #4: Type: image/png, Size: 108017 bytes --]

[-- Attachment #5: Type: text/plain, Size: 235 bytes --]


I dunno.  We could skip the tick removal on displays that don't support
the relevant faces, of course.

It looks calmer without the ticks.

And, of course, we could also consider using proportional fonts for the
non-code prose bits:


[-- Attachment #6: Type: image/png, Size: 111515 bytes --]

[-- Attachment #7: Type: text/plain, Size: 172 bytes --]


This makes the keys and the symbols stand out more clearly again.

-- 
(domestic pets only, the antidote for overdose, milk.)
   bloggy blog: http://lars.ingebrigtsen.no