@@ -14,7 +14,7 @@
1414 <style type="text/css">
1515a.sourceLine { display: inline-block; line-height: 1.25; }
1616a.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; }
1818.sourceCode { overflow: visible; }
1919code.sourceCode { white-space: pre; position: relative; }
2020div.sourceCode { margin: 1em 0; }
@@ -27,13 +27,11 @@ code.sourceCode { white-space: pre-wrap; }
2727a.sourceLine { text-indent: -1em; padding-left: 1em; }
2828}
2929pre.numberSource a.sourceLine
30− { position: relative; }
31−pre.numberSource a.sourceLine:empty
32− { position: absolute; }
30+ { position: relative; left: -4em; }
3331pre.numberSource a.sourceLine::before
3432 { content: attr(data-line-number);
35− position: absolute; left: -5em; text-align: right; vertical-align: baseline;
36− border: none; pointer-events: all;
33+ position: relative; left: -1em; text-align: right; vertical-align: baseline;
34+ border: none; pointer-events: all; display: inline-block;
3735 -webkit-touch-callout: none; -webkit-user-select: none;
3836 -khtml-user-select: none; -moz-user-select: none;
3937 -ms-user-select: none; user-select: none;