diff options
Diffstat (limited to 'test/lhs-test.html+lhs')
| -rw-r--r-- | test/lhs-test.html+lhs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/test/lhs-test.html+lhs b/test/lhs-test.html+lhs index c40f6173f..88f7b8834 100644 --- a/test/lhs-test.html+lhs +++ b/test/lhs-test.html+lhs @@ -5,13 +5,13 @@ <meta name="generator" content="pandoc" /> <meta name="viewport" content="width=device-width, initial-scale=1.0, user-scalable=yes" /> <title>lhs-test</title> - <style type="text/css"> + <style> code{white-space: pre-wrap;} span.smallcaps{font-variant: small-caps;} span.underline{text-decoration: underline;} div.column{display: inline-block; vertical-align: top; width: 50%;} </style> - <style type="text/css"> + <style> 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; } |