Thanks Jeremy. I realized the probelm and actually rewrote the post above totally right after. One of the dangers in allowing post-editing, I guess.
<:-) On Tuesday, March 31, 2015 at 2:07:36 PM UTC+2, Jeremy Ruston wrote: > > Hi Mat > > What's going on here is that the story river width and the tiddler width > are completely independent. The gap is showing up because different values > have been specified and the widths don't match up. > > Best wishes > > Jeremy. > > > On Mon, Mar 30, 2015 at 7:31 PM, Mat <[email protected] <javascript:>> > wrote: > >> As demo'ed here <http://temp.tiddlyspot.com/>, the story river has a >> righ side padding or margin in spite of setting these to 0px. >> >> As you can see, setting the padding to 0px does work for top and left >> sides. >> >> This causes problems when I wish to lessen the distance between the story >> river and the sidebar (e.g via Ctrolpanel > Appearence > ThemeTweaks) >> because this margin (or whatever it is) then overlaps the sidebar so the >> sidebar cannot be clicked. >> >> I don't know why there is a river right-side margin to begin with (the >> sidebar position is not affected by it) but, accepting this, how do I >> change it? >> >> Thank you! >> >> <:-) >> >> -- >> 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] <javascript:>. >> To post to this group, send email to [email protected] >> <javascript:>. >> Visit this group at http://groups.google.com/group/tiddlywiki. >> For more options, visit https://groups.google.com/d/optout. >> > > > > -- > Jeremy Ruston > mailto:[email protected] <javascript:> > -- 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/d/optout.
