From 23eb1701edfdfd48359f90fe0d24fce24de8638d Mon Sep 17 00:00:00 2001
From: Sebastian Castro <90scastro@gmail.com>
Date: Thu, 8 Nov 2018 21:55:58 +0100
Subject: [PATCH] ace2_inner: fix first line number position

Preparatory work for introducing colibris skin
---
 src/static/js/ace2_inner.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/static/js/ace2_inner.js b/src/static/js/ace2_inner.js
index 8b0e2c3e..9c69fad1 100644
--- a/src/static/js/ace2_inner.js
+++ b/src/static/js/ace2_inner.js
@@ -5404,7 +5404,7 @@ function Ace2Inner(){
             // didn't do this special case, we would miss out on any top margin
             // included on the first line. The default stylesheet doesn't add
             // extra margins/padding, but plugins might.
-            h = b.nextSibling.offsetTop - window.getComputedStyle(doc.body).getPropertyValue("padding-top");
+            h = b.nextSibling.offsetTop - parseInt(window.getComputedStyle(doc.body).getPropertyValue("padding-top").split('px')[0]);
           } else {
             h = b.nextSibling.offsetTop - b.offsetTop;
           }