Guido van Rossum guido at python.org
Wed Mar 21 19:46:36 CET 2012

• Previous message: [Python-Dev] Playing with a new theme for the docs
• Next message: [Python-Dev] Playing with a new theme for the docs
• Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

---

On Wed, Mar 21, 2012 at 11:40 AM, Ned Batchelder <ned at nedbatchelder.com> wrote:
> You can use Ctrl-+ to increase the size of the text, and modern browsers
> remember that for the next time you visit the site.

That doesn't mean the web designer shouldn't think at least twice
before specifying a smaller font than the browser default.

-- 
--Guido van Rossum (python.org/~guido)

---

• Previous message: [Python-Dev] Playing with a new theme for the docs
• Next message: [Python-Dev] Playing with a new theme for the docs
• Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

---

More information about the Python-Dev mailing list