Set Tiddlywiki font through stylesheet

69 views
Skip to first unread message

Mohammad

unread,
Apr 6, 2020, 5:21:00 AM4/6/20
to TiddlyWiki
I have a Tiddler tagged with $:/tags/Stylesheet with below content


html { font-family: Roboto; font-weight: 400; }
code, pre { font-family: Inconsolata; font-size:18px; }

Both fonts are available on my system. While everything works fine but there are two issues

  • The drop down like $select widget e,g $:/ControlPanel, Sidebar Layout shows different font (seems cannot find the font)
  • The editor also use different font (e.g edit tiddler, textarea ...)
Wht is the problem here?



Mat

unread,
Apr 6, 2020, 5:29:48 AM4/6/20
to TiddlyWiki
  • The drop down like $select widget e,g $:/ControlPanel, Sidebar Layout shows different font (seems cannot find the font)

Mohammad

unread,
Apr 6, 2020, 5:42:04 AM4/6/20
to TiddlyWiki
Further input:

  • I opened the $:/ControlPanel, next Appearance, Theme Tweaks
  • I put "Roboto" in the first place both Font Family and Code Font Family
I get still the same issues as posted above!

--Mohammad

Mohammad

unread,
Apr 6, 2020, 5:44:16 AM4/6/20
to TiddlyWiki
Thanks Mat for the useful link!

I have still the issue on editor! even if I put the font in font family input box in Theme Tweaks.

--Mohammad

Jeremy Ruston

unread,
Apr 6, 2020, 6:36:25 AM4/6/20
to tiddl...@googlegroups.com
Hi Mohammad

The recommended way to change the editor font in v5.1.22  is via a separate theme tweak for setting the editor font.

The select widget renders an HTML select element which is generally rendered by browsers to match the operating system. You should be able to override the font with a CSS rule targetting select elements.

Best wishes

Jeremy


On 6 Apr 2020, at 10:44, Mohammad <mohammad...@gmail.com> wrote:


--
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 tiddlywiki+...@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/tiddlywiki/add5272a-51fd-48d5-9dff-608e1a08f482%40googlegroups.com.

Mohammad

unread,
Apr 6, 2020, 7:40:49 AM4/6/20
to TiddlyWiki
Hi Jeremy,
 Many thanks for clarification!

Best wishes
Mohammad


On Monday, April 6, 2020 at 3:06:25 PM UTC+4:30, Jeremy Ruston wrote:
Hi Mohammad

The recommended way to change the editor font in v5.1.22  is via a separate theme tweak for setting the editor font.

The select widget renders an HTML select element which is generally rendered by browsers to match the operating system. You should be able to override the font with a CSS rule targetting select elements.

Best wishes


On 6 Apr 2020, at 10:44, Mohammad <mohamma...@gmail.com> wrote:


Thanks Mat for the useful link!

I have still the issue on editor! even if I put the font in font family input box in Theme Tweaks.

--Mohammad

On Monday, April 6, 2020 at 1:59:48 PM UTC+4:30, Mat wrote:
  • The drop down like $select widget e,g $:/ControlPanel, Sidebar Layout shows different font (seems cannot find the font)

<:-)

--
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 tiddl...@googlegroups.com.
Reply all
Reply to author
Forward
0 new messages