Hi Chris,
in order to increase the font size, you could add the following CSS code in
your StyleSheet tiddler:
#sidebarOptions .button { font-size:125%; }
#sidebarOptions is the div container and .button the class of all buttons
in TiddlyWiki. You could also use the parent container #sidebar instead of
#sidebarOptions. Feel free to use other units than percent. TiddlyWiki
stylesheets uses em units in such cases.
If you want to identify elements just use the built in developer tools in
Firefox (see Extras menu + or press CTRL+SHIFT+I) or Chrome (same
shortcut?). It's also useful to study the default stylesheets in TiddlyWiki
(StyleSheetLayout and StyleSheetColors).
Hope that helps!
Albert
2013/7/12 Chris Hodge <[email protected]>
> Hi,
> This is kind of a dummy question, but how do I increase the font size for
> sidebar buttons? I know I have to add something to the StyleSheet tiddler.
> I tried a few guesses but haven't been able to change the size.
>
> Also, in general for future reference, is there a way to identify any
> element to know how to change its style in the StyleSheet? I know that you
> can use the View Source command in browsers to see the html behind any
> element, but is there a way to use this information for StyleSheet changes?
>
> thanks!
> Chris
>
> --
> 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 post to this group, send email to [email protected].
> Visit this group at http://groups.google.com/group/tiddlywiki.
> For more options, visit https://groups.google.com/groups/opt_out.
>
>
>
--
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 post to this group, send email to [email protected].
Visit this group at http://groups.google.com/group/tiddlywiki.
For more options, visit https://groups.google.com/groups/opt_out.
