Re: [racket-users] Re: Scribble: customizing table borders

2020-07-19 Thread Shriram Krishnamurthi
That did the trick well enough, thank you!!! (I wouldn't mind a cleaner solution, but it gets the job done for now.) -- 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

[racket-users] How can I increase expansion+compilation speed?

2020-07-19 Thread Ryan Kramer
Using DrRacket, the following file takes 18 seconds to compile without debugging, or about 40 seconds to compile with debugging: https://raw.githubusercontent.com/default-kramer/plisqin-tutorials/e844825b48137553246c64e73516d880b9068825/define-schema-answer-key/aw-schema.rkt When I say

[racket-users] Re: Scribble: customizing table borders

2020-07-19 Thread Ryan Kramer
This isn't the most ideal way, but it might work for you: CSS: .LongMult td[data-underline="yes"] { border-bottom: 1px solid red; } Code: #lang scribble/manual @(require scribble/core scribble/html-properties) @(tabular #:sep @hspace[2] #:style (style "LongMult" null)

Re: [racket-users] emoji in source code

2020-07-19 Thread Robby Findler
I'm not sure what's going on, but this smily works: ☺ Robby On Sun, Jul 19, 2020 at 10:55 AM Shriram Krishnamurthi wrote: > I wrote the following program: > > (define /: ') > > which at least on my screen looks like > > > > in Aquamacs and in my browser (modulo dark/light mode). > >

[racket-users] Scribble: customizing table borders

2020-07-19 Thread Shriram Krishnamurthi
It *appears* that in Scribble, the color of a table's borders (e.g., bottom-border) is fixed: e.g., 5 generated from a program such as @tabular[#:sep @hspace[2] #:row-properties '(() () bottom-border ()) #:style (style "LongMult" null) I haven't had any luck coming up with the right

[racket-users] emoji in source code

2020-07-19 Thread Shriram Krishnamurthi
I wrote the following program: (define /: ') which at least on my screen looks like in Aquamacs and in my browser (modulo dark/light mode). However, no matter which mode I use in OS X AND which color mode I use in DrRacket, the emoji just isn't visible: Not the most pressing problem