Are you planing to change blockquote class="SVInsetFlow" to introduce the
gap? I think that won't quite work because you don't want to introduce
additional space in the currently correct docs. E.g.,
@defproc[(f) #f]{
hello
}
produces
[image: Screen Shot 2019-01-14 at 01.47.25.png]
which is already correct.
On Monday, January 14, 2019 at 1:26:10 AM UTC-8, spdegabrielle wrote:
>
> Hi,
>
> I see what you mean, I’m guessing this is inadvertent and has probably
> been introduced by changes to the style sheet after the Continue tutorial
> was finalised.
>
> I can submit PR to change the spacing to try introduce a gap between the
> previous function signature and the text if that sounds like a good
> solution to you & your friend?
>
> Kind regards
>
> Stephen
>
>
> https://github.com/racket/web-server/blob/master/web-server-doc/web-server/scribblings/tutorial/continue.scrbl
>
>
>
>
>
>
> On Mon, 14 Jan 2019 at 07:51, Sorawee Porncharoenwase <sorawe...@gmail.com
> <javascript:>> wrote:
>
>> My friend found this in the web-server tutorial (
>> https://docs.racket-lang.org/continue/). He said it is very confusing
>> because the spacing suggests that "To extract a single web form ..." is a
>> description of request-bindings, but in fact it is not.
>>
>> [image: Screen Shot 2019-01-13 at 23.38.32.png]
>>
>> This seems to be a known and expected output, however. According to
>> https://docs.racket-lang.org/demo-manual-m2/Definition_Blocks.html:
>>
>> Since no explanation flow is attached to the above defform use, there’s
>>> no SIntrapara block around the table (just a <p>).
>>>
>>
>> The question is, when is this ever a desired output? It seems objectively
>> ugly and confusing in all use cases.
>>
>> --
>> You received this message because you are subscribed to the Google Groups
>> "Racket Users" group.
>> To unsubscribe from this group and stop receiving emails from it, send an
>> email to racket-users...@googlegroups.com <javascript:>.
>> For more options, visit https://groups.google.com/d/optout.
>>
> --
> ----
>
--
You received this message because you are subscribed to the Google Groups
"Racket Users" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to racket-users+unsubscr...@googlegroups.com.
For more options, visit https://groups.google.com/d/optout.
