Eric Huss

@rustbot author

Unfortunately I don't think just using the highlight.js website will completely work. mdBook is incompatible with newer versions of highlight.js (such as #1622). https://github.com/rust-lang/mdBook/blob/master/CONTRIBUTING.md#updating-highlightjs contains some instructions for building it...

I'm not sure, but one suggestion might be to copy the first four steps from the contributing guide to this page instead of recommending going to the website.

Note: This is accomplished with `white-space: break-spaces;`

Yea, both issues are essentially the same. I'll keep this one, but there is some more context and discussion in #1268 that is worth reading.

I would prefer to avoid adding an option for this. I would expect there to be one true behavior. There's also PRs and issues about indentation (#1564, #1565, #1718). Whatever...

Can you respond to the questions raised in https://github.com/rust-lang/mdBook/pull/1856#issuecomment-1348532278? Would it be possible to avoid requiring an option to determine the indentation behavior? Why choose this behavior over the other...

I pushed some changes to rebase on master and fix some issues, particularly with some recent CSS changes. I also changed it so that the arrow keys switch direction based...

This only happens when combined with `editable`, as the code editor does not support hidden lines. The javascript side could potentially wrap it in `fn main`, though it would be...

I'm inclined to just remove the webkit scrollbar styling altogether. I don't think the color differences are too important, and I think it is worthwhile to stick with the OS...