diff --git a/src/main/resources/js/prism.js b/src/main/resources/js/prism.js index f22fc8b..a0322d0 100644 --- a/src/main/resources/js/prism.js +++ b/src/main/resources/js/prism.js @@ -13873,7 +13873,7 @@ Prism.languages.xojo = { var endNode = Prism.plugins.lineNumbers.getLine(pre, end); if (startNode) { - var top = startNode.offsetTop + 'px'; + var top = startNode.offsetTop - offset * lineHeight + 'px'; mutateActions.push(function () { line.style.top = top; });