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. > 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.
