Hi Hubert,
It uses the official highlight.js plugin! see its link
here: https://tiddlywiki.com/prerelease/#Highlight%20Plugin
The demo wiki only uses Incosolata font (a little bold face).
So to reproduce in your own wiki
1. Install the Highlight.js
2. Import Incosolata fonts and its stylesheet e.g
1. http://kookma.webfonts.tiddlyspot.com/#css-Inconsolata-font
2.
http://kookma.webfonts.tiddlyspot.com/#inconsolata-v18-latin-700.woff2
3.
http://kookma.webfonts.tiddlyspot.com/#inconsolata-v18-latin-regular.woff2
3. Set the codeblock fonts as below
(see: http://kookma.webfonts.tiddlyspot.com/#Set%20Font)
code, pre {
font-family: Inconsolata;
font-size:110%;
font-weight:500;
}
put the above CSS in a tiddler tagged with $:/tags/Stylesheet
Cheers
Mohammad
--
You received this message because you are subscribed to the Google Groups
"TiddlyWiki" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To view this discussion on the web visit
https://groups.google.com/d/msgid/tiddlywiki/a6bcdcda-291c-4314-8569-605bd293ff2d%40googlegroups.com.