Few bits to get around hljs's shortcomings