Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Update to highlight.js 9.10.0 #225

Merged
merged 1 commit into from
Mar 10, 2017

Conversation

carols10cents
Copy link
Member

eddyb noticed some weird things being highlighted in the book, which led to him sending this PR to highlight.js, which has made it into highlight.js 9.10.0, which has led to me sending in this pr :)

I generated the js using this page and choosing the same languages that were listed in this pr.

I also updated highlight.css using the Atelier Dune Light Theme that comes with highlight.js, since that's what the comment at the top seemed to indicate.... there's a lot in the diff though, and atelier dune light doesn't seem to change very often but it has changed a little, soooo i'm not sure how much change is due to the "modifications" since it was introduced as modified. I tried to keep what looked important, and I definitely kept the gray background of code blocks because it tried to change it to yellow 😂😂😂 Please let me know if there's anything in particular I should put back the way it was!

It looks pretty good trying it out locally on the book, wdyt?

screen shot 2017-03-09 at 11 01 19 pm

@azerupi
Copy link
Contributor

azerupi commented Mar 10, 2017

Looks good to me!
I think highlight.js had not been updated in a while. The theme looks a bit different but it's fine :) I think I made a custom theme back then, but it's easier to have as little deviation from the original theme as possible for maintenance reasons. So 👍

@steveklabnik
Copy link
Member

@azerupi is happy, Travis is happy, and so I am happy. Merging!

@steveklabnik steveklabnik merged commit c7916c4 into rust-lang:master Mar 10, 2017
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants