On 2016-09-03 05:09:46 +0300, Alexander Gromnitsky wrote: > The patch is nothing radical, it just adds a simple media query.
I wonder whether the choice should be left to the user (I mean that it should really be a browser configuration option, just like the default font size). Otherwise, perhaps something useful could be put in the margins when the viewport is large enough, like the table of contents. Some web sites do this. -- Vincent Lefèvre <[email protected]> - Web: <https://www.vinc17.net/> 100% accessible validated (X)HTML - Blog: <https://www.vinc17.net/blog/> Work: CR INRIA - computer arithmetic / AriC project (LIP, ENS-Lyon)
