Re: [racket-users] Mobile Friendly HTML in Scribble?

2017-01-05 Thread Neil Van Dyke
Just my own current thinking, on laying out paragraph-heavy text, like Racket documentation... For laying out (or typesetting) paragraphs of text single-column -- whether it's in a paper book or on-screen -- note that we have a maximum column width that the human eye can scan well, for

Re: [racket-users] Mobile Friendly HTML in Scribble?

2016-12-28 Thread Matthew Butterick
> On Dec 28, 2016, at 6:06 AM, Michael Rossi wrote: > > couldn't you simply add all three code layout options and then add a > commandline switch in scribble when generating html? I.e. by default, do > nothing with the code. Otherwise, add switches to either wrap

Re: [racket-users] Mobile Friendly HTML in Scribble?

2016-12-28 Thread Michael Rossi
On Wednesday, December 28, 2016 at 12:00:24 AM UTC-6, Matthew Butterick wrote: > Google's policy is coercive and awful. But even if it weren't, the practical > problem is that code samples don't shrink well because they can't be > line-wrapped. [1] > > > [1] 

Re: [racket-users] Mobile Friendly HTML in Scribble?

2016-12-27 Thread Matthew Butterick
> On Dec 27, 2016, at 2:23 PM, Philip McGrath wrote: > However, when I just tried to simulate a smartphone viewport with the Chrome > developer tools, I got the "non-mobile friendly" behavior Michael described. > (I don't have my phone on me right now, so I haven't

Re: [racket-users] Mobile Friendly HTML in Scribble?

2016-12-27 Thread Philip McGrath
Has something changed recently in the CSS for the Racket documentation? I thought that formerly the phone layout was equivalent to what happens if you manually resize a desktop/laptop browser window to be quite narrow: the sidebar / table of contents goes away and a navigation bar appears at the

[racket-users] Mobile Friendly HTML in Scribble?

2016-12-27 Thread Michael Rossi
Hi all, I asked this question over at stackoverflow and this seemed to be the place to ask. I was wondering if there is a built in way to create mobile friendly HTML in Scribble? Given Google's current mobile friendly policy