@charset "UTF-8";.js-highlight{display:inline;padding:1px;font-size:80%;border-radius:2px}