rust-highfive · GitHub

@SergioBenitez

Copy link Copy Markdown

Contributor

Closes #490. Here's what it an error looks like with this PR:

screen shot 2016-09-04 at 8 47 15 pm

@SergioBenitez

@rust-highfive

Copy link Copy Markdown

r? @aturon

(rust_highfive has picked a reviewer for you, use r? to override)

Closed

@SergioBenitez

@SergioBenitez

Copy link Copy Markdown

Contributor Author

@brson

Copy link Copy Markdown

Contributor

Huh, this is quite a different solution than the one proposed in #506. It looks like this one fixes some additional problems than just the missing monospace font, but also fixes some highlighting issues. Does that sound right?

@SergioBenitez

Copy link Copy Markdown

Contributor Author

That's right. It also doesn't mess with the HTML at all.

@brson

Read the original on github.com ↗