diff options
-rw-r--r-- | pandoc.cabal | 2 | ||||
-rw-r--r-- | stack.yaml | 4 | ||||
-rw-r--r-- | test/lhs-test.html | 10 | ||||
-rw-r--r-- | test/lhs-test.html+lhs | 10 |
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; |