Re: Variable pitch mode line

[Po Lu]

Juri Linkov <juri@linkov.net> writes:

> Assuming no styles are used that could hide content, it would be much
> simpler and fast just to strip all HTML tags from the HTML file, e.g.

>   <p>For information on extending Emacs,
>   see <a href="elisp/index.html#Top">Emacs Lisp</a> in <cite>The
>   Emacs Lisp Reference Manual</cite>.</p>

> will become

>   For information on extending Emacs,
>   see Emacs Lisp in The
>   Emacs Lisp Reference Manual.

> where you can search for "see Emacs Lisp".

What about "The Emacs Lisp Reference Manual"?