aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--pandoc.cabal2
-rw-r--r--stack.yaml4
-rw-r--r--test/lhs-test.html10
-rw-r--r--test/lhs-test.html+lhs10
4 files changed, 11 insertions, 15 deletions
diff --git a/pandoc.cabal b/pandoc.cabal
index 564fd600a..db2ccb8ed 100644
--- a/pandoc.cabal
+++ b/pandoc.cabal
@@ -369,7 +369,7 @@ library
tagsoup >= 0.14.6 && < 0.15,
base64-bytestring >= 0.1 && < 1.1,
zlib >= 0.5 && < 0.7,
- skylighting >= 0.5.1 && < 0.8,
+ skylighting >= 0.7.2 && < 0.8,
data-default >= 0.4 && < 0.8,
temporary >= 1.1 && < 1.4,
blaze-html >= 0.9 && < 0.10,
diff --git a/stack.yaml b/stack.yaml
index e2af054ee..2dbf82137 100644
--- a/stack.yaml
+++ b/stack.yaml
@@ -13,8 +13,8 @@ packages:
- '.'
extra-deps:
- pandoc-citeproc-0.14.3.1
-- skylighting-0.7.0.2
-- skylighting-core-0.7.0.2
+- skylighting-0.7.2
+- skylighting-core-0.7.2
- ansi-terminal-0.8.0.2
- tasty-1.0.1.1
- test-framework-0.8.2.0
diff --git a/test/lhs-test.html b/test/lhs-test.html
index c9777ea7b..5fce225df 100644
--- a/test/lhs-test.html
+++ b/test/lhs-test.html
@@ -14,7 +14,7 @@
<style type="text/css">
a.sourceLine { display: inline-block; line-height: 1.25; }
a.sourceLine { pointer-events: none; color: inherit; text-decoration: inherit; }
-a.sourceLine:empty { height: 1.2em; position: absolute; }
+a.sourceLine:empty { height: 1.2em; }
.sourceCode { overflow: visible; }
code.sourceCode { white-space: pre; position: relative; }
div.sourceCode { margin: 1em 0; }
@@ -27,13 +27,11 @@ code.sourceCode { white-space: pre-wrap; }
a.sourceLine { text-indent: -1em; padding-left: 1em; }
}
pre.numberSource a.sourceLine
- { position: relative; }
-pre.numberSource a.sourceLine:empty
- { position: absolute; }
+ { position: relative; left: -4em; }
pre.numberSource a.sourceLine::before
{ content: attr(data-line-number);
- position: absolute; left: -5em; text-align: right; vertical-align: baseline;
- border: none; pointer-events: all;
+ position: relative; left: -1em; text-align: right; vertical-align: baseline;
+ border: none; pointer-events: all; display: inline-block;
-webkit-touch-callout: none; -webkit-user-select: none;
-khtml-user-select: none; -moz-user-select: none;
-ms-user-select: none; user-select: none;
diff --git a/test/lhs-test.html+lhs b/test/lhs-test.html+lhs
index 4a121e0d1..78bc1d426 100644
--- a/test/lhs-test.html+lhs
+++ b/test/lhs-test.html+lhs
@@ -14,7 +14,7 @@
<style type="text/css">
a.sourceLine { display: inline-block; line-height: 1.25; }
a.sourceLine { pointer-events: none; color: inherit; text-decoration: inherit; }
-a.sourceLine:empty { height: 1.2em; position: absolute; }
+a.sourceLine:empty { height: 1.2em; }
.sourceCode { overflow: visible; }
code.sourceCode { white-space: pre; position: relative; }
div.sourceCode { margin: 1em 0; }
@@ -27,13 +27,11 @@ code.sourceCode { white-space: pre-wrap; }
a.sourceLine { text-indent: -1em; padding-left: 1em; }
}
pre.numberSource a.sourceLine
- { position: relative; }
-pre.numberSource a.sourceLine:empty
- { position: absolute; }
+ { position: relative; left: -4em; }
pre.numberSource a.sourceLine::before
{ content: attr(data-line-number);
- position: absolute; left: -5em; text-align: right; vertical-align: baseline;
- border: none; pointer-events: all;
+ position: relative; left: -1em; text-align: right; vertical-align: baseline;
+ border: none; pointer-events: all; display: inline-block;
-webkit-touch-callout: none; -webkit-user-select: none;
-khtml-user-select: none; -moz-user-select: none;
-ms-user-select: none; user-select: none;