edcfbcc · typeable/pandoc

pandoc.cabal+1−1

compare with master

unifiedsplit

@@ -369,7 +369,7 @@ library

369 tagsoup >= 0.14.6 && < 0.15,

370 base64-bytestring >= 0.1 && < 1.1,

371 zlib >= 0.5 && < 0.7,

372− skylighting >= 0.5.1 && < 0.8,

372+ skylighting >= 0.7.2 && < 0.8,

373 data-default >= 0.4 && < 0.8,

374 temporary >= 1.1 && < 1.4,

375 blaze-html >= 0.9 && < 0.10,

stack.yaml+2−2

@@ -13,8 +13,8 @@ packages:

13- '.'

14extra-deps:

15- pandoc-citeproc-0.14.3.1

16−- skylighting-0.7.0.2

16+- skylighting-0.7.2

17−- skylighting-core-0.7.0.2

17+- skylighting-core-0.7.2

18- ansi-terminal-0.8.0.2

19- tasty-1.0.1.1

20- test-framework-0.8.2.0

test/lhs-test.html+4−6

@@ -14,7 +14,7 @@

14 <style type="text/css">

15a.sourceLine { display: inline-block; line-height: 1.25; }

16a.sourceLine { pointer-events: none; color: inherit; text-decoration: inherit; }

17−a.sourceLine:empty { height: 1.2em; position: absolute; }

17+a.sourceLine:empty { height: 1.2em; }

18.sourceCode { overflow: visible; }

19code.sourceCode { white-space: pre; position: relative; }

20div.sourceCode { margin: 1em 0; }

@@ -27,13 +27,11 @@ code.sourceCode { white-space: pre-wrap; }

27a.sourceLine { text-indent: -1em; padding-left: 1em; }

28}

29pre.numberSource a.sourceLine

30− { position: relative; }

30+ { position: relative; left: -4em; }

31−pre.numberSource a.sourceLine:empty

32− { position: absolute; }

33pre.numberSource a.sourceLine::before

31pre.numberSource a.sourceLine::before

34 { content: attr(data-line-number);

32 { content: attr(data-line-number);

35− position: absolute; left: -5em; text-align: right; vertical-align: baseline;

33+ position: relative; left: -1em; text-align: right; vertical-align: baseline;

36− border: none; pointer-events: all;

34+ border: none; pointer-events: all; display: inline-block;

37 -webkit-touch-callout: none; -webkit-user-select: none;

35 -webkit-touch-callout: none; -webkit-user-select: none;

38 -khtml-user-select: none; -moz-user-select: none;

36 -khtml-user-select: none; -moz-user-select: none;

39 -ms-user-select: none; user-select: none;

37 -ms-user-select: none; user-select: none;

test/lhs-test.html+lhs+4−6