/* highlights (highlight.js) — same rules in the hosted app and the artifacts */
mark.hl{color:inherit;border-radius:3px;padding:0 1px;-webkit-box-decoration-break:clone;box-decoration-break:clone;cursor:pointer}
mark.hl-y{background:rgba(255,204,0,.40)}
mark.hl-g{background:rgba(52,199,89,.32)}
mark.hl-p{background:rgba(255,84,150,.30)}
mark.hl-b{background:rgba(64,156,255,.32)}
.hlbar{position:fixed;z-index:9999;display:none;align-items:center;gap:8px;padding:7px 10px;border-radius:999px;
  background:var(--surface,var(--surf,#fff));border:1px solid var(--line,#ccc);box-shadow:0 6px 20px rgba(0,0,0,.28)}
.hlbar.on{display:flex}
.hlbar button{width:28px;height:28px;min-width:0;border-radius:50%;border:2px solid transparent;padding:0;margin:0;cursor:pointer;box-shadow:none}
.hlbar .hlsw.hl-y{background:#ffcc00}.hlbar .hlsw.hl-g{background:#34c759}.hlbar .hlsw.hl-p{background:#ff5496}.hlbar .hlsw.hl-b{background:#409cff}
.hlbar .hlsw.cur{border-color:var(--ink,#111);box-shadow:0 0 0 2px var(--surface,var(--surf,#fff)) inset}
.hlbar .hlx{background:transparent;color:var(--ink,#111);font-size:15px;line-height:1;border:1px solid var(--line,#ccc)}
@media (pointer:coarse){.hlbar button{width:34px;height:34px}}