jekyll/jekyll — pull request #1883 by pathawks (2013-12-28 04:41:02+00:00)
Title: Add user-select:none to .highlight .nv

Fixes issue #1471