Really cool! It’s a shame that the CSS Highlight API only allows changing the color and not the font.

SoftTalker 3 hours ago | parent | next [-]

For me, a little highlighting goes a long way. I don't like my code looking like a box of Crayola crayons. Throwing in multiple fonts doesn't sound helpful at all.

▲

crummy 2 hours ago | parent | prev [-]

Or even setting bold would be nice.

	▲	capitainenemo 2 hours ago \| parent [-]
		yeah, although text-stroke and text-shadow probably work even better with fixed width code since it avoids changing line lengths.