Something things in scribble have a `#:style` argument. And most things in
scribble can be contained inside a `nested` or `elem`, to which you could
apply your custom #:style. You can use this as a hook to a custom CSS file,
where you could maybe use "text-decoration: overline;" if that looks good
to you. (Although if you anticipate needing more math typesetting
capabilities, HTML+CSS will probably fail you. Mathjax sounds good.)
Basically, if you can hand-write HTML that looks good to you, you can
probably get Scribble to do what you want. The relevant reading, I believe,
is "styles" and `make-css-addition`, starting here:
https://docs.racket-lang.org/scribble/config.html
Or, if you want to see a real example, I just did one:
https://docs.racket-lang.org/plisqin/Refactoring_Recipes.html This uses a
custom "PGreen" CSS class. You might be able to see how it all gets wired
up by looking at these files:
https://github.com/default-kramer/plisqin/search?q=PGreen_q=PGreen
Hope this helps! But there no way to explain this with a little 10-line
example, unfortunately.
On Tuesday, June 16, 2020 at 7:41:08 AM UTC-5, jos.koot wrote:
>
>
>
> Hi,
>
> Using scribble when writing a text containing Boolean expressions it would
> be nice to write ‘not(A+B)’ as ‘A+B’ with a bar above it. An expression
> like not(not(A)+not(B)) would need bars above the A and the B as well above
> the whole. Is this possible? I have found no solution in the scribble docs.
> I have looked into some HTML tutorials too, but did not find what I want. I
> am an ignorant with respect to HTML. And even when I would know how to do
> it in HTML, I also would need to know how to transfer the tool to scribble.
>
> Thanks, Jos
>
--
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.
To view this discussion on the web visit
https://groups.google.com/d/msgid/racket-users/9fa457fc-3f5a-4277-8ca8-2841d7a7b6bdo%40googlegroups.com.