I will be happy to mess with this today. FYI: @data user_http_stylesheet in myLeoSettings.leo does not overwrite @data http_stylesheet in leoSettings.leo. When I put @data http_stylesheet in myLeoSettings.leo it overwrites leoSettings.leo as expected. Putting either @data user_http_stylesheet or @data http_stylesheet in the test file under a local settings tree has zero effect on the output. I think the output must be processed after myLeoSettings.leo, but before the local settings tree.
I will do all of my fiddling with the @data http_stylesheet in leosettings.leo disabled (@@) and use the @data http_stylesheet in myLeoSettings.leo for now. This likely contributed to some confusion. There seems to be an order of operation here between having the settings in Leo applied and when the plugin executes to build the html files it needs. I'll stick with what works for now and leave this mystery. Chris On Wednesday, October 5, 2016 at 3:43:58 AM UTC-7, Edward K. Ream wrote: > > On Wed, Oct 5, 2016 at 5:14 AM, Edward K. Ream <[email protected] > <javascript:>> wrote: > >> >> >> On Tue, Oct 4, 2016 at 12:35 PM, 'Terry Brown' via leo-editor < >> [email protected] <javascript:>> wrote: >> >> >>> What's needed here is just better CSS, like >>> >>> height: 50%; >>> width: 100%; >>> >>> for the .outlinepane div. >>> >> >> I'm pretty sure I tried this earlier. I'll give it another go. We want >> the default to be as good as possible. >> > > Hmm. 0bf67bc > > shows the difficulties I'm having. From the checkin log: > > QQQ > Attempt to use height 50% in outline and body panes. Maybe somebody can > fix this. [And various other changes]. > > On Mozilla, clicking a node [containing children] can resize the outline > pane, covering the body pane, even though resize is none in the outline > pane. > > It's a mystery. Perhaps the javascript is involved? > QQQ > > The present css is unacceptable as a final product, but I think it's a > better base for experimentation. Anyone care to try their hand? > > EKR > -- You received this message because you are subscribed to the Google Groups "leo-editor" 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 https://groups.google.com/group/leo-editor. For more options, visit https://groups.google.com/d/optout.
