Skip to content
This repository was archived by the owner on Sep 30, 2020. It is now read-only.

CSS: tweak highlighting #16

Merged
merged 2 commits into from
Dec 4, 2013
Merged

CSS: tweak highlighting #16

merged 2 commits into from
Dec 4, 2013

Conversation

adrientetar
Copy link
Contributor

This should give better colors to the CSS highlighting.

code

@brson If you like that one I'll follow up with a PR for Rust documentation.

brson added a commit that referenced this pull request Dec 4, 2013
@brson brson merged commit b06369b into rust-lang:gh-pages Dec 4, 2013
alexcrichton pushed a commit that referenced this pull request May 20, 2017
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants