@@ -6,74 +6,72 @@
66 <meta name="viewport" content="width=device-width, initial-scale=1.0, user-scalable=yes" />
77 <title>lhs-test</title>
88 <style>
9− code{white-space: pre-wrap;}
10− span.smallcaps{font-variant: small-caps;}
11− span.underline{text-decoration: underline;}
12− div.column{display: inline-block; vertical-align: top; width: 50%;}
13− </style>
14− <style>
15−pre > code.sourceCode { white-space: pre; position: relative; }
16−pre > code.sourceCode > span { display: inline-block; line-height: 1.25; }
17−pre > code.sourceCode > span:empty { height: 1.2em; }
18−code.sourceCode > span { color: inherit; text-decoration: inherit; }
19−div.sourceCode { margin: 1em 0; }
20−pre.sourceCode { margin: 0; }
21−@media screen {
22−div.sourceCode { overflow: auto; }
23−}
24−@media print {
25−pre > code.sourceCode { white-space: pre-wrap; }
26−pre > code.sourceCode > span { text-indent: -5em; padding-left: 5em; }
27−}
28−pre.numberSource code
29− { counter-reset: source-line 0; }
30−pre.numberSource code > span
31− { position: relative; left: -4em; counter-increment: source-line; }
32−pre.numberSource code > span > a:first-child::before
33− { content: counter(source-line);
34− position: relative; left: -1em; text-align: right; vertical-align: baseline;
35− border: none; display: inline-block;
36− -webkit-touch-callout: none; -webkit-user-select: none;
37− -khtml-user-select: none; -moz-user-select: none;
38− -ms-user-select: none; user-select: none;
39− padding: 0 4px; width: 4em;
40− color: #aaaaaa;
41− }
42−pre.numberSource { margin-left: 3em; border-left: 1px solid #aaaaaa; padding-left: 4px; }
43−div.sourceCode
44− { }
45−@media screen {
46−pre > code.sourceCode > span > a:first-child::before { text-decoration: underline; }
47−}
48−code span.al { color: #ff0000; font-weight: bold; } /* Alert */
49−code span.an { color: #60a0b0; font-weight: bold; font-style: italic; } /* Annotation */
50−code span.at { color: #7d9029; } /* Attribute */
51−code span.bn { color: #40a070; } /* BaseN */
52−code span.bu { } /* BuiltIn */
53−code span.cf { color: #007020; font-weight: bold; } /* ControlFlow */
54−code span.ch { color: #4070a0; } /* Char */
55−code span.cn { color: #880000; } /* Constant */
56−code span.co { color: #60a0b0; font-style: italic; } /* Comment */
57−code span.cv { color: #60a0b0; font-weight: bold; font-style: italic; } /* CommentVar */
58−code span.do { color: #ba2121; font-style: italic; } /* Documentation */
59−code span.dt { color: #902000; } /* DataType */
60−code span.dv { color: #40a070; } /* DecVal */
61−code span.er { color: #ff0000; font-weight: bold; } /* Error */
62−code span.ex { } /* Extension */
63−code span.fl { color: #40a070; } /* Float */
64−code span.fu { color: #06287e; } /* Function */
65−code span.im { } /* Import */
66−code span.in { color: #60a0b0; font-weight: bold; font-style: italic; } /* Information */
67−code span.kw { color: #007020; font-weight: bold; } /* Keyword */
68−code span.op { color: #666666; } /* Operator */
69−code span.ot { color: #007020; } /* Other */
70−code span.pp { color: #bc7a00; } /* Preprocessor */
71−code span.sc { color: #4070a0; } /* SpecialChar */
72−code span.ss { color: #bb6688; } /* SpecialString */
73−code span.st { color: #4070a0; } /* String */
74−code span.va { color: #19177c; } /* Variable */
75−code span.vs { color: #4070a0; } /* VerbatimString */
76−code span.wa { color: #60a0b0; font-weight: bold; font-style: italic; } /* Warning */
9+ code{white-space: pre-wrap;}
10+ span.smallcaps{font-variant: small-caps;}
11+ span.underline{text-decoration: underline;}
12+ div.column{display: inline-block; vertical-align: top; width: 50%;}
13+ pre > code.sourceCode { white-space: pre; position: relative; }
14+ pre > code.sourceCode > span { display: inline-block; line-height: 1.25; }
15+ pre > code.sourceCode > span:empty { height: 1.2em; }
16+ code.sourceCode > span { color: inherit; text-decoration: inherit; }
17+ div.sourceCode { margin: 1em 0; }
18+ pre.sourceCode { margin: 0; }
19+ @media screen {
20+ div.sourceCode { overflow: auto; }
21+ }
22+ @media print {
23+ pre > code.sourceCode { white-space: pre-wrap; }
24+ pre > code.sourceCode > span { text-indent: -5em; padding-left: 5em; }
25+ }
26+ pre.numberSource code
27+ { counter-reset: source-line 0; }
28+ pre.numberSource code > span
29+ { position: relative; left: -4em; counter-increment: source-line; }
30+ pre.numberSource code > span > a:first-child::before
31+ { content: counter(source-line);
32+ position: relative; left: -1em; text-align: right; vertical-align: baseline;
33+ border: none; display: inline-block;
34+ -webkit-touch-callout: none; -webkit-user-select: none;
35+ -khtml-user-select: none; -moz-user-select: none;
36+ -ms-user-select: none; user-select: none;
37+ padding: 0 4px; width: 4em;
38+ color: #aaaaaa;
39+ }
40+ pre.numberSource { margin-left: 3em; border-left: 1px solid #aaaaaa; padding-left: 4px; }
41+ div.sourceCode
42+ { }
43+ @media screen {
44+ pre > code.sourceCode > span > a:first-child::before { text-decoration: underline; }
45+ }
46+ code span.al { color: #ff0000; font-weight: bold; } /* Alert */
47+ code span.an { color: #60a0b0; font-weight: bold; font-style: italic; } /* Annotation */
48+ code span.at { color: #7d9029; } /* Attribute */
49+ code span.bn { color: #40a070; } /* BaseN */
50+ code span.bu { } /* BuiltIn */
51+ code span.cf { color: #007020; font-weight: bold; } /* ControlFlow */
52+ code span.ch { color: #4070a0; } /* Char */
53+ code span.cn { color: #880000; } /* Constant */
54+ code span.co { color: #60a0b0; font-style: italic; } /* Comment */
55+ code span.cv { color: #60a0b0; font-weight: bold; font-style: italic; } /* CommentVar */
56+ code span.do { color: #ba2121; font-style: italic; } /* Documentation */
57+ code span.dt { color: #902000; } /* DataType */
58+ code span.dv { color: #40a070; } /* DecVal */
59+ code span.er { color: #ff0000; font-weight: bold; } /* Error */
60+ code span.ex { } /* Extension */
61+ code span.fl { color: #40a070; } /* Float */
62+ code span.fu { color: #06287e; } /* Function */
63+ code span.im { } /* Import */
64+ code span.in { color: #60a0b0; font-weight: bold; font-style: italic; } /* Information */
65+ code span.kw { color: #007020; font-weight: bold; } /* Keyword */
66+ code span.op { color: #666666; } /* Operator */
67+ code span.ot { color: #007020; } /* Other */
68+ code span.pp { color: #bc7a00; } /* Preprocessor */
69+ code span.sc { color: #4070a0; } /* SpecialChar */
70+ code span.ss { color: #bb6688; } /* SpecialString */
71+ code span.st { color: #4070a0; } /* String */
72+ code span.va { color: #19177c; } /* Variable */
73+ code span.vs { color: #4070a0; } /* VerbatimString */
74+ code span.wa { color: #60a0b0; font-weight: bold; font-style: italic; } /* Warning */
7775 </style>
7876 <!--[if lt IE 9]>
7977 <script src="//cdnjs.cloudflare.com/ajax/libs/html5shiv/3.7.3/html5shiv-printshiv.min.js"></script>