[plt-dev] scribble html formatting

On Mar  6, Matthew Flatt wrote:
> At Fri, 6 Mar 2009 17:11:45 -0500, Eli Barzilay wrote:
> > It would be nice to have this render as:
> > 
> >   foo: some contract
> >   bar: this text is the contract
> >        for bar, not for foo
> >   baz: some other contract
> > 
> > instead.
> 
> `defproc' does render the latter way, because it uses a CSS class to
> turn on top alignment (".argcontract td" in "scribble.css"), right?

Ugh, you're right -- seems that this is somehow rendered wrong on my
browser on winooski (which has an "old" fedora distribution), but not
on my laptop (windows, with FF and IE).


On Mar  6, Eli Barzilay wrote:
> On Mar  6, Eli Barzilay wrote:
> > [...]
> 
> BTW, I wrote that when trying to decipher the description of
> `make-output-port' -- and one weird problem there is that the
> `buffer-mode' appears as if it as no defeault value but it's still
> at the end.

(This problem is still there though.)

-- 
          ((lambda (x) (x x)) (lambda (x) (x x)))          Eli Barzilay:
                  http://www.barzilay.org/                 Maze is Life!