@@ -8,7 +8,7 @@ B
8 <title></title>
8 <title></title>
9 <style type="text/css">code{white-space: pre;}</style>
9 <style type="text/css">code{white-space: pre;}</style>
10 <style type="text/css">
10 <style type="text/css">
11−div.sourceCode { x-overflow: auto; }
11+div.sourceCode { overflow-x: auto; }
12table.sourceCode, tr.sourceCode, td.lineNumbers, td.sourceCode {
12table.sourceCode, tr.sourceCode, td.lineNumbers, td.sourceCode {
13 margin: 0; padding: 0; vertical-align: baseline; border: none; }
13 margin: 0; padding: 0; vertical-align: baseline; border: none; }
14table.sourceCode { width: 100%; line-height: 100%; }
14table.sourceCode { width: 100%; line-height: 100%; }