BTW, expanding to full screen,does not immediately do what I want. Reducing far enough the zoom factor of the browser automatically places the margin notes in the margin. Of course a full screen allows larger zoom factors than delimited screens. Very nice. Thanks, Jos
_____ From: Jos Koot [mailto:jos.k...@gmail.com] Sent: viernes, 29 de mayo de 2015 16:20 To: 'Matthew Butterick'; 'Racket-Users List'; 'Greg Hendershott' Cc: jos.k...@gmail.com Subject: RE: [racket-users] 2 point about sribble Thanks to Metthew Burrerick and Gereg Henderschott for your replies. Deleting the css files works. I think best for me is to get accustomed to the new format. I think uniformness of format of docs is important, especially when putting things available for others. Thanks again, Jos _____ From: racket-users@googlegroups.com [mailto:racket-users@googlegroups.com] On Behalf Of Matthew Butterick Sent: viernes, 29 de mayo de 2015 6:34 To: Racket-Users List Subject: Re: [racket-users] 2 point about sribble The web is a terrible thing to be an expert about. 1) Greg is correct that the styling of 'margin-note' was changed to keep it visible on narrow screens. On wider screens, it moves into the margin. 2) The new styling is implemented as an override of the old styling, which is still lurking in the documentation build like the lizard brain. To see it, remove these files from your doc build: manual-fonts.css manual-racket.css manual-racket.js manual-style.css 3) If you want to override the styling more generally, lots of useful information here [1] and here [2]. [1] http://docs.racket-lang.org/scribble/builtin-css.html [2] http://docs.racket-lang.org/scribble/manual-css.html On Thu, May 28, 2015 at 2:43 PM, Greg Hendershott <greghendersh...@gmail.com> wrote: Matthew Butterick is the expert on this, but in the meantime here's some info I hope is mostly correct. The margin-note is "responsive", to use the latest Web 2.0 (or whatever verison we're up to now) jargon. If the page is wide enough, it will still appear to the right. (Try resizing the browser window to see this, if your screen is big enough to allow that.) My understanding is that all of this behavior comes from the new default CSS files, not from the HTML that Scribble generates. As a result you can customize it: 1. If you prefer the old look and feel, completely, you could probably replace the new style CSS files with the old style ones. (But I'm not sure if it's quite that simple.) 2. If you like the new look and feel, except for the couple details you mentioned, you could change just those. To get started, In Firefox (or whatever), right click on the margin-note (or defproc), choose Inspect Element, and try playing with the attributes interactively. CSS is really simple, never surprising, and completely portable. Just kidding. It can be a mess, at least in my limited experience. But hopefully the old CSS files could provide some hints how to make it work the old way? And when Matthew has a chance to respond, he might have better suggestions. -- You received this message because you are subscribed to the Google Groups "Racket Users" group. To unsubscribe from this group and stop receiving emails from it, send an email to racket-users+unsubscr...@googlegroups.com <mailto:racket-users%2bunsubscr...@googlegroups.com> . For more options, visit https://groups.google.com/d/optout. -- You received this message because you are subscribed to the Google Groups "Racket Users" group. To unsubscribe from this group and stop receiving emails from it, send an email to racket-users+unsubscr...@googlegroups.com. For more options, visit https://groups.google.com/d/optout. -- You received this message because you are subscribed to the Google Groups "Racket Users" group. To unsubscribe from this group and stop receiving emails from it, send an email to racket-users+unsubscr...@googlegroups.com. For more options, visit https://groups.google.com/d/optout.
