2010-08-09 François Sausset <sausset@gmail.com>
authoreric@webkit.org <eric@webkit.org@268f45cc-cd09-0410-ab3c-d52691b4dbfc>
Mon, 9 Aug 2010 07:53:33 +0000 (07:53 +0000)
committereric@webkit.org <eric@webkit.org@268f45cc-cd09-0410-ab3c-d52691b4dbfc>
Mon, 9 Aug 2010 07:53:33 +0000 (07:53 +0000)
        Reviewed by Kenneth Rohde Christiansen.

        Add a test for the mfenced MathML element and update tests with stretched parenthesis/brackets/operators
        https://bugs.webkit.org/show_bug.cgi?id=42472

        * mathml/presentation/fenced.xhtml: Added.
        * mathml/presentation/row.xhtml:
        * platform/mac/mathml/presentation/fenced-expected.checksum: Added.
        * platform/mac/mathml/presentation/fenced-expected.png: Added.
        * platform/mac/mathml/presentation/fenced-expected.txt: Added.
        * platform/mac/mathml/presentation/mo-expected.checksum:
        * platform/mac/mathml/presentation/mo-expected.png:
        * platform/mac/mathml/presentation/mo-expected.txt:
        * platform/mac/mathml/presentation/over-expected.checksum:
        * platform/mac/mathml/presentation/over-expected.png:
        * platform/mac/mathml/presentation/over-expected.txt:
        * platform/mac/mathml/presentation/row-alignment-expected.checksum:
        * platform/mac/mathml/presentation/row-alignment-expected.png:
        * platform/mac/mathml/presentation/row-alignment-expected.txt:
        * platform/mac/mathml/presentation/row-expected.checksum:
        * platform/mac/mathml/presentation/row-expected.png:
        * platform/mac/mathml/presentation/row-expected.txt:
        * platform/mac/mathml/presentation/tables-expected.checksum:
        * platform/mac/mathml/presentation/tables-expected.png:
2010-08-09  François Sausset  <sausset@gmail.com>

        Reviewed by Kenneth Rohde Christiansen.

        Implement mfenced MathML element
        Update stretchy operator code to take into account new brackets and to tune layout parameters
        https://bugs.webkit.org/show_bug.cgi?id=42472

        Test: mathml/presentation/fenced.xhtml

        * WebCore.xcodeproj/project.pbxproj:
        * mathml/MathMLInlineContainerElement.cpp:
        (WebCore::MathMLInlineContainerElement::MathMLInlineContainerElement):
        (WebCore::MathMLInlineContainerElement::createRenderer):
        * mathml/RenderMathMLFenced.cpp: Added.
        (WebCore::RenderMathMLFenced::RenderMathMLFenced):
        (WebCore::RenderMathMLFenced::updateFromElement):
        (WebCore::RenderMathMLFenced::makeOperatorStyle):
        (WebCore::RenderMathMLFenced::makeFences):
        (WebCore::RenderMathMLFenced::addChild):
        (WebCore::RenderMathMLFenced::layout):
        * mathml/RenderMathMLFenced.h: Added.
        * mathml/RenderMathMLOperator.cpp:
        (WebCore::RenderMathMLOperator::RenderMathMLOperator):
        (WebCore::RenderMathMLOperator::stretchToHeight):
        (WebCore::):
        (WebCore::RenderMathMLOperator::updateFromElement):
        (WebCore::RenderMathMLOperator::createStackableStyle):
        (WebCore::RenderMathMLOperator::createGlyph):

git-svn-id: http://svn.webkit.org/repository/webkit/trunk@64967 268f45cc-cd09-0410-ab3c-d52691b4dbfc

26 files changed:
LayoutTests/ChangeLog
LayoutTests/mathml/presentation/fenced.xhtml [new file with mode: 0644]
LayoutTests/mathml/presentation/row.xhtml
LayoutTests/platform/mac/mathml/presentation/fenced-expected.checksum [new file with mode: 0644]
LayoutTests/platform/mac/mathml/presentation/fenced-expected.png [new file with mode: 0644]
LayoutTests/platform/mac/mathml/presentation/fenced-expected.txt [new file with mode: 0644]
LayoutTests/platform/mac/mathml/presentation/mo-expected.checksum
LayoutTests/platform/mac/mathml/presentation/mo-expected.png
LayoutTests/platform/mac/mathml/presentation/mo-expected.txt
LayoutTests/platform/mac/mathml/presentation/over-expected.checksum
LayoutTests/platform/mac/mathml/presentation/over-expected.png
LayoutTests/platform/mac/mathml/presentation/over-expected.txt
LayoutTests/platform/mac/mathml/presentation/row-alignment-expected.checksum
LayoutTests/platform/mac/mathml/presentation/row-alignment-expected.png
LayoutTests/platform/mac/mathml/presentation/row-alignment-expected.txt
LayoutTests/platform/mac/mathml/presentation/row-expected.checksum
LayoutTests/platform/mac/mathml/presentation/row-expected.png
LayoutTests/platform/mac/mathml/presentation/row-expected.txt
LayoutTests/platform/mac/mathml/presentation/tables-expected.checksum
LayoutTests/platform/mac/mathml/presentation/tables-expected.png
WebCore/ChangeLog
WebCore/WebCore.xcodeproj/project.pbxproj
WebCore/mathml/MathMLInlineContainerElement.cpp
WebCore/mathml/RenderMathMLFenced.cpp [new file with mode: 0644]
WebCore/mathml/RenderMathMLFenced.h [new file with mode: 0644]
WebCore/mathml/RenderMathMLOperator.cpp

index bdab453..33dd472 100644 (file)
@@ -1,3 +1,30 @@
+2010-08-09  François Sausset  <sausset@gmail.com>
+
+        Reviewed by Kenneth Rohde Christiansen.
+
+        Add a test for the mfenced MathML element and update tests with stretched parenthesis/brackets/operators
+        https://bugs.webkit.org/show_bug.cgi?id=42472
+
+        * mathml/presentation/fenced.xhtml: Added.
+        * mathml/presentation/row.xhtml:
+        * platform/mac/mathml/presentation/fenced-expected.checksum: Added.
+        * platform/mac/mathml/presentation/fenced-expected.png: Added.
+        * platform/mac/mathml/presentation/fenced-expected.txt: Added.
+        * platform/mac/mathml/presentation/mo-expected.checksum:
+        * platform/mac/mathml/presentation/mo-expected.png:
+        * platform/mac/mathml/presentation/mo-expected.txt:
+        * platform/mac/mathml/presentation/over-expected.checksum:
+        * platform/mac/mathml/presentation/over-expected.png:
+        * platform/mac/mathml/presentation/over-expected.txt:
+        * platform/mac/mathml/presentation/row-alignment-expected.checksum:
+        * platform/mac/mathml/presentation/row-alignment-expected.png:
+        * platform/mac/mathml/presentation/row-alignment-expected.txt:
+        * platform/mac/mathml/presentation/row-expected.checksum:
+        * platform/mac/mathml/presentation/row-expected.png:
+        * platform/mac/mathml/presentation/row-expected.txt:
+        * platform/mac/mathml/presentation/tables-expected.checksum:
+        * platform/mac/mathml/presentation/tables-expected.png:
+
 2010-08-04  MORITA Hajime  <morrita@google.com>
 
         Reviewed by Tony Chang.
diff --git a/LayoutTests/mathml/presentation/fenced.xhtml b/LayoutTests/mathml/presentation/fenced.xhtml
new file mode 100644 (file)
index 0000000..2d91561
--- /dev/null
@@ -0,0 +1,17 @@
+<html xmlns='http://www.w3.org/1999/xhtml'>
+<head>
+<title>Rows and Operators</title>
+<style type="text/css">
+mo {
+   background-color: rgb(200,200,200);
+}
+</style>
+</head>
+<body>
+<p id='t1'>
+<math xmlns='http://www.w3.org/1998/Math/MathML'>
+<mfenced><div xmlns='http://www.w3.org/1999/xhtml' style='display: inline-block; vertical-align: middle;height: 48px; width: 48px; background-color: rgb(0,255,0)'/><div xmlns='http://www.w3.org/1999/xhtml' style='display: inline-block; vertical-align: middle;height: 48px; width: 48px; background-color: rgb(0,255,0)'/><div xmlns='http://www.w3.org/1999/xhtml' style='display: inline-block; vertical-align: middle;height: 48px; width: 48px; background-color: rgb(0,255,0)'/></mfenced>
+</math>
+</p>
+</body>
+</html>
index 9a6bca3..0ea8eae 100644 (file)
@@ -86,19 +86,19 @@ mo {
 <p id='t1'>
 120px:
 <math xmlns='http://www.w3.org/1998/Math/MathML'>
-<mrow><mo>{</mo><mi>x</mi><div xmlns='http://www.w3.org/1999/xhtml' style='display: inline-block; height: 120px; width: 120px; vertical-align: -33%; background-color: rgb(0,255,0)'/><mo>}</mo></mrow>
+<mrow><mo>{</mo><mi>x</mi><div xmlns='http://www.w3.org/1999/xhtml' style='display: inline-block; height: 120px; width: 48px; vertical-align: -33%; background-color: rgb(0,255,0)'/><mo>}</mo></mrow>
 </math>
 <math xmlns='http://www.w3.org/1998/Math/MathML'>
-<mrow><mo>[</mo><mi>x</mi><div xmlns='http://www.w3.org/1999/xhtml' style='display: inline-block; height: 120px; width: 120px; vertical-align: -33%; background-color: rgb(0,255,0)'/><mo>]</mo></mrow>
+<mrow><mo>[</mo><mi>x</mi><div xmlns='http://www.w3.org/1999/xhtml' style='display: inline-block; height: 120px; width: 48px; vertical-align: -33%; background-color: rgb(0,255,0)'/><mo>]</mo></mrow>
 </math>
 <math xmlns='http://www.w3.org/1998/Math/MathML'>
-<mrow><mo>(</mo><mi>x</mi><div xmlns='http://www.w3.org/1999/xhtml' style='display: inline-block; height: 120px; width: 120px; vertical-align: -33%; background-color: rgb(0,255,0)'/><mo>)</mo></mrow>
+<mrow><mo>(</mo><mi>x</mi><div xmlns='http://www.w3.org/1999/xhtml' style='display: inline-block; height: 120px; width: 48px; vertical-align: -33%; background-color: rgb(0,255,0)'/><mo>)</mo></mrow>
 </math>
 <math xmlns='http://www.w3.org/1998/Math/MathML'>
-<mrow><mo>|</mo><mi>x</mi><div xmlns='http://www.w3.org/1999/xhtml' style='display: inline-block; height: 120px; width: 120px; vertical-align: -33%; background-color: rgb(0,255,0)'/><mo>|</mo></mrow>
+<mrow><mo>|</mo><mi>x</mi><div xmlns='http://www.w3.org/1999/xhtml' style='display: inline-block; height: 120px; width: 48px; vertical-align: -33%; background-color: rgb(0,255,0)'/><mo>|</mo></mrow>
 </math>
 <math xmlns='http://www.w3.org/1998/Math/MathML'>
-<mrow><mo>&#x222b;</mo><mi>x</mi><div xmlns='http://www.w3.org/1999/xhtml' style='display: inline-block; height: 120px; width: 120px; vertical-align: -33%; background-color: rgb(0,255,0)'/></mrow>
+<mrow><mo>&#x222b;</mo><mi>x</mi><div xmlns='http://www.w3.org/1999/xhtml' style='display: inline-block; height: 120px; width: 48px; vertical-align: -33%; background-color: rgb(0,255,0)'/></mrow>
 </math>
 </p>
 <p id='t5'>
diff --git a/LayoutTests/platform/mac/mathml/presentation/fenced-expected.checksum b/LayoutTests/platform/mac/mathml/presentation/fenced-expected.checksum
new file mode 100644 (file)
index 0000000..51ab991
--- /dev/null
@@ -0,0 +1 @@
+c6232b94d2a6525182a6442f1e4d4c06
\ No newline at end of file
diff --git a/LayoutTests/platform/mac/mathml/presentation/fenced-expected.png b/LayoutTests/platform/mac/mathml/presentation/fenced-expected.png
new file mode 100644 (file)
index 0000000..6550b50
Binary files /dev/null and b/LayoutTests/platform/mac/mathml/presentation/fenced-expected.png differ
diff --git a/LayoutTests/platform/mac/mathml/presentation/fenced-expected.txt b/LayoutTests/platform/mac/mathml/presentation/fenced-expected.txt
new file mode 100644 (file)
index 0000000..5c42413
--- /dev/null
@@ -0,0 +1,78 @@
+layer at (0,0) size 800x600
+  RenderView at (0,0) size 800x600
+layer at (0,0) size 800x94
+  RenderBlock {html} at (0,0) size 800x94
+    RenderBody {body} at (8,16) size 784x62
+      RenderBlock {p} at (0,0) size 784x62
+        RenderBlock {math} at (0,0) size 167x62
+          RenderBlock {mfenced} at (1,0) size 165x62
+            RenderBlock {mfenced} at (1,4) size 5x58
+            RenderBlock {div} at (6,9) size 48x48 [bgcolor=#00FF00]
+            RenderBlock {mfenced} at (54,15) size 4x36
+              RenderBlock {mfenced} at (0,0) size 4x36
+                RenderText {mfenced} at (0,20) size 4x16
+                  text run at (0,20) width 4: ","
+            RenderBlock {div} at (58,9) size 48x48 [bgcolor=#00FF00]
+            RenderBlock {mfenced} at (106,15) size 4x36
+              RenderBlock {mfenced} at (0,0) size 4x36
+                RenderText {mfenced} at (0,20) size 4x16
+                  text run at (0,20) width 4: ","
+            RenderBlock {div} at (110,9) size 48x48 [bgcolor=#00FF00]
+            RenderBlock {mfenced} at (158,4) size 5x58
+        RenderText {#text} at (0,0) size 0x0
+layer at (10,20) size 5x10 scrollHeight 15
+  RenderBlock {mfenced} at (0,0) size 5x10
+layer at (10,30) size 5x10 scrollHeight 14
+  RenderBlock {mfenced} at (0,10) size 5x10
+    RenderText {mfenced} at (0,-3) size 5x17
+      text run at (0,-3) width 5: "\x{239C}"
+layer at (10,40) size 5x10 scrollHeight 14
+  RenderBlock {mfenced} at (0,20) size 5x10
+    RenderText {mfenced} at (0,-3) size 5x17
+      text run at (0,-3) width 5: "\x{239C}"
+layer at (10,50) size 5x10 scrollHeight 14
+  RenderBlock {mfenced} at (0,30) size 5x10
+    RenderText {mfenced} at (0,-3) size 5x17
+      text run at (0,-3) width 5: "\x{239C}"
+layer at (10,60) size 5x7 scrollHeight 14
+  RenderBlock {mfenced} at (0,40) size 5x7
+    RenderText {mfenced} at (0,-3) size 5x17
+      text run at (0,-3) width 5: "\x{239C}"
+layer at (10,67) size 5x11 scrollHeight 14
+  RenderBlock {mfenced} at (0,47) size 5x11
+layer at (167,20) size 5x10 scrollHeight 15
+  RenderBlock {mfenced} at (0,0) size 5x10
+layer at (167,30) size 5x10 scrollHeight 14
+  RenderBlock {mfenced} at (0,10) size 5x10
+    RenderText {mfenced} at (0,-3) size 5x17
+      text run at (0,-3) width 5: "\x{239F}"
+layer at (167,40) size 5x10 scrollHeight 14
+  RenderBlock {mfenced} at (0,20) size 5x10
+    RenderText {mfenced} at (0,-3) size 5x17
+      text run at (0,-3) width 5: "\x{239F}"
+layer at (167,50) size 5x10 scrollHeight 14
+  RenderBlock {mfenced} at (0,30) size 5x10
+    RenderText {mfenced} at (0,-3) size 5x17
+      text run at (0,-3) width 5: "\x{239F}"
+layer at (167,60) size 5x7 scrollHeight 14
+  RenderBlock {mfenced} at (0,40) size 5x7
+    RenderText {mfenced} at (0,-3) size 5x17
+      text run at (0,-3) width 5: "\x{239F}"
+layer at (167,67) size 5x11 scrollHeight 14
+  RenderBlock {mfenced} at (0,47) size 5x11
+layer at (10,21) size 5x14 backgroundClip at (10,20) size 5x10 clip at (10,20) size 5x10 outlineClip at (10,20) size 5x10
+  RenderBlock (relative positioned) {mfenced} at (0,0) size 5x11
+    RenderText {mfenced} at (0,-3) size 5x17
+      text run at (0,-3) width 5: "\x{239B}"
+layer at (10,64) size 5x14 backgroundClip at (10,67) size 5x11 clip at (10,67) size 5x11 outlineClip at (10,67) size 5x11
+  RenderBlock (relative positioned) {mfenced} at (0,0) size 5x11
+    RenderText {mfenced} at (0,-3) size 5x17
+      text run at (0,-3) width 5: "\x{239D}"
+layer at (167,21) size 5x14 backgroundClip at (167,20) size 5x10 clip at (167,20) size 5x10 outlineClip at (167,20) size 5x10
+  RenderBlock (relative positioned) {mfenced} at (0,0) size 5x11
+    RenderText {mfenced} at (0,-3) size 5x17
+      text run at (0,-3) width 5: "\x{239E}"
+layer at (167,64) size 5x14 backgroundClip at (167,67) size 5x11 clip at (167,67) size 5x11 outlineClip at (167,67) size 5x11
+  RenderBlock (relative positioned) {mfenced} at (0,0) size 5x11
+    RenderText {mfenced} at (0,-3) size 5x17
+      text run at (0,-3) width 5: "\x{23A0}"
index 8fbc610..5980c32 100644 (file)
@@ -1 +1 @@
-806cd9174cf394fe2b6e07073a382756
\ No newline at end of file
+fc8e995b641f01562145b5272d953479
\ No newline at end of file
index b30820f..1e4d653 100644 (file)
Binary files a/LayoutTests/platform/mac/mathml/presentation/mo-expected.png and b/LayoutTests/platform/mac/mathml/presentation/mo-expected.png differ
index 432d0e8..c3a4c09 100644 (file)
@@ -1,8 +1,8 @@
 layer at (0,0) size 800x600
   RenderView at (0,0) size 800x600
-layer at (0,0) size 800x260
-  RenderBlock {html} at (0,0) size 800x260
-    RenderBody {body} at (8,16) size 784x228
+layer at (0,0) size 800x259
+  RenderBlock {html} at (0,0) size 800x259
+    RenderBody {body} at (8,16) size 784x227
       RenderBlock {p} at (0,0) size 784x22
         RenderText {#text} at (0,0) size 60x18
           text run at (0,0) width 60: "operator: "
@@ -83,199 +83,211 @@ layer at (0,0) size 800x260
               RenderText {mo} at (0,7) size 16x24
                 text run at (0,7) width 16: "B"
         RenderText {#text} at (0,0) size 0x0
-      RenderBlock {p} at (0,164) size 784x64
+      RenderBlock {p} at (0,164) size 784x63
         RenderText {#text} at (0,22) size 60x18
           text run at (0,22) width 60: "operator: "
-        RenderBlock {math} at (60,0) size 100x64
-          RenderBlock {mo} at (1,0) size 8x64
-          RenderBlock {mo} at (9,0) size 10x64
-          RenderBlock {mo} at (19,0) size 7x64
-          RenderBlock {mo} at (26,0) size 5x64
+        RenderBlock {math} at (60,0) size 100x63
+          RenderBlock {mo} at (1,0) size 8x63
+          RenderBlock {mo} at (9,0) size 10x63
+          RenderBlock {mo} at (19,0) size 7x63
+          RenderBlock {mo} at (26,0) size 5x63
           RenderBlock {div} at (33,1) size 52x52 [border: (1px solid #000000)]
-          RenderBlock {mo} at (87,0) size 5x64
-          RenderBlock {mo} at (92,0) size 7x64
+          RenderBlock {mo} at (87,0) size 5x63
+          RenderBlock {mo} at (92,0) size 7x63
         RenderText {#text} at (0,0) size 0x0
 layer at (69,180) size 8x10 scrollHeight 15
   RenderBlock {mo} at (0,0) size 8x10
-    RenderText {mo} at (0,-2) size 8x17
-      text run at (0,-2) width 8: "\x{23D0}"
-layer at (69,190) size 8x10 scrollHeight 15
+layer at (69,190) size 8x10 scrollHeight 14
   RenderBlock {mo} at (0,10) size 8x10
-    RenderText {mo} at (0,-2) size 8x17
-      text run at (0,-2) width 8: "\x{23D0}"
-layer at (69,200) size 8x10 scrollHeight 15
+    RenderText {mo} at (0,-3) size 8x17
+      text run at (0,-3) width 8: "\x{23D0}"
+layer at (69,200) size 8x10 scrollHeight 14
   RenderBlock {mo} at (0,20) size 8x10
-    RenderText {mo} at (0,-2) size 8x17
-      text run at (0,-2) width 8: "\x{23D0}"
-layer at (69,210) size 8x10 scrollHeight 15
+    RenderText {mo} at (0,-3) size 8x17
+      text run at (0,-3) width 8: "\x{23D0}"
+layer at (69,210) size 8x10 scrollHeight 14
   RenderBlock {mo} at (0,30) size 8x10
-    RenderText {mo} at (0,-2) size 8x17
-      text run at (0,-2) width 8: "\x{23D0}"
-layer at (69,220) size 8x10 scrollHeight 15
+    RenderText {mo} at (0,-3) size 8x17
+      text run at (0,-3) width 8: "\x{23D0}"
+layer at (69,220) size 8x10 scrollHeight 14
   RenderBlock {mo} at (0,40) size 8x10
-    RenderText {mo} at (0,-2) size 8x17
-      text run at (0,-2) width 8: "\x{23D0}"
-layer at (69,230) size 8x2 scrollHeight 15
+    RenderText {mo} at (0,-3) size 8x17
+      text run at (0,-3) width 8: "\x{23D0}"
+layer at (69,230) size 8x2 scrollHeight 14
   RenderBlock {mo} at (0,50) size 8x2
-    RenderText {mo} at (0,-2) size 8x17
-      text run at (0,-2) width 8: "\x{23D0}"
-layer at (69,232) size 8x12 scrollHeight 15
-  RenderBlock {mo} at (0,52) size 8x12
+    RenderText {mo} at (0,-3) size 8x17
+      text run at (0,-3) width 8: "\x{23D0}"
+layer at (69,232) size 8x11 scrollHeight 14
+  RenderBlock {mo} at (0,52) size 8x11
 layer at (77,180) size 10x10 scrollHeight 15
   RenderBlock {mo} at (0,0) size 10x10
-    RenderText {mo} at (0,-2) size 10x17
-      text run at (0,-2) width 10: "\x{2320}"
-layer at (77,190) size 10x10 scrollHeight 15
+layer at (77,190) size 10x10 scrollHeight 14
   RenderBlock {mo} at (0,10) size 10x10
-    RenderText {mo} at (0,-2) size 10x17
-      text run at (0,-2) width 10: "\x{23AE}"
-layer at (77,200) size 10x10 scrollHeight 15
+    RenderText {mo} at (0,-3) size 10x17
+      text run at (0,-3) width 10: "\x{23AE}"
+layer at (77,200) size 10x10 scrollHeight 14
   RenderBlock {mo} at (0,20) size 10x10
-    RenderText {mo} at (0,-2) size 10x17
-      text run at (0,-2) width 10: "\x{23AE}"
-layer at (77,210) size 10x10 scrollHeight 15
+    RenderText {mo} at (0,-3) size 10x17
+      text run at (0,-3) width 10: "\x{23AE}"
+layer at (77,210) size 10x10 scrollHeight 14
   RenderBlock {mo} at (0,30) size 10x10
-    RenderText {mo} at (0,-2) size 10x17
-      text run at (0,-2) width 10: "\x{23AE}"
-layer at (77,220) size 10x10 scrollHeight 15
+    RenderText {mo} at (0,-3) size 10x17
+      text run at (0,-3) width 10: "\x{23AE}"
+layer at (77,220) size 10x10 scrollHeight 14
   RenderBlock {mo} at (0,40) size 10x10
-    RenderText {mo} at (0,-2) size 10x17
-      text run at (0,-2) width 10: "\x{23AE}"
-layer at (77,230) size 10x2 scrollHeight 15
+    RenderText {mo} at (0,-3) size 10x17
+      text run at (0,-3) width 10: "\x{23AE}"
+layer at (77,230) size 10x2 scrollHeight 14
   RenderBlock {mo} at (0,50) size 10x2
-    RenderText {mo} at (0,-2) size 10x17
-      text run at (0,-2) width 10: "\x{23AE}"
-layer at (77,232) size 10x12 scrollHeight 15
-  RenderBlock {mo} at (0,52) size 10x12
+    RenderText {mo} at (0,-3) size 10x17
+      text run at (0,-3) width 10: "\x{23AE}"
+layer at (77,232) size 10x11 scrollHeight 14
+  RenderBlock {mo} at (0,52) size 10x11
 layer at (87,180) size 7x10 scrollHeight 15
   RenderBlock {mo} at (0,0) size 7x10
-    RenderText {mo} at (0,-2) size 7x17
-      text run at (0,-2) width 7: "\x{23A7}"
-layer at (87,190) size 7x10 scrollHeight 15
+layer at (87,190) size 7x10 scrollHeight 14
   RenderBlock {mo} at (0,10) size 7x10
-    RenderText {mo} at (0,-2) size 7x17
-      text run at (0,-2) width 7: "\x{23AA}"
-layer at (87,200) size 7x6 scrollHeight 15
+    RenderText {mo} at (0,-3) size 7x17
+      text run at (0,-3) width 7: "\x{23AA}"
+layer at (87,200) size 7x6 scrollHeight 14
   RenderBlock {mo} at (0,20) size 7x6
-    RenderText {mo} at (0,-2) size 7x17
-      text run at (0,-2) width 7: "\x{23AA}"
-layer at (87,206) size 7x10 scrollHeight 15
+    RenderText {mo} at (0,-3) size 7x17
+      text run at (0,-3) width 7: "\x{23AA}"
+layer at (87,206) size 7x10 scrollHeight 14
   RenderBlock {mo} at (0,26) size 7x10
-layer at (87,216) size 7x10 scrollHeight 15
+layer at (87,216) size 7x10 scrollHeight 14
   RenderBlock {mo} at (0,36) size 7x10
-    RenderText {mo} at (0,-2) size 7x17
-      text run at (0,-2) width 7: "\x{23AA}"
-layer at (87,226) size 7x6 scrollHeight 15
+    RenderText {mo} at (0,-3) size 7x17
+      text run at (0,-3) width 7: "\x{23AA}"
+layer at (87,226) size 7x6 scrollHeight 14
   RenderBlock {mo} at (0,46) size 7x6
-    RenderText {mo} at (0,-2) size 7x17
-      text run at (0,-2) width 7: "\x{23AA}"
-layer at (87,232) size 7x12 scrollHeight 15
-  RenderBlock {mo} at (0,52) size 7x12
+    RenderText {mo} at (0,-3) size 7x17
+      text run at (0,-3) width 7: "\x{23AA}"
+layer at (87,232) size 7x11 scrollHeight 14
+  RenderBlock {mo} at (0,52) size 7x11
 layer at (94,180) size 5x10 scrollHeight 15
   RenderBlock {mo} at (0,0) size 5x10
-    RenderText {mo} at (0,-2) size 5x17
-      text run at (0,-2) width 5: "\x{23A1}"
-layer at (94,190) size 5x10 scrollHeight 15
+layer at (94,190) size 5x10 scrollHeight 14
   RenderBlock {mo} at (0,10) size 5x10
-    RenderText {mo} at (0,-2) size 5x17
-      text run at (0,-2) width 5: "\x{23A2}"
-layer at (94,200) size 5x10 scrollHeight 15
+    RenderText {mo} at (0,-3) size 5x17
+      text run at (0,-3) width 5: "\x{23A2}"
+layer at (94,200) size 5x10 scrollHeight 14
   RenderBlock {mo} at (0,20) size 5x10
-    RenderText {mo} at (0,-2) size 5x17
-      text run at (0,-2) width 5: "\x{23A2}"
-layer at (94,210) size 5x10 scrollHeight 15
+    RenderText {mo} at (0,-3) size 5x17
+      text run at (0,-3) width 5: "\x{23A2}"
+layer at (94,210) size 5x10 scrollHeight 14
   RenderBlock {mo} at (0,30) size 5x10
-    RenderText {mo} at (0,-2) size 5x17
-      text run at (0,-2) width 5: "\x{23A2}"
-layer at (94,220) size 5x10 scrollHeight 15
+    RenderText {mo} at (0,-3) size 5x17
+      text run at (0,-3) width 5: "\x{23A2}"
+layer at (94,220) size 5x10 scrollHeight 14
   RenderBlock {mo} at (0,40) size 5x10
-    RenderText {mo} at (0,-2) size 5x17
-      text run at (0,-2) width 5: "\x{23A2}"
-layer at (94,230) size 5x2 scrollHeight 15
+    RenderText {mo} at (0,-3) size 5x17
+      text run at (0,-3) width 5: "\x{23A2}"
+layer at (94,230) size 5x2 scrollHeight 14
   RenderBlock {mo} at (0,50) size 5x2
-    RenderText {mo} at (0,-2) size 5x17
-      text run at (0,-2) width 5: "\x{23A2}"
-layer at (94,232) size 5x12 scrollHeight 15
-  RenderBlock {mo} at (0,52) size 5x12
+    RenderText {mo} at (0,-3) size 5x17
+      text run at (0,-3) width 5: "\x{23A2}"
+layer at (94,232) size 5x11 scrollHeight 14
+  RenderBlock {mo} at (0,52) size 5x11
 layer at (155,180) size 5x10 scrollHeight 15
   RenderBlock {mo} at (0,0) size 5x10
-    RenderText {mo} at (0,-2) size 5x17
-      text run at (0,-2) width 5: "\x{23A4}"
-layer at (155,190) size 5x10 scrollHeight 15
+layer at (155,190) size 5x10 scrollHeight 14
   RenderBlock {mo} at (0,10) size 5x10
-    RenderText {mo} at (0,-2) size 5x17
-      text run at (0,-2) width 5: "\x{23A5}"
-layer at (155,200) size 5x10 scrollHeight 15
+    RenderText {mo} at (0,-3) size 5x17
+      text run at (0,-3) width 5: "\x{23A5}"
+layer at (155,200) size 5x10 scrollHeight 14
   RenderBlock {mo} at (0,20) size 5x10
-    RenderText {mo} at (0,-2) size 5x17
-      text run at (0,-2) width 5: "\x{23A5}"
-layer at (155,210) size 5x10 scrollHeight 15
+    RenderText {mo} at (0,-3) size 5x17
+      text run at (0,-3) width 5: "\x{23A5}"
+layer at (155,210) size 5x10 scrollHeight 14
   RenderBlock {mo} at (0,30) size 5x10
-    RenderText {mo} at (0,-2) size 5x17
-      text run at (0,-2) width 5: "\x{23A5}"
-layer at (155,220) size 5x10 scrollHeight 15
+    RenderText {mo} at (0,-3) size 5x17
+      text run at (0,-3) width 5: "\x{23A5}"
+layer at (155,220) size 5x10 scrollHeight 14
   RenderBlock {mo} at (0,40) size 5x10
-    RenderText {mo} at (0,-2) size 5x17
-      text run at (0,-2) width 5: "\x{23A5}"
-layer at (155,230) size 5x2 scrollHeight 15
+    RenderText {mo} at (0,-3) size 5x17
+      text run at (0,-3) width 5: "\x{23A5}"
+layer at (155,230) size 5x2 scrollHeight 14
   RenderBlock {mo} at (0,50) size 5x2
-    RenderText {mo} at (0,-2) size 5x17
-      text run at (0,-2) width 5: "\x{23A5}"
-layer at (155,232) size 5x12 scrollHeight 15
-  RenderBlock {mo} at (0,52) size 5x12
+    RenderText {mo} at (0,-3) size 5x17
+      text run at (0,-3) width 5: "\x{23A5}"
+layer at (155,232) size 5x11 scrollHeight 14
+  RenderBlock {mo} at (0,52) size 5x11
 layer at (160,180) size 7x10 scrollHeight 15
   RenderBlock {mo} at (0,0) size 7x10
-    RenderText {mo} at (0,-2) size 7x17
-      text run at (0,-2) width 7: "\x{23AB}"
-layer at (160,190) size 7x10 scrollHeight 15
+layer at (160,190) size 7x10 scrollHeight 14
   RenderBlock {mo} at (0,10) size 7x10
-    RenderText {mo} at (0,-2) size 7x17
-      text run at (0,-2) width 7: "\x{23AA}"
-layer at (160,200) size 7x6 scrollHeight 15
+    RenderText {mo} at (0,-3) size 7x17
+      text run at (0,-3) width 7: "\x{23AA}"
+layer at (160,200) size 7x6 scrollHeight 14
   RenderBlock {mo} at (0,20) size 7x6
-    RenderText {mo} at (0,-2) size 7x17
-      text run at (0,-2) width 7: "\x{23AA}"
-layer at (160,206) size 7x10 scrollHeight 15
+    RenderText {mo} at (0,-3) size 7x17
+      text run at (0,-3) width 7: "\x{23AA}"
+layer at (160,206) size 7x10 scrollHeight 14
   RenderBlock {mo} at (0,26) size 7x10
-layer at (160,216) size 7x10 scrollHeight 15
+layer at (160,216) size 7x10 scrollHeight 14
   RenderBlock {mo} at (0,36) size 7x10
-    RenderText {mo} at (0,-2) size 7x17
-      text run at (0,-2) width 7: "\x{23AA}"
-layer at (160,226) size 7x6 scrollHeight 15
+    RenderText {mo} at (0,-3) size 7x17
+      text run at (0,-3) width 7: "\x{23AA}"
+layer at (160,226) size 7x6 scrollHeight 14
   RenderBlock {mo} at (0,46) size 7x6
-    RenderText {mo} at (0,-2) size 7x17
-      text run at (0,-2) width 7: "\x{23AA}"
-layer at (160,232) size 7x12 scrollHeight 15
-  RenderBlock {mo} at (0,52) size 7x12
-layer at (69,228) size 8x15 backgroundClip at (69,232) size 8x12 clip at (69,232) size 8x12 outlineClip at (69,232) size 8x12
-  RenderBlock (relative positioned) {mo} at (0,0) size 8x12
-    RenderText {mo} at (0,-2) size 8x17
-      text run at (0,-2) width 8: "\x{23D0}"
-layer at (77,228) size 10x15 backgroundClip at (77,232) size 10x12 clip at (77,232) size 10x12 outlineClip at (77,232) size 10x12
-  RenderBlock (relative positioned) {mo} at (0,0) size 10x12
-    RenderText {mo} at (0,-2) size 10x17
-      text run at (0,-2) width 10: "\x{2321}"
-layer at (87,204) size 7x15 backgroundClip at (87,206) size 7x10 clip at (87,206) size 7x10 outlineClip at (87,206) size 7x10
-  RenderBlock (relative positioned) {mo} at (0,0) size 7x12
-    RenderText {mo} at (0,-2) size 7x17
-      text run at (0,-2) width 7: "\x{23A8}"
-layer at (87,228) size 7x15 backgroundClip at (87,232) size 7x12 clip at (87,232) size 7x12 outlineClip at (87,232) size 7x12
-  RenderBlock (relative positioned) {mo} at (0,0) size 7x12
-    RenderText {mo} at (0,-2) size 7x17
-      text run at (0,-2) width 7: "\x{23A9}"
-layer at (94,228) size 5x15 backgroundClip at (94,232) size 5x12 clip at (94,232) size 5x12 outlineClip at (94,232) size 5x12
-  RenderBlock (relative positioned) {mo} at (0,0) size 5x12
-    RenderText {mo} at (0,-2) size 5x17
-      text run at (0,-2) width 5: "\x{23A3}"
-layer at (155,228) size 5x15 backgroundClip at (155,232) size 5x12 clip at (155,232) size 5x12 outlineClip at (155,232) size 5x12
-  RenderBlock (relative positioned) {mo} at (0,0) size 5x12
-    RenderText {mo} at (0,-2) size 5x17
-      text run at (0,-2) width 5: "\x{23A6}"
-layer at (160,204) size 7x15 backgroundClip at (160,206) size 7x10 clip at (160,206) size 7x10 outlineClip at (160,206) size 7x10
-  RenderBlock (relative positioned) {mo} at (0,0) size 7x12
-    RenderText {mo} at (0,-2) size 7x17
-      text run at (0,-2) width 7: "\x{23AC}"
-layer at (160,228) size 7x15 backgroundClip at (160,232) size 7x12 clip at (160,232) size 7x12 outlineClip at (160,232) size 7x12
-  RenderBlock (relative positioned) {mo} at (0,0) size 7x12
-    RenderText {mo} at (0,-2) size 7x17
-      text run at (0,-2) width 7: "\x{23AD}"
+    RenderText {mo} at (0,-3) size 7x17
+      text run at (0,-3) width 7: "\x{23AA}"
+layer at (160,232) size 7x11 scrollHeight 14
+  RenderBlock {mo} at (0,52) size 7x11
+layer at (69,181) size 8x14 backgroundClip at (69,180) size 8x10 clip at (69,180) size 8x10 outlineClip at (69,180) size 8x10
+  RenderBlock (relative positioned) {mo} at (0,0) size 8x11
+    RenderText {mo} at (0,-3) size 8x17
+      text run at (0,-3) width 8: "\x{23D0}"
+layer at (69,229) size 8x14 backgroundClip at (69,232) size 8x11 clip at (69,232) size 8x11 outlineClip at (69,232) size 8x11
+  RenderBlock (relative positioned) {mo} at (0,0) size 8x11
+    RenderText {mo} at (0,-3) size 8x17
+      text run at (0,-3) width 8: "\x{23D0}"
+layer at (77,181) size 10x14 backgroundClip at (77,180) size 10x10 clip at (77,180) size 10x10 outlineClip at (77,180) size 10x10
+  RenderBlock (relative positioned) {mo} at (0,0) size 10x11
+    RenderText {mo} at (0,-3) size 10x17
+      text run at (0,-3) width 10: "\x{2320}"
+layer at (77,229) size 10x14 backgroundClip at (77,232) size 10x11 clip at (77,232) size 10x11 outlineClip at (77,232) size 10x11
+  RenderBlock (relative positioned) {mo} at (0,0) size 10x11
+    RenderText {mo} at (0,-3) size 10x17
+      text run at (0,-3) width 10: "\x{2321}"
+layer at (87,181) size 7x14 backgroundClip at (87,180) size 7x10 clip at (87,180) size 7x10 outlineClip at (87,180) size 7x10
+  RenderBlock (relative positioned) {mo} at (0,0) size 7x11
+    RenderText {mo} at (0,-3) size 7x17
+      text run at (0,-3) width 7: "\x{23A7}"
+layer at (87,205) size 7x14 backgroundClip at (87,206) size 7x10 clip at (87,206) size 7x10 outlineClip at (87,206) size 7x10
+  RenderBlock (relative positioned) {mo} at (0,0) size 7x11
+    RenderText {mo} at (0,-3) size 7x17
+      text run at (0,-3) width 7: "\x{23A8}"
+layer at (87,229) size 7x14 backgroundClip at (87,232) size 7x11 clip at (87,232) size 7x11 outlineClip at (87,232) size 7x11
+  RenderBlock (relative positioned) {mo} at (0,0) size 7x11
+    RenderText {mo} at (0,-3) size 7x17
+      text run at (0,-3) width 7: "\x{23A9}"
+layer at (94,181) size 5x14 backgroundClip at (94,180) size 5x10 clip at (94,180) size 5x10 outlineClip at (94,180) size 5x10
+  RenderBlock (relative positioned) {mo} at (0,0) size 5x11
+    RenderText {mo} at (0,-3) size 5x17
+      text run at (0,-3) width 5: "\x{23A1}"
+layer at (94,229) size 5x14 backgroundClip at (94,232) size 5x11 clip at (94,232) size 5x11 outlineClip at (94,232) size 5x11
+  RenderBlock (relative positioned) {mo} at (0,0) size 5x11
+    RenderText {mo} at (0,-3) size 5x17
+      text run at (0,-3) width 5: "\x{23A3}"
+layer at (155,181) size 5x14 backgroundClip at (155,180) size 5x10 clip at (155,180) size 5x10 outlineClip at (155,180) size 5x10
+  RenderBlock (relative positioned) {mo} at (0,0) size 5x11
+    RenderText {mo} at (0,-3) size 5x17
+      text run at (0,-3) width 5: "\x{23A4}"
+layer at (155,229) size 5x14 backgroundClip at (155,232) size 5x11 clip at (155,232) size 5x11 outlineClip at (155,232) size 5x11
+  RenderBlock (relative positioned) {mo} at (0,0) size 5x11
+    RenderText {mo} at (0,-3) size 5x17
+      text run at (0,-3) width 5: "\x{23A6}"
+layer at (160,181) size 7x14 backgroundClip at (160,180) size 7x10 clip at (160,180) size 7x10 outlineClip at (160,180) size 7x10
+  RenderBlock (relative positioned) {mo} at (0,0) size 7x11
+    RenderText {mo} at (0,-3) size 7x17
+      text run at (0,-3) width 7: "\x{23AB}"
+layer at (160,205) size 7x14 backgroundClip at (160,206) size 7x10 clip at (160,206) size 7x10 outlineClip at (160,206) size 7x10
+  RenderBlock (relative positioned) {mo} at (0,0) size 7x11
+    RenderText {mo} at (0,-3) size 7x17
+      text run at (0,-3) width 7: "\x{23AC}"
+layer at (160,229) size 7x14 backgroundClip at (160,232) size 7x11 clip at (160,232) size 7x11 outlineClip at (160,232) size 7x11
+  RenderBlock (relative positioned) {mo} at (0,0) size 7x11
+    RenderText {mo} at (0,-3) size 7x17
+      text run at (0,-3) width 7: "\x{23AD}"
index 8a37b1f..dae031a 100644 (file)
@@ -1 +1 @@
-da26b604fb0ac1dda6a7133a5fb179b6
\ No newline at end of file
+430281edbf51ce284236ff30f1b406c8
\ No newline at end of file
index 3b58d81..0018b3f 100644 (file)
Binary files a/LayoutTests/platform/mac/mathml/presentation/over-expected.png and b/LayoutTests/platform/mac/mathml/presentation/over-expected.png differ
index 0ebb91f..67e4712 100644 (file)
@@ -1,8 +1,8 @@
 layer at (0,0) size 800x600
   RenderView at (0,0) size 800x600
-layer at (0,0) size 800x296
-  RenderBlock {html} at (0,0) size 800x296
-    RenderBody {body} at (8,16) size 784x264
+layer at (0,0) size 800x295
+  RenderBlock {html} at (0,0) size 800x295
+    RenderBody {body} at (8,16) size 784x263
       RenderBlock {p} at (0,0) size 784x31
         RenderText {#text} at (0,12) size 36x18
           text run at (0,12) width 36: "over: "
@@ -60,38 +60,40 @@ layer at (0,0) size 800x296
                   RenderText {mo} at (0,0) size 17x24
                     text run at (0,0) width 17: "\x{2211}"
         RenderText {#text} at (0,0) size 0x0
-      RenderBlock {p} at (0,202) size 784x62
+      RenderBlock {p} at (0,202) size 784x61
         RenderText {#text} at (0,29) size 36x18
           text run at (0,29) width 36: "over: "
-        RenderBlock {math} at (36,0) size 52x62
-          RenderBlock {mover} at (1,0) size 10x62
+        RenderBlock {math} at (36,0) size 52x61
+          RenderBlock {mover} at (1,0) size 10x61
             RenderBlock {mover} at (0,0) size 10x16
               RenderInline {mi} at (0,0) size 5x12
                 RenderText {#text} at (2,3) size 5x12
                   text run at (2,3) width 5: "y"
-            RenderBlock {mover} at (0,12) size 10x50
-              RenderBlock {mo} at (0,0) size 10x50
+            RenderBlock {mover} at (0,12) size 10x49
+              RenderBlock {mo} at (0,0) size 10x49
           RenderBlock {div} at (11,3) size 40x40
         RenderText {#text} at (0,0) size 0x0
 layer at (45,230) size 10x10 scrollHeight 15
   RenderBlock {mo} at (0,0) size 10x10
-    RenderText {mo} at (0,-2) size 10x17
-      text run at (0,-2) width 10: "\x{2320}"
-layer at (45,240) size 10x10 scrollHeight 15
+layer at (45,240) size 10x10 scrollHeight 14
   RenderBlock {mo} at (0,10) size 10x10
-    RenderText {mo} at (0,-2) size 10x17
-      text run at (0,-2) width 10: "\x{23AE}"
-layer at (45,250) size 10x10 scrollHeight 15
+    RenderText {mo} at (0,-3) size 10x17
+      text run at (0,-3) width 10: "\x{23AE}"
+layer at (45,250) size 10x10 scrollHeight 14
   RenderBlock {mo} at (0,20) size 10x10
-    RenderText {mo} at (0,-2) size 10x17
-      text run at (0,-2) width 10: "\x{23AE}"
-layer at (45,260) size 10x8 scrollHeight 15
+    RenderText {mo} at (0,-3) size 10x17
+      text run at (0,-3) width 10: "\x{23AE}"
+layer at (45,260) size 10x8 scrollHeight 14
   RenderBlock {mo} at (0,30) size 10x8
-    RenderText {mo} at (0,-2) size 10x17
-      text run at (0,-2) width 10: "\x{23AE}"
-layer at (45,268) size 10x12 scrollHeight 15
-  RenderBlock {mo} at (0,38) size 10x12
-layer at (45,264) size 10x15 backgroundClip at (45,268) size 10x12 clip at (45,268) size 10x12 outlineClip at (45,268) size 10x12
-  RenderBlock (relative positioned) {mo} at (0,0) size 10x12
-    RenderText {mo} at (0,-2) size 10x17
-      text run at (0,-2) width 10: "\x{2321}"
+    RenderText {mo} at (0,-3) size 10x17
+      text run at (0,-3) width 10: "\x{23AE}"
+layer at (45,268) size 10x11 scrollHeight 14
+  RenderBlock {mo} at (0,38) size 10x11
+layer at (45,231) size 10x14 backgroundClip at (45,230) size 10x10 clip at (45,230) size 10x10 outlineClip at (45,230) size 10x10
+  RenderBlock (relative positioned) {mo} at (0,0) size 10x11
+    RenderText {mo} at (0,-3) size 10x17
+      text run at (0,-3) width 10: "\x{2320}"
+layer at (45,265) size 10x14 backgroundClip at (45,268) size 10x11 clip at (45,268) size 10x11 outlineClip at (45,268) size 10x11
+  RenderBlock (relative positioned) {mo} at (0,0) size 10x11
+    RenderText {mo} at (0,-3) size 10x17
+      text run at (0,-3) width 10: "\x{2321}"
index 8c5c401..7d62a6e 100644 (file)
Binary files a/LayoutTests/platform/mac/mathml/presentation/row-alignment-expected.png and b/LayoutTests/platform/mac/mathml/presentation/row-alignment-expected.png differ
index 7977617..37ff4c2 100644 (file)
@@ -1,8 +1,8 @@
 layer at (0,0) size 800x600
   RenderView at (0,0) size 800x600
-layer at (0,0) size 800x578
-  RenderBlock {html} at (0,0) size 800x578
-    RenderBody {body} at (8,19) size 784x543
+layer at (0,0) size 800x575
+  RenderBlock {html} at (0,0) size 800x575
+    RenderBody {body} at (8,19) size 784x540
       RenderBlock {div} at (0,0) size 784x66
         RenderBlock {h2} at (0,0) size 784x28
           RenderText {#text} at (0,0) size 129x28
@@ -78,15 +78,15 @@ layer at (0,0) size 800x578
                   RenderText {#text} at (12,2) size 8x16
                     text run at (12,2) width 8: "2"
           RenderText {#text} at (0,0) size 0x0
-      RenderBlock {div} at (0,242) size 784x301
+      RenderBlock {div} at (0,242) size 784x298
         RenderBlock {h2} at (0,0) size 784x28
           RenderText {#text} at (0,0) size 210x28
             text run at (0,0) width 210: "Operator Stretching"
-        RenderBlock {p} at (0,47) size 784x46
+        RenderBlock {p} at (0,47) size 784x45
           RenderText {#text} at (0,11) size 27x18
             text run at (0,11) width 27: "text "
-          RenderBlock {math} at (27,0) size 60x46
-            RenderBlock {mo} at (1,0) size 5x46
+          RenderBlock {math} at (27,0) size 60x45
+            RenderBlock {mo} at (1,0) size 5x45
             RenderInline {mi} at (0,0) size 7x16
               RenderText {#text} at (6,14) size 7x16
                 text run at (6,14) width 7: "x"
@@ -111,16 +111,16 @@ layer at (0,0) size 800x578
                 RenderInline {mn} at (0,0) size 8x16
                   RenderText {#text} at (12,2) size 8x16
                     text run at (12,2) width 8: "2"
-            RenderBlock {mo} at (54,0) size 5x46
+            RenderBlock {mo} at (54,0) size 5x45
           RenderText {#text} at (0,0) size 0x0
-        RenderBlock {p} at (0,109) size 784x95
+        RenderBlock {p} at (0,108) size 784x94
           RenderText {#text} at (0,40) size 27x18
             text run at (0,40) width 27: "text "
-          RenderBlock {math} at (27,0) size 88x95
+          RenderBlock {math} at (27,0) size 88x94
             RenderInline {mi} at (0,0) size 7x16
               RenderText {#text} at (1,43) size 7x16
                 text run at (1,43) width 7: "y"
-            RenderBlock {mo} at (8,0) size 5x95
+            RenderBlock {mo} at (8,0) size 5x94
             RenderBlock {munder} at (13,40) size 13x27
               RenderBlock {munder} at (0,0) size 13x16
                 RenderInline {mi} at (0,0) size 13x16
@@ -183,13 +183,13 @@ layer at (0,0) size 800x578
                       RenderInline {mn} at (0,0) size 8x16
                         RenderText {#text} at (12,2) size 8x16
                           text run at (12,2) width 8: "2"
-            RenderBlock {mo} at (82,0) size 5x95
+            RenderBlock {mo} at (82,0) size 5x94
           RenderText {#text} at (0,0) size 0x0
-        RenderBlock {p} at (0,220) size 784x81
+        RenderBlock {p} at (0,218) size 784x80
           RenderText {#text} at (0,31) size 27x18
             text run at (0,31) width 27: "text "
-          RenderBlock {math} at (27,0) size 72x81
-            RenderBlock {mo} at (1,0) size 5x81
+          RenderBlock {math} at (27,0) size 72x80
+            RenderBlock {mo} at (1,0) size 5x80
             RenderTable {mtable} at (6,5) size 60x66
               RenderTableSection (anonymous) at (0,0) size 60x66
                 RenderTableRow {mtr} at (0,0) size 60x22
@@ -267,201 +267,213 @@ layer at (0,0) size 800x578
                       RenderInline {mn} at (0,0) size 12x12
                         RenderText {#text} at (7,10) size 12x12
                           text run at (7,10) width 12: "33"
-            RenderBlock {mo} at (66,0) size 5x81
+            RenderBlock {mo} at (66,0) size 5x80
           RenderText {#text} at (0,0) size 0x0
 layer at (36,308) size 5x10 scrollHeight 15
   RenderBlock {mo} at (0,0) size 5x10
-    RenderText {mo} at (0,-2) size 5x17
-      text run at (0,-2) width 5: "\x{239B}"
-layer at (36,318) size 5x10 scrollHeight 15
+layer at (36,318) size 5x10 scrollHeight 14
   RenderBlock {mo} at (0,10) size 5x10
-    RenderText {mo} at (0,-2) size 5x17
-      text run at (0,-2) width 5: "\x{239C}"
-layer at (36,328) size 5x10 scrollHeight 15
+    RenderText {mo} at (0,-3) size 5x17
+      text run at (0,-3) width 5: "\x{239C}"
+layer at (36,328) size 5x10 scrollHeight 14
   RenderBlock {mo} at (0,20) size 5x10
-    RenderText {mo} at (0,-2) size 5x17
-      text run at (0,-2) width 5: "\x{239C}"
-layer at (36,338) size 5x4 scrollHeight 15
+    RenderText {mo} at (0,-3) size 5x17
+      text run at (0,-3) width 5: "\x{239C}"
+layer at (36,338) size 5x4 scrollHeight 14
   RenderBlock {mo} at (0,30) size 5x4
-    RenderText {mo} at (0,-2) size 5x17
-      text run at (0,-2) width 5: "\x{239C}"
-layer at (36,342) size 5x12 scrollHeight 15
-  RenderBlock {mo} at (0,34) size 5x12
+    RenderText {mo} at (0,-3) size 5x17
+      text run at (0,-3) width 5: "\x{239C}"
+layer at (36,342) size 5x11 scrollHeight 14
+  RenderBlock {mo} at (0,34) size 5x11
 layer at (89,308) size 5x10 scrollHeight 15
   RenderBlock {mo} at (0,0) size 5x10
-    RenderText {mo} at (0,-2) size 5x17
-      text run at (0,-2) width 5: "\x{239E}"
-layer at (89,318) size 5x10 scrollHeight 15
+layer at (89,318) size 5x10 scrollHeight 14
   RenderBlock {mo} at (0,10) size 5x10
-    RenderText {mo} at (0,-2) size 5x17
-      text run at (0,-2) width 5: "\x{239F}"
-layer at (89,328) size 5x10 scrollHeight 15
+    RenderText {mo} at (0,-3) size 5x17
+      text run at (0,-3) width 5: "\x{239F}"
+layer at (89,328) size 5x10 scrollHeight 14
   RenderBlock {mo} at (0,20) size 5x10
-    RenderText {mo} at (0,-2) size 5x17
-      text run at (0,-2) width 5: "\x{239F}"
-layer at (89,338) size 5x4 scrollHeight 15
+    RenderText {mo} at (0,-3) size 5x17
+      text run at (0,-3) width 5: "\x{239F}"
+layer at (89,338) size 5x4 scrollHeight 14
   RenderBlock {mo} at (0,30) size 5x4
-    RenderText {mo} at (0,-2) size 5x17
-      text run at (0,-2) width 5: "\x{239F}"
-layer at (89,342) size 5x12 scrollHeight 15
-  RenderBlock {mo} at (0,34) size 5x12
-layer at (43,370) size 5x10 scrollHeight 15
+    RenderText {mo} at (0,-3) size 5x17
+      text run at (0,-3) width 5: "\x{239F}"
+layer at (89,342) size 5x11 scrollHeight 14
+  RenderBlock {mo} at (0,34) size 5x11
+layer at (43,369) size 5x10 scrollHeight 15
   RenderBlock {mo} at (0,0) size 5x10
-    RenderText {mo} at (0,-2) size 5x17
-      text run at (0,-2) width 5: "\x{239B}"
-layer at (43,380) size 5x10 scrollHeight 15
+layer at (43,379) size 5x10 scrollHeight 14
   RenderBlock {mo} at (0,10) size 5x10
-    RenderText {mo} at (0,-2) size 5x17
-      text run at (0,-2) width 5: "\x{239C}"
-layer at (43,390) size 5x10 scrollHeight 15
+    RenderText {mo} at (0,-3) size 5x17
+      text run at (0,-3) width 5: "\x{239C}"
+layer at (43,389) size 5x10 scrollHeight 14
   RenderBlock {mo} at (0,20) size 5x10
-    RenderText {mo} at (0,-2) size 5x17
-      text run at (0,-2) width 5: "\x{239C}"
-layer at (43,400) size 5x10 scrollHeight 15
+    RenderText {mo} at (0,-3) size 5x17
+      text run at (0,-3) width 5: "\x{239C}"
+layer at (43,399) size 5x10 scrollHeight 14
   RenderBlock {mo} at (0,30) size 5x10
-    RenderText {mo} at (0,-2) size 5x17
-      text run at (0,-2) width 5: "\x{239C}"
-layer at (43,410) size 5x10 scrollHeight 15
+    RenderText {mo} at (0,-3) size 5x17
+      text run at (0,-3) width 5: "\x{239C}"
+layer at (43,409) size 5x10 scrollHeight 14
   RenderBlock {mo} at (0,40) size 5x10
-    RenderText {mo} at (0,-2) size 5x17
-      text run at (0,-2) width 5: "\x{239C}"
-layer at (43,420) size 5x10 scrollHeight 15
+    RenderText {mo} at (0,-3) size 5x17
+      text run at (0,-3) width 5: "\x{239C}"
+layer at (43,419) size 5x10 scrollHeight 14
   RenderBlock {mo} at (0,50) size 5x10
-    RenderText {mo} at (0,-2) size 5x17
-      text run at (0,-2) width 5: "\x{239C}"
-layer at (43,430) size 5x10 scrollHeight 15
+    RenderText {mo} at (0,-3) size 5x17
+      text run at (0,-3) width 5: "\x{239C}"
+layer at (43,429) size 5x10 scrollHeight 14
   RenderBlock {mo} at (0,60) size 5x10
-    RenderText {mo} at (0,-2) size 5x17
-      text run at (0,-2) width 5: "\x{239C}"
-layer at (43,440) size 5x10 scrollHeight 15
+    RenderText {mo} at (0,-3) size 5x17
+      text run at (0,-3) width 5: "\x{239C}"
+layer at (43,439) size 5x10 scrollHeight 14
   RenderBlock {mo} at (0,70) size 5x10
-    RenderText {mo} at (0,-2) size 5x17
-      text run at (0,-2) width 5: "\x{239C}"
-layer at (43,450) size 5x3 scrollHeight 15
+    RenderText {mo} at (0,-3) size 5x17
+      text run at (0,-3) width 5: "\x{239C}"
+layer at (43,449) size 5x3 scrollHeight 14
   RenderBlock {mo} at (0,80) size 5x3
-    RenderText {mo} at (0,-2) size 5x17
-      text run at (0,-2) width 5: "\x{239C}"
-layer at (43,453) size 5x12 scrollHeight 15
-  RenderBlock {mo} at (0,83) size 5x12
-layer at (117,370) size 5x10 scrollHeight 15
+    RenderText {mo} at (0,-3) size 5x17
+      text run at (0,-3) width 5: "\x{239C}"
+layer at (43,452) size 5x11 scrollHeight 14
+  RenderBlock {mo} at (0,83) size 5x11
+layer at (117,369) size 5x10 scrollHeight 15
   RenderBlock {mo} at (0,0) size 5x10
-    RenderText {mo} at (0,-2) size 5x17
-      text run at (0,-2) width 5: "\x{239E}"
-layer at (117,380) size 5x10 scrollHeight 15
+layer at (117,379) size 5x10 scrollHeight 14
   RenderBlock {mo} at (0,10) size 5x10
-    RenderText {mo} at (0,-2) size 5x17
-      text run at (0,-2) width 5: "\x{239F}"
-layer at (117,390) size 5x10 scrollHeight 15
+    RenderText {mo} at (0,-3) size 5x17
+      text run at (0,-3) width 5: "\x{239F}"
+layer at (117,389) size 5x10 scrollHeight 14
   RenderBlock {mo} at (0,20) size 5x10
-    RenderText {mo} at (0,-2) size 5x17
-      text run at (0,-2) width 5: "\x{239F}"
-layer at (117,400) size 5x10 scrollHeight 15
+    RenderText {mo} at (0,-3) size 5x17
+      text run at (0,-3) width 5: "\x{239F}"
+layer at (117,399) size 5x10 scrollHeight 14
   RenderBlock {mo} at (0,30) size 5x10
-    RenderText {mo} at (0,-2) size 5x17
-      text run at (0,-2) width 5: "\x{239F}"
-layer at (117,410) size 5x10 scrollHeight 15
+    RenderText {mo} at (0,-3) size 5x17
+      text run at (0,-3) width 5: "\x{239F}"
+layer at (117,409) size 5x10 scrollHeight 14
   RenderBlock {mo} at (0,40) size 5x10
-    RenderText {mo} at (0,-2) size 5x17
-      text run at (0,-2) width 5: "\x{239F}"
-layer at (117,420) size 5x10 scrollHeight 15
+    RenderText {mo} at (0,-3) size 5x17
+      text run at (0,-3) width 5: "\x{239F}"
+layer at (117,419) size 5x10 scrollHeight 14
   RenderBlock {mo} at (0,50) size 5x10
-    RenderText {mo} at (0,-2) size 5x17
-      text run at (0,-2) width 5: "\x{239F}"
-layer at (117,430) size 5x10 scrollHeight 15
+    RenderText {mo} at (0,-3) size 5x17
+      text run at (0,-3) width 5: "\x{239F}"
+layer at (117,429) size 5x10 scrollHeight 14
   RenderBlock {mo} at (0,60) size 5x10
-    RenderText {mo} at (0,-2) size 5x17
-      text run at (0,-2) width 5: "\x{239F}"
-layer at (117,440) size 5x10 scrollHeight 15
+    RenderText {mo} at (0,-3) size 5x17
+      text run at (0,-3) width 5: "\x{239F}"
+layer at (117,439) size 5x10 scrollHeight 14
   RenderBlock {mo} at (0,70) size 5x10
-    RenderText {mo} at (0,-2) size 5x17
-      text run at (0,-2) width 5: "\x{239F}"
-layer at (117,450) size 5x3 scrollHeight 15
+    RenderText {mo} at (0,-3) size 5x17
+      text run at (0,-3) width 5: "\x{239F}"
+layer at (117,449) size 5x3 scrollHeight 14
   RenderBlock {mo} at (0,80) size 5x3
-    RenderText {mo} at (0,-2) size 5x17
-      text run at (0,-2) width 5: "\x{239F}"
-layer at (117,453) size 5x12 scrollHeight 15
-  RenderBlock {mo} at (0,83) size 5x12
-layer at (36,481) size 5x10 scrollHeight 15
+    RenderText {mo} at (0,-3) size 5x17
+      text run at (0,-3) width 5: "\x{239F}"
+layer at (117,452) size 5x11 scrollHeight 14
+  RenderBlock {mo} at (0,83) size 5x11
+layer at (36,479) size 5x10 scrollHeight 15
   RenderBlock {mo} at (0,0) size 5x10
-    RenderText {mo} at (0,-2) size 5x17
-      text run at (0,-2) width 5: "\x{23A1}"
-layer at (36,491) size 5x10 scrollHeight 15
+layer at (36,489) size 5x10 scrollHeight 14
   RenderBlock {mo} at (0,10) size 5x10
-    RenderText {mo} at (0,-2) size 5x17
-      text run at (0,-2) width 5: "\x{23A2}"
-layer at (36,501) size 5x10 scrollHeight 15
+    RenderText {mo} at (0,-3) size 5x17
+      text run at (0,-3) width 5: "\x{23A2}"
+layer at (36,499) size 5x10 scrollHeight 14
   RenderBlock {mo} at (0,20) size 5x10
-    RenderText {mo} at (0,-2) size 5x17
-      text run at (0,-2) width 5: "\x{23A2}"
-layer at (36,511) size 5x10 scrollHeight 15
+    RenderText {mo} at (0,-3) size 5x17
+      text run at (0,-3) width 5: "\x{23A2}"
+layer at (36,509) size 5x10 scrollHeight 14
   RenderBlock {mo} at (0,30) size 5x10
-    RenderText {mo} at (0,-2) size 5x17
-      text run at (0,-2) width 5: "\x{23A2}"
-layer at (36,521) size 5x10 scrollHeight 15
+    RenderText {mo} at (0,-3) size 5x17
+      text run at (0,-3) width 5: "\x{23A2}"
+layer at (36,519) size 5x10 scrollHeight 14
   RenderBlock {mo} at (0,40) size 5x10
-    RenderText {mo} at (0,-2) size 5x17
-      text run at (0,-2) width 5: "\x{23A2}"
-layer at (36,531) size 5x10 scrollHeight 15
+    RenderText {mo} at (0,-3) size 5x17
+      text run at (0,-3) width 5: "\x{23A2}"
+layer at (36,529) size 5x10 scrollHeight 14
   RenderBlock {mo} at (0,50) size 5x10
-    RenderText {mo} at (0,-2) size 5x17
-      text run at (0,-2) width 5: "\x{23A2}"
-layer at (36,541) size 5x9 scrollHeight 15
+    RenderText {mo} at (0,-3) size 5x17
+      text run at (0,-3) width 5: "\x{23A2}"
+layer at (36,539) size 5x9 scrollHeight 14
   RenderBlock {mo} at (0,60) size 5x9
-    RenderText {mo} at (0,-2) size 5x17
-      text run at (0,-2) width 5: "\x{23A2}"
-layer at (36,550) size 5x12 scrollHeight 15
-  RenderBlock {mo} at (0,69) size 5x12
-layer at (101,481) size 5x10 scrollHeight 15
+    RenderText {mo} at (0,-3) size 5x17
+      text run at (0,-3) width 5: "\x{23A2}"
+layer at (36,548) size 5x11 scrollHeight 14
+  RenderBlock {mo} at (0,69) size 5x11
+layer at (101,479) size 5x10 scrollHeight 15
   RenderBlock {mo} at (0,0) size 5x10
-    RenderText {mo} at (0,-2) size 5x17
-      text run at (0,-2) width 5: "\x{23A4}"
-layer at (101,491) size 5x10 scrollHeight 15
+layer at (101,489) size 5x10 scrollHeight 14
   RenderBlock {mo} at (0,10) size 5x10
-    RenderText {mo} at (0,-2) size 5x17
-      text run at (0,-2) width 5: "\x{23A5}"
-layer at (101,501) size 5x10 scrollHeight 15
+    RenderText {mo} at (0,-3) size 5x17
+      text run at (0,-3) width 5: "\x{23A5}"
+layer at (101,499) size 5x10 scrollHeight 14
   RenderBlock {mo} at (0,20) size 5x10
-    RenderText {mo} at (0,-2) size 5x17
-      text run at (0,-2) width 5: "\x{23A5}"
-layer at (101,511) size 5x10 scrollHeight 15
+    RenderText {mo} at (0,-3) size 5x17
+      text run at (0,-3) width 5: "\x{23A5}"
+layer at (101,509) size 5x10 scrollHeight 14
   RenderBlock {mo} at (0,30) size 5x10
-    RenderText {mo} at (0,-2) size 5x17
-      text run at (0,-2) width 5: "\x{23A5}"
-layer at (101,521) size 5x10 scrollHeight 15
+    RenderText {mo} at (0,-3) size 5x17
+      text run at (0,-3) width 5: "\x{23A5}"
+layer at (101,519) size 5x10 scrollHeight 14
   RenderBlock {mo} at (0,40) size 5x10
-    RenderText {mo} at (0,-2) size 5x17
-      text run at (0,-2) width 5: "\x{23A5}"
-layer at (101,531) size 5x10 scrollHeight 15
+    RenderText {mo} at (0,-3) size 5x17
+      text run at (0,-3) width 5: "\x{23A5}"
+layer at (101,529) size 5x10 scrollHeight 14
   RenderBlock {mo} at (0,50) size 5x10
-    RenderText {mo} at (0,-2) size 5x17
-      text run at (0,-2) width 5: "\x{23A5}"
-layer at (101,541) size 5x9 scrollHeight 15
+    RenderText {mo} at (0,-3) size 5x17
+      text run at (0,-3) width 5: "\x{23A5}"
+layer at (101,539) size 5x9 scrollHeight 14
   RenderBlock {mo} at (0,60) size 5x9
-    RenderText {mo} at (0,-2) size 5x17
-      text run at (0,-2) width 5: "\x{23A5}"
-layer at (101,550) size 5x12 scrollHeight 15
-  RenderBlock {mo} at (0,69) size 5x12
-layer at (36,338) size 5x15 backgroundClip at (36,342) size 5x12 clip at (36,342) size 5x12 outlineClip at (36,342) size 5x12
-  RenderBlock (relative positioned) {mo} at (0,0) size 5x12
-    RenderText {mo} at (0,-2) size 5x17
-      text run at (0,-2) width 5: "\x{239D}"
-layer at (89,338) size 5x15 backgroundClip at (89,342) size 5x12 clip at (89,342) size 5x12 outlineClip at (89,342) size 5x12
-  RenderBlock (relative positioned) {mo} at (0,0) size 5x12
-    RenderText {mo} at (0,-2) size 5x17
-      text run at (0,-2) width 5: "\x{23A0}"
-layer at (43,449) size 5x15 backgroundClip at (43,453) size 5x12 clip at (43,453) size 5x12 outlineClip at (43,453) size 5x12
-  RenderBlock (relative positioned) {mo} at (0,0) size 5x12
-    RenderText {mo} at (0,-2) size 5x17
-      text run at (0,-2) width 5: "\x{239D}"
-layer at (117,449) size 5x15 backgroundClip at (117,453) size 5x12 clip at (117,453) size 5x12 outlineClip at (117,453) size 5x12
-  RenderBlock (relative positioned) {mo} at (0,0) size 5x12
-    RenderText {mo} at (0,-2) size 5x17
-      text run at (0,-2) width 5: "\x{23A0}"
-layer at (36,546) size 5x15 backgroundClip at (36,550) size 5x12 clip at (36,550) size 5x12 outlineClip at (36,550) size 5x12
-  RenderBlock (relative positioned) {mo} at (0,0) size 5x12
-    RenderText {mo} at (0,-2) size 5x17
-      text run at (0,-2) width 5: "\x{23A3}"
-layer at (101,546) size 5x15 backgroundClip at (101,550) size 5x12 clip at (101,550) size 5x12 outlineClip at (101,550) size 5x12
-  RenderBlock (relative positioned) {mo} at (0,0) size 5x12
-    RenderText {mo} at (0,-2) size 5x17
-      text run at (0,-2) width 5: "\x{23A6}"
+    RenderText {mo} at (0,-3) size 5x17
+      text run at (0,-3) width 5: "\x{23A5}"
+layer at (101,548) size 5x11 scrollHeight 14
+  RenderBlock {mo} at (0,69) size 5x11
+layer at (36,309) size 5x14 backgroundClip at (36,308) size 5x10 clip at (36,308) size 5x10 outlineClip at (36,308) size 5x10
+  RenderBlock (relative positioned) {mo} at (0,0) size 5x11
+    RenderText {mo} at (0,-3) size 5x17
+      text run at (0,-3) width 5: "\x{239B}"
+layer at (36,339) size 5x14 backgroundClip at (36,342) size 5x11 clip at (36,342) size 5x11 outlineClip at (36,342) size 5x11
+  RenderBlock (relative positioned) {mo} at (0,0) size 5x11
+    RenderText {mo} at (0,-3) size 5x17
+      text run at (0,-3) width 5: "\x{239D}"
+layer at (89,309) size 5x14 backgroundClip at (89,308) size 5x10 clip at (89,308) size 5x10 outlineClip at (89,308) size 5x10
+  RenderBlock (relative positioned) {mo} at (0,0) size 5x11
+    RenderText {mo} at (0,-3) size 5x17
+      text run at (0,-3) width 5: "\x{239E}"
+layer at (89,339) size 5x14 backgroundClip at (89,342) size 5x11 clip at (89,342) size 5x11 outlineClip at (89,342) size 5x11
+  RenderBlock (relative positioned) {mo} at (0,0) size 5x11
+    RenderText {mo} at (0,-3) size 5x17
+      text run at (0,-3) width 5: "\x{23A0}"
+layer at (43,370) size 5x14 backgroundClip at (43,369) size 5x10 clip at (43,369) size 5x10 outlineClip at (43,369) size 5x10
+  RenderBlock (relative positioned) {mo} at (0,0) size 5x11
+    RenderText {mo} at (0,-3) size 5x17
+      text run at (0,-3) width 5: "\x{239B}"
+layer at (43,449) size 5x14 backgroundClip at (43,452) size 5x11 clip at (43,452) size 5x11 outlineClip at (43,452) size 5x11
+  RenderBlock (relative positioned) {mo} at (0,0) size 5x11
+    RenderText {mo} at (0,-3) size 5x17
+      text run at (0,-3) width 5: "\x{239D}"
+layer at (117,370) size 5x14 backgroundClip at (117,369) size 5x10 clip at (117,369) size 5x10 outlineClip at (117,369) size 5x10
+  RenderBlock (relative positioned) {mo} at (0,0) size 5x11
+    RenderText {mo} at (0,-3) size 5x17
+      text run at (0,-3) width 5: "\x{239E}"
+layer at (117,449) size 5x14 backgroundClip at (117,452) size 5x11 clip at (117,452) size 5x11 outlineClip at (117,452) size 5x11
+  RenderBlock (relative positioned) {mo} at (0,0) size 5x11
+    RenderText {mo} at (0,-3) size 5x17
+      text run at (0,-3) width 5: "\x{23A0}"
+layer at (36,480) size 5x14 backgroundClip at (36,479) size 5x10 clip at (36,479) size 5x10 outlineClip at (36,479) size 5x10
+  RenderBlock (relative positioned) {mo} at (0,0) size 5x11
+    RenderText {mo} at (0,-3) size 5x17
+      text run at (0,-3) width 5: "\x{23A1}"
+layer at (36,545) size 5x14 backgroundClip at (36,548) size 5x11 clip at (36,548) size 5x11 outlineClip at (36,548) size 5x11
+  RenderBlock (relative positioned) {mo} at (0,0) size 5x11
+    RenderText {mo} at (0,-3) size 5x17
+      text run at (0,-3) width 5: "\x{23A3}"
+layer at (101,480) size 5x14 backgroundClip at (101,479) size 5x10 clip at (101,479) size 5x10 outlineClip at (101,479) size 5x10
+  RenderBlock (relative positioned) {mo} at (0,0) size 5x11
+    RenderText {mo} at (0,-3) size 5x17
+      text run at (0,-3) width 5: "\x{23A4}"
+layer at (101,545) size 5x14 backgroundClip at (101,548) size 5x11 clip at (101,548) size 5x11 outlineClip at (101,548) size 5x11
+  RenderBlock (relative positioned) {mo} at (0,0) size 5x11
+    RenderText {mo} at (0,-3) size 5x17
+      text run at (0,-3) width 5: "\x{23A6}"
index 63edc2b..b7d8a90 100644 (file)
@@ -1 +1 @@
-0d2a7ae7dbf7fe306d00b7257ba6911e
\ No newline at end of file
+1afc14fc06c74025c11125cc26899575
\ No newline at end of file
index 38c68c5..edd007d 100644 (file)
Binary files a/LayoutTests/platform/mac/mathml/presentation/row-expected.png and b/LayoutTests/platform/mac/mathml/presentation/row-expected.png differ
index c73292c..bd1eb04 100644 (file)
@@ -1,9 +1,9 @@
-layer at (0,0) size 785x641
-  RenderView at (0,0) size 785x600
-layer at (0,0) size 785x641
-  RenderBlock {html} at (0,0) size 785x641
-    RenderBody {body} at (8,16) size 769x609
-      RenderBlock {p} at (0,0) size 769x19
+layer at (0,0) size 800x600
+  RenderView at (0,0) size 800x600
+layer at (0,0) size 800x490
+  RenderBlock {html} at (0,0) size 800x490
+    RenderBody {body} at (8,16) size 784x458
+      RenderBlock {p} at (0,0) size 784x19
         RenderBlock {math} at (0,0) size 26x19
           RenderInline {mi} at (0,0) size 7x16
             RenderText {#text} at (1,3) size 7x16
@@ -16,7 +16,7 @@ layer at (0,0) size 785x641
             RenderText {#text} at (17,3) size 8x16
               text run at (17,3) width 8: "1"
         RenderText {#text} at (0,0) size 0x0
-      RenderBlock {p} at (0,35) size 769x21
+      RenderBlock {p} at (0,35) size 784x21
         RenderText {#text} at (0,2) size 40x18
           text run at (0,2) width 40: "16px: "
         RenderBlock {math} at (40,0) size 43x21
@@ -100,214 +100,214 @@ layer at (0,0) size 785x641
                 text run at (6,5) width 7: "x"
             RenderBlock {div} at (13,5) size 16x16 [bgcolor=#00FF00]
         RenderText {#text} at (0,0) size 0x0
-      RenderBlock {p} at (0,72) size 769x32
+      RenderBlock {p} at (0,72) size 784x31
         RenderText {#text} at (0,2) size 40x18
           text run at (0,2) width 40: "24px: "
-        RenderBlock {math} at (40,0) size 49x32
-          RenderBlock {mrow} at (1,0) size 47x32
-            RenderBlock {mo} at (1,1) size 7x31 [bgcolor=#C8C8C8]
+        RenderBlock {math} at (40,0) size 49x31
+          RenderBlock {mrow} at (1,0) size 47x31
+            RenderBlock {mo} at (1,1) size 7x30 [bgcolor=#C8C8C8]
             RenderInline {mi} at (0,0) size 7x16
               RenderText {#text} at (8,6) size 7x16
                 text run at (8,6) width 7: "x"
             RenderBlock {div} at (15,0) size 24x24 [bgcolor=#00FF00]
-            RenderBlock {mo} at (39,1) size 7x31 [bgcolor=#C8C8C8]
+            RenderBlock {mo} at (39,1) size 7x30 [bgcolor=#C8C8C8]
         RenderText {#text} at (89,2) size 4x18
           text run at (89,2) width 4: " "
-        RenderBlock {math} at (93,0) size 45x31
-          RenderBlock {mrow} at (1,0) size 43x31
-            RenderBlock {mo} at (1,1) size 5x30 [bgcolor=#C8C8C8]
+        RenderBlock {math} at (93,0) size 45x30
+          RenderBlock {mrow} at (1,0) size 43x30
+            RenderBlock {mo} at (1,1) size 5x29 [bgcolor=#C8C8C8]
             RenderInline {mi} at (0,0) size 7x16
               RenderText {#text} at (6,6) size 7x16
                 text run at (6,6) width 7: "x"
             RenderBlock {div} at (13,0) size 24x24 [bgcolor=#00FF00]
-            RenderBlock {mo} at (37,1) size 5x30 [bgcolor=#C8C8C8]
+            RenderBlock {mo} at (37,1) size 5x29 [bgcolor=#C8C8C8]
         RenderText {#text} at (138,2) size 4x18
           text run at (138,2) width 4: " "
-        RenderBlock {math} at (142,0) size 45x31
-          RenderBlock {mrow} at (1,0) size 43x31
-            RenderBlock {mo} at (1,1) size 5x30 [bgcolor=#C8C8C8]
+        RenderBlock {math} at (142,0) size 45x30
+          RenderBlock {mrow} at (1,0) size 43x30
+            RenderBlock {mo} at (1,1) size 5x29 [bgcolor=#C8C8C8]
             RenderInline {mi} at (0,0) size 7x16
               RenderText {#text} at (6,6) size 7x16
                 text run at (6,6) width 7: "x"
             RenderBlock {div} at (13,0) size 24x24 [bgcolor=#00FF00]
-            RenderBlock {mo} at (37,1) size 5x30 [bgcolor=#C8C8C8]
+            RenderBlock {mo} at (37,1) size 5x29 [bgcolor=#C8C8C8]
         RenderText {#text} at (187,2) size 4x18
           text run at (187,2) width 4: " "
-        RenderBlock {math} at (191,0) size 51x31
-          RenderBlock {mrow} at (1,0) size 49x31
-            RenderBlock {mo} at (1,1) size 8x30 [bgcolor=#C8C8C8]
+        RenderBlock {math} at (191,0) size 51x30
+          RenderBlock {mrow} at (1,0) size 49x30
+            RenderBlock {mo} at (1,1) size 8x29 [bgcolor=#C8C8C8]
             RenderInline {mi} at (0,0) size 7x16
               RenderText {#text} at (9,6) size 7x16
                 text run at (9,6) width 7: "x"
             RenderBlock {div} at (16,0) size 24x24 [bgcolor=#00FF00]
-            RenderBlock {mo} at (40,1) size 8x30 [bgcolor=#C8C8C8]
+            RenderBlock {mo} at (40,1) size 8x29 [bgcolor=#C8C8C8]
         RenderText {#text} at (242,2) size 4x18
           text run at (242,2) width 4: " "
-        RenderBlock {math} at (246,0) size 45x31
-          RenderBlock {mrow} at (1,0) size 43x31
-            RenderBlock {mo} at (1,1) size 10x30 [bgcolor=#C8C8C8]
+        RenderBlock {math} at (246,0) size 45x30
+          RenderBlock {mrow} at (1,0) size 43x30
+            RenderBlock {mo} at (1,1) size 10x29 [bgcolor=#C8C8C8]
             RenderInline {mi} at (0,0) size 7x16
               RenderText {#text} at (11,6) size 7x16
                 text run at (11,6) width 7: "x"
             RenderBlock {div} at (18,0) size 24x24 [bgcolor=#00FF00]
         RenderText {#text} at (0,0) size 0x0
-      RenderBlock {p} at (0,120) size 769x40
+      RenderBlock {p} at (0,119) size 784x39
         RenderText {#text} at (0,8) size 40x18
           text run at (0,8) width 40: "32px: "
-        RenderBlock {math} at (40,0) size 57x40
-          RenderBlock {mrow} at (1,0) size 55x40
-            RenderBlock {mo} at (1,0) size 7x40 [bgcolor=#C8C8C8]
+        RenderBlock {math} at (40,0) size 57x39
+          RenderBlock {mrow} at (1,0) size 55x39
+            RenderBlock {mo} at (1,0) size 7x39 [bgcolor=#C8C8C8]
             RenderInline {mi} at (0,0) size 7x16
               RenderText {#text} at (8,11) size 7x16
                 text run at (8,11) width 7: "x"
             RenderBlock {div} at (15,0) size 32x32 [bgcolor=#00FF00]
-            RenderBlock {mo} at (47,0) size 7x40 [bgcolor=#C8C8C8]
+            RenderBlock {mo} at (47,0) size 7x39 [bgcolor=#C8C8C8]
         RenderText {#text} at (97,8) size 4x18
           text run at (97,8) width 4: " "
-        RenderBlock {math} at (101,0) size 53x40
-          RenderBlock {mrow} at (1,0) size 51x40
-            RenderBlock {mo} at (1,0) size 5x40 [bgcolor=#C8C8C8]
+        RenderBlock {math} at (101,0) size 53x39
+          RenderBlock {mrow} at (1,0) size 51x39
+            RenderBlock {mo} at (1,0) size 5x39 [bgcolor=#C8C8C8]
             RenderInline {mi} at (0,0) size 7x16
               RenderText {#text} at (6,11) size 7x16
                 text run at (6,11) width 7: "x"
             RenderBlock {div} at (13,0) size 32x32 [bgcolor=#00FF00]
-            RenderBlock {mo} at (45,0) size 5x40 [bgcolor=#C8C8C8]
+            RenderBlock {mo} at (45,0) size 5x39 [bgcolor=#C8C8C8]
         RenderText {#text} at (154,8) size 4x18
           text run at (154,8) width 4: " "
-        RenderBlock {math} at (158,0) size 53x40
-          RenderBlock {mrow} at (1,0) size 51x40
-            RenderBlock {mo} at (1,0) size 5x40 [bgcolor=#C8C8C8]
+        RenderBlock {math} at (158,0) size 53x39
+          RenderBlock {mrow} at (1,0) size 51x39
+            RenderBlock {mo} at (1,0) size 5x39 [bgcolor=#C8C8C8]
             RenderInline {mi} at (0,0) size 7x16
               RenderText {#text} at (6,11) size 7x16
                 text run at (6,11) width 7: "x"
             RenderBlock {div} at (13,0) size 32x32 [bgcolor=#00FF00]
-            RenderBlock {mo} at (45,0) size 5x40 [bgcolor=#C8C8C8]
+            RenderBlock {mo} at (45,0) size 5x39 [bgcolor=#C8C8C8]
         RenderText {#text} at (211,8) size 4x18
           text run at (211,8) width 4: " "
-        RenderBlock {math} at (215,0) size 59x40
-          RenderBlock {mrow} at (1,0) size 57x40
-            RenderBlock {mo} at (1,0) size 8x40 [bgcolor=#C8C8C8]
+        RenderBlock {math} at (215,0) size 59x39
+          RenderBlock {mrow} at (1,0) size 57x39
+            RenderBlock {mo} at (1,0) size 8x39 [bgcolor=#C8C8C8]
             RenderInline {mi} at (0,0) size 7x16
               RenderText {#text} at (9,11) size 7x16
                 text run at (9,11) width 7: "x"
             RenderBlock {div} at (16,0) size 32x32 [bgcolor=#00FF00]
-            RenderBlock {mo} at (48,0) size 8x40 [bgcolor=#C8C8C8]
+            RenderBlock {mo} at (48,0) size 8x39 [bgcolor=#C8C8C8]
         RenderText {#text} at (274,8) size 4x18
           text run at (274,8) width 4: " "
-        RenderBlock {math} at (278,0) size 53x40
-          RenderBlock {mrow} at (1,0) size 51x40
-            RenderBlock {mo} at (1,0) size 10x40 [bgcolor=#C8C8C8]
+        RenderBlock {math} at (278,0) size 53x39
+          RenderBlock {mrow} at (1,0) size 51x39
+            RenderBlock {mo} at (1,0) size 10x39 [bgcolor=#C8C8C8]
             RenderInline {mi} at (0,0) size 7x16
               RenderText {#text} at (11,11) size 7x16
                 text run at (11,11) width 7: "x"
             RenderBlock {div} at (18,0) size 32x32 [bgcolor=#00FF00]
         RenderText {#text} at (0,0) size 0x0
-      RenderBlock {p} at (0,176) size 769x59
+      RenderBlock {p} at (0,174) size 784x58
         RenderText {#text} at (0,19) size 40x18
           text run at (0,19) width 40: "48px: "
-        RenderBlock {math} at (40,0) size 73x59
-          RenderBlock {mrow} at (1,0) size 71x59
-            RenderBlock {mo} at (1,0) size 7x59 [bgcolor=#C8C8C8]
+        RenderBlock {math} at (40,0) size 73x58
+          RenderBlock {mrow} at (1,0) size 71x58
+            RenderBlock {mo} at (1,0) size 7x58 [bgcolor=#C8C8C8]
             RenderInline {mi} at (0,0) size 7x16
               RenderText {#text} at (8,22) size 7x16
                 text run at (8,22) width 7: "x"
             RenderBlock {div} at (15,0) size 48x48 [bgcolor=#00FF00]
-            RenderBlock {mo} at (63,0) size 7x59 [bgcolor=#C8C8C8]
+            RenderBlock {mo} at (63,0) size 7x58 [bgcolor=#C8C8C8]
         RenderText {#text} at (113,19) size 4x18
           text run at (113,19) width 4: " "
-        RenderBlock {math} at (117,0) size 69x59
-          RenderBlock {mrow} at (1,0) size 67x59
-            RenderBlock {mo} at (1,0) size 5x59 [bgcolor=#C8C8C8]
+        RenderBlock {math} at (117,0) size 69x58
+          RenderBlock {mrow} at (1,0) size 67x58
+            RenderBlock {mo} at (1,0) size 5x58 [bgcolor=#C8C8C8]
             RenderInline {mi} at (0,0) size 7x16
               RenderText {#text} at (6,22) size 7x16
                 text run at (6,22) width 7: "x"
             RenderBlock {div} at (13,0) size 48x48 [bgcolor=#00FF00]
-            RenderBlock {mo} at (61,0) size 5x59 [bgcolor=#C8C8C8]
+            RenderBlock {mo} at (61,0) size 5x58 [bgcolor=#C8C8C8]
         RenderText {#text} at (186,19) size 4x18
           text run at (186,19) width 4: " "
-        RenderBlock {math} at (190,0) size 69x59
-          RenderBlock {mrow} at (1,0) size 67x59
-            RenderBlock {mo} at (1,0) size 5x59 [bgcolor=#C8C8C8]
+        RenderBlock {math} at (190,0) size 69x58
+          RenderBlock {mrow} at (1,0) size 67x58
+            RenderBlock {mo} at (1,0) size 5x58 [bgcolor=#C8C8C8]
             RenderInline {mi} at (0,0) size 7x16
               RenderText {#text} at (6,22) size 7x16
                 text run at (6,22) width 7: "x"
             RenderBlock {div} at (13,0) size 48x48 [bgcolor=#00FF00]
-            RenderBlock {mo} at (61,0) size 5x59 [bgcolor=#C8C8C8]
+            RenderBlock {mo} at (61,0) size 5x58 [bgcolor=#C8C8C8]
         RenderText {#text} at (259,19) size 4x18
           text run at (259,19) width 4: " "
-        RenderBlock {math} at (263,0) size 75x59
-          RenderBlock {mrow} at (1,0) size 73x59
-            RenderBlock {mo} at (1,0) size 8x59 [bgcolor=#C8C8C8]
+        RenderBlock {math} at (263,0) size 75x58
+          RenderBlock {mrow} at (1,0) size 73x58
+            RenderBlock {mo} at (1,0) size 8x58 [bgcolor=#C8C8C8]
             RenderInline {mi} at (0,0) size 7x16
               RenderText {#text} at (9,22) size 7x16
                 text run at (9,22) width 7: "x"
             RenderBlock {div} at (16,0) size 48x48 [bgcolor=#00FF00]
-            RenderBlock {mo} at (64,0) size 8x59 [bgcolor=#C8C8C8]
+            RenderBlock {mo} at (64,0) size 8x58 [bgcolor=#C8C8C8]
         RenderText {#text} at (338,19) size 4x18
           text run at (338,19) width 4: " "
-        RenderBlock {math} at (342,0) size 69x59
-          RenderBlock {mrow} at (1,0) size 67x59
-            RenderBlock {mo} at (1,0) size 10x59 [bgcolor=#C8C8C8]
+        RenderBlock {math} at (342,0) size 69x58
+          RenderBlock {mrow} at (1,0) size 67x58
+            RenderBlock {mo} at (1,0) size 10x58 [bgcolor=#C8C8C8]
             RenderInline {mi} at (0,0) size 7x16
               RenderText {#text} at (11,22) size 7x16
                 text run at (11,22) width 7: "x"
             RenderBlock {div} at (18,0) size 48x48 [bgcolor=#00FF00]
         RenderText {#text} at (0,0) size 0x0
-      RenderBlock {p} at (0,251) size 769x292
+      RenderBlock {p} at (0,248) size 784x145
         RenderText {#text} at (0,70) size 48x18
           text run at (0,70) width 48: "120px: "
-        RenderBlock {math} at (48,0) size 145x146
-          RenderBlock {mrow} at (1,0) size 143x146
-            RenderBlock {mo} at (1,0) size 7x146 [bgcolor=#C8C8C8]
+        RenderBlock {math} at (48,0) size 73x145
+          RenderBlock {mrow} at (1,0) size 71x145
+            RenderBlock {mo} at (1,0) size 7x145 [bgcolor=#C8C8C8]
             RenderInline {mi} at (0,0) size 7x16
               RenderText {#text} at (8,73) size 7x16
                 text run at (8,73) width 7: "x"
-            RenderBlock {div} at (15,3) size 120x120 [bgcolor=#00FF00]
-            RenderBlock {mo} at (135,0) size 7x146 [bgcolor=#C8C8C8]
-        RenderText {#text} at (193,70) size 4x18
-          text run at (193,70) width 4: " "
-        RenderBlock {math} at (197,0) size 141x146
-          RenderBlock {mrow} at (1,0) size 139x146
-            RenderBlock {mo} at (1,0) size 5x146 [bgcolor=#C8C8C8]
+            RenderBlock {div} at (15,3) size 48x120 [bgcolor=#00FF00]
+            RenderBlock {mo} at (63,0) size 7x145 [bgcolor=#C8C8C8]
+        RenderText {#text} at (121,70) size 4x18
+          text run at (121,70) width 4: " "
+        RenderBlock {math} at (125,0) size 69x145
+          RenderBlock {mrow} at (1,0) size 67x145
+            RenderBlock {mo} at (1,0) size 5x145 [bgcolor=#C8C8C8]
             RenderInline {mi} at (0,0) size 7x16
               RenderText {#text} at (6,73) size 7x16
                 text run at (6,73) width 7: "x"
-            RenderBlock {div} at (13,3) size 120x120 [bgcolor=#00FF00]
-            RenderBlock {mo} at (133,0) size 5x146 [bgcolor=#C8C8C8]
-        RenderText {#text} at (338,70) size 4x18
-          text run at (338,70) width 4: " "
-        RenderBlock {math} at (342,0) size 141x146
-          RenderBlock {mrow} at (1,0) size 139x146
-            RenderBlock {mo} at (1,0) size 5x146 [bgcolor=#C8C8C8]
+            RenderBlock {div} at (13,3) size 48x120 [bgcolor=#00FF00]
+            RenderBlock {mo} at (61,0) size 5x145 [bgcolor=#C8C8C8]
+        RenderText {#text} at (194,70) size 4x18
+          text run at (194,70) width 4: " "
+        RenderBlock {math} at (198,0) size 69x145
+          RenderBlock {mrow} at (1,0) size 67x145
+            RenderBlock {mo} at (1,0) size 5x145 [bgcolor=#C8C8C8]
             RenderInline {mi} at (0,0) size 7x16
               RenderText {#text} at (6,73) size 7x16
                 text run at (6,73) width 7: "x"
-            RenderBlock {div} at (13,3) size 120x120 [bgcolor=#00FF00]
-            RenderBlock {mo} at (133,0) size 5x146 [bgcolor=#C8C8C8]
-        RenderText {#text} at (483,70) size 4x18
-          text run at (483,70) width 4: " "
-        RenderBlock {math} at (487,0) size 147x146
-          RenderBlock {mrow} at (1,0) size 145x146
-            RenderBlock {mo} at (1,0) size 8x146 [bgcolor=#C8C8C8]
+            RenderBlock {div} at (13,3) size 48x120 [bgcolor=#00FF00]
+            RenderBlock {mo} at (61,0) size 5x145 [bgcolor=#C8C8C8]
+        RenderText {#text} at (267,70) size 4x18
+          text run at (267,70) width 4: " "
+        RenderBlock {math} at (271,0) size 75x145
+          RenderBlock {mrow} at (1,0) size 73x145
+            RenderBlock {mo} at (1,0) size 8x145 [bgcolor=#C8C8C8]
             RenderInline {mi} at (0,0) size 7x16
               RenderText {#text} at (9,73) size 7x16
                 text run at (9,73) width 7: "x"
-            RenderBlock {div} at (16,3) size 120x120 [bgcolor=#00FF00]
-            RenderBlock {mo} at (136,0) size 8x146 [bgcolor=#C8C8C8]
-        RenderText {#text} at (634,70) size 4x18
-          text run at (634,70) width 4: " "
-        RenderBlock {math} at (0,146) size 141x146
-          RenderBlock {mrow} at (1,0) size 139x146
-            RenderBlock {mo} at (1,0) size 10x146 [bgcolor=#C8C8C8]
+            RenderBlock {div} at (16,3) size 48x120 [bgcolor=#00FF00]
+            RenderBlock {mo} at (64,0) size 8x145 [bgcolor=#C8C8C8]
+        RenderText {#text} at (346,70) size 4x18
+          text run at (346,70) width 4: " "
+        RenderBlock {math} at (350,0) size 69x145
+          RenderBlock {mrow} at (1,0) size 67x145
+            RenderBlock {mo} at (1,0) size 10x145 [bgcolor=#C8C8C8]
             RenderInline {mi} at (0,0) size 7x16
               RenderText {#text} at (11,73) size 7x16
                 text run at (11,73) width 7: "x"
-            RenderBlock {div} at (18,3) size 120x120 [bgcolor=#00FF00]
+            RenderBlock {div} at (18,3) size 48x120 [bgcolor=#00FF00]
         RenderText {#text} at (0,0) size 0x0
-      RenderBlock {p} at (0,559) size 769x50
-        RenderBlock {math} at (0,0) size 153x50
-          RenderBlock {mrow} at (1,0) size 151x50
-            RenderBlock {mo} at (1,0) size 5x50 [bgcolor=#C8C8C8]
+      RenderBlock {p} at (0,409) size 784x49
+        RenderBlock {math} at (0,0) size 153x49
+          RenderBlock {mrow} at (1,0) size 151x49
+            RenderBlock {mo} at (1,0) size 5x49 [bgcolor=#C8C8C8]
             RenderInline {mi} at (0,0) size 7x16
               RenderText {#text} at (6,17) size 7x16
                 text run at (6,17) width 7: "x"
@@ -326,1161 +326,1237 @@ layer at (0,0) size 785x641
                 RenderText {mo} at (0,16) size 4x16
                   text run at (0,16) width 4: ","
             RenderBlock {div} at (105,1) size 40x40 [bgcolor=#00FF00]
-            RenderBlock {mo} at (145,0) size 5x50 [bgcolor=#C8C8C8]
+            RenderBlock {mo} at (145,0) size 5x49 [bgcolor=#C8C8C8]
         RenderText {#text} at (0,0) size 0x0
 layer at (50,89) size 7x9 scrollHeight 15
   RenderBlock {mo} at (0,0) size 7x9
-    RenderText {mo} at (0,-2) size 7x17
-      text run at (0,-2) width 7: "\x{23A7}"
-layer at (50,98) size 7x10 scrollHeight 15
+layer at (50,98) size 7x10 scrollHeight 14
   RenderBlock {mo} at (0,9) size 7x10
-layer at (50,108) size 7x12 scrollHeight 15
-  RenderBlock {mo} at (0,19) size 7x12
+layer at (50,108) size 7x11 scrollHeight 14
+  RenderBlock {mo} at (0,19) size 7x11
 layer at (88,89) size 7x9 scrollHeight 15
   RenderBlock {mo} at (0,0) size 7x9
-    RenderText {mo} at (0,-2) size 7x17
-      text run at (0,-2) width 7: "\x{23AB}"
-layer at (88,98) size 7x10 scrollHeight 15
+layer at (88,98) size 7x10 scrollHeight 14
   RenderBlock {mo} at (0,9) size 7x10
-layer at (88,108) size 7x12 scrollHeight 15
-  RenderBlock {mo} at (0,19) size 7x12
+layer at (88,108) size 7x11 scrollHeight 14
+  RenderBlock {mo} at (0,19) size 7x11
 layer at (103,89) size 5x10 scrollHeight 15
   RenderBlock {mo} at (0,0) size 5x10
-    RenderText {mo} at (0,-2) size 5x17
-      text run at (0,-2) width 5: "\x{23A1}"
-layer at (103,99) size 5x8 scrollHeight 15
+layer at (103,99) size 5x8 scrollHeight 14
   RenderBlock {mo} at (0,10) size 5x8
-    RenderText {mo} at (0,-2) size 5x17
-      text run at (0,-2) width 5: "\x{23A2}"
-layer at (103,107) size 5x12 scrollHeight 15
-  RenderBlock {mo} at (0,18) size 5x12
+    RenderText {mo} at (0,-3) size 5x17
+      text run at (0,-3) width 5: "\x{23A2}"
+layer at (103,107) size 5x11 scrollHeight 14
+  RenderBlock {mo} at (0,18) size 5x11
 layer at (139,89) size 5x10 scrollHeight 15
   RenderBlock {mo} at (0,0) size 5x10
-    RenderText {mo} at (0,-2) size 5x17
-      text run at (0,-2) width 5: "\x{23A4}"
-layer at (139,99) size 5x8 scrollHeight 15
+layer at (139,99) size 5x8 scrollHeight 14
   RenderBlock {mo} at (0,10) size 5x8
-    RenderText {mo} at (0,-2) size 5x17
-      text run at (0,-2) width 5: "\x{23A5}"
-layer at (139,107) size 5x12 scrollHeight 15
-  RenderBlock {mo} at (0,18) size 5x12
+    RenderText {mo} at (0,-3) size 5x17
+      text run at (0,-3) width 5: "\x{23A5}"
+layer at (139,107) size 5x11 scrollHeight 14
+  RenderBlock {mo} at (0,18) size 5x11
 layer at (152,89) size 5x10 scrollHeight 15
   RenderBlock {mo} at (0,0) size 5x10
-    RenderText {mo} at (0,-2) size 5x17
-      text run at (0,-2) width 5: "\x{239B}"
-layer at (152,99) size 5x8 scrollHeight 15
+layer at (152,99) size 5x8 scrollHeight 14
   RenderBlock {mo} at (0,10) size 5x8
-    RenderText {mo} at (0,-2) size 5x17
-      text run at (0,-2) width 5: "\x{239C}"
-layer at (152,107) size 5x12 scrollHeight 15
-  RenderBlock {mo} at (0,18) size 5x12
+    RenderText {mo} at (0,-3) size 5x17
+      text run at (0,-3) width 5: "\x{239C}"
+layer at (152,107) size 5x11 scrollHeight 14
+  RenderBlock {mo} at (0,18) size 5x11
 layer at (188,89) size 5x10 scrollHeight 15
   RenderBlock {mo} at (0,0) size 5x10
-    RenderText {mo} at (0,-2) size 5x17
-      text run at (0,-2) width 5: "\x{239E}"
-layer at (188,99) size 5x8 scrollHeight 15
+layer at (188,99) size 5x8 scrollHeight 14
   RenderBlock {mo} at (0,10) size 5x8
-    RenderText {mo} at (0,-2) size 5x17
-      text run at (0,-2) width 5: "\x{239F}"
-layer at (188,107) size 5x12 scrollHeight 15
-  RenderBlock {mo} at (0,18) size 5x12
+    RenderText {mo} at (0,-3) size 5x17
+      text run at (0,-3) width 5: "\x{239F}"
+layer at (188,107) size 5x11 scrollHeight 14
+  RenderBlock {mo} at (0,18) size 5x11
 layer at (201,89) size 8x10 scrollHeight 15
   RenderBlock {mo} at (0,0) size 8x10
-    RenderText {mo} at (0,-2) size 8x17
-      text run at (0,-2) width 8: "\x{23D0}"
-layer at (201,99) size 8x8 scrollHeight 15
+layer at (201,99) size 8x8 scrollHeight 14
   RenderBlock {mo} at (0,10) size 8x8
-    RenderText {mo} at (0,-2) size 8x17
-      text run at (0,-2) width 8: "\x{23D0}"
-layer at (201,107) size 8x12 scrollHeight 15
-  RenderBlock {mo} at (0,18) size 8x12
+    RenderText {mo} at (0,-3) size 8x17
+      text run at (0,-3) width 8: "\x{23D0}"
+layer at (201,107) size 8x11 scrollHeight 14
+  RenderBlock {mo} at (0,18) size 8x11
 layer at (240,89) size 8x10 scrollHeight 15
   RenderBlock {mo} at (0,0) size 8x10
-    RenderText {mo} at (0,-2) size 8x17
-      text run at (0,-2) width 8: "\x{23D0}"
-layer at (240,99) size 8x8 scrollHeight 15
+layer at (240,99) size 8x8 scrollHeight 14
   RenderBlock {mo} at (0,10) size 8x8
-    RenderText {mo} at (0,-2) size 8x17
-      text run at (0,-2) width 8: "\x{23D0}"
-layer at (240,107) size 8x12 scrollHeight 15
-  RenderBlock {mo} at (0,18) size 8x12
+    RenderText {mo} at (0,-3) size 8x17
+      text run at (0,-3) width 8: "\x{23D0}"
+layer at (240,107) size 8x11 scrollHeight 14
+  RenderBlock {mo} at (0,18) size 8x11
 layer at (256,89) size 10x10 scrollHeight 15
   RenderBlock {mo} at (0,0) size 10x10
-    RenderText {mo} at (0,-2) size 10x17
-      text run at (0,-2) width 10: "\x{2320}"
-layer at (256,99) size 10x8 scrollHeight 15
+layer at (256,99) size 10x8 scrollHeight 14
   RenderBlock {mo} at (0,10) size 10x8
-    RenderText {mo} at (0,-2) size 10x17
-      text run at (0,-2) width 10: "\x{23AE}"
-layer at (256,107) size 10x12 scrollHeight 15
-  RenderBlock {mo} at (0,18) size 10x12
-layer at (50,136) size 7x10 scrollHeight 15
+    RenderText {mo} at (0,-3) size 10x17
+      text run at (0,-3) width 10: "\x{23AE}"
+layer at (256,107) size 10x11 scrollHeight 14
+  RenderBlock {mo} at (0,18) size 10x11
+layer at (50,135) size 7x10 scrollHeight 15
   RenderBlock {mo} at (0,0) size 7x10
-    RenderText {mo} at (0,-2) size 7x17
-      text run at (0,-2) width 7: "\x{23A7}"
-layer at (50,146) size 7x4 scrollHeight 15
+layer at (50,145) size 7x4 scrollHeight 14
   RenderBlock {mo} at (0,10) size 7x4
-    RenderText {mo} at (0,-2) size 7x17
-      text run at (0,-2) width 7: "\x{23AA}"
-layer at (50,150) size 7x10 scrollHeight 15
+    RenderText {mo} at (0,-3) size 7x17
+      text run at (0,-3) width 7: "\x{23AA}"
+layer at (50,149) size 7x10 scrollHeight 14
   RenderBlock {mo} at (0,14) size 7x10
-layer at (50,160) size 7x4 scrollHeight 15
+layer at (50,159) size 7x4 scrollHeight 14
   RenderBlock {mo} at (0,24) size 7x4
-    RenderText {mo} at (0,-2) size 7x17
-      text run at (0,-2) width 7: "\x{23AA}"
-layer at (50,164) size 7x12 scrollHeight 15
-  RenderBlock {mo} at (0,28) size 7x12
-layer at (96,136) size 7x10 scrollHeight 15
+    RenderText {mo} at (0,-3) size 7x17
+      text run at (0,-3) width 7: "\x{23AA}"
+layer at (50,163) size 7x11 scrollHeight 14
+  RenderBlock {mo} at (0,28) size 7x11
+layer at (96,135) size 7x10 scrollHeight 15
   RenderBlock {mo} at (0,0) size 7x10
-    RenderText {mo} at (0,-2) size 7x17
-      text run at (0,-2) width 7: "\x{23AB}"
-layer at (96,146) size 7x4 scrollHeight 15
+layer at (96,145) size 7x4 scrollHeight 14
   RenderBlock {mo} at (0,10) size 7x4
-    RenderText {mo} at (0,-2) size 7x17
-      text run at (0,-2) width 7: "\x{23AA}"
-layer at (96,150) size 7x10 scrollHeight 15
+    RenderText {mo} at (0,-3) size 7x17
+      text run at (0,-3) width 7: "\x{23AA}"
+layer at (96,149) size 7x10 scrollHeight 14
   RenderBlock {mo} at (0,14) size 7x10
-layer at (96,160) size 7x4 scrollHeight 15
+layer at (96,159) size 7x4 scrollHeight 14
   RenderBlock {mo} at (0,24) size 7x4
-    RenderText {mo} at (0,-2) size 7x17
-      text run at (0,-2) width 7: "\x{23AA}"
-layer at (96,164) size 7x12 scrollHeight 15
-  RenderBlock {mo} at (0,28) size 7x12
-layer at (111,136) size 5x10 scrollHeight 15
+    RenderText {mo} at (0,-3) size 7x17
+      text run at (0,-3) width 7: "\x{23AA}"
+layer at (96,163) size 7x11 scrollHeight 14
+  RenderBlock {mo} at (0,28) size 7x11
+layer at (111,135) size 5x10 scrollHeight 15
   RenderBlock {mo} at (0,0) size 5x10
-    RenderText {mo} at (0,-2) size 5x17
-      text run at (0,-2) width 5: "\x{23A1}"
-layer at (111,146) size 5x10 scrollHeight 15
+layer at (111,145) size 5x10 scrollHeight 14
   RenderBlock {mo} at (0,10) size 5x10
-    RenderText {mo} at (0,-2) size 5x17
-      text run at (0,-2) width 5: "\x{23A2}"
-layer at (111,156) size 5x8 scrollHeight 15
+    RenderText {mo} at (0,-3) size 5x17
+      text run at (0,-3) width 5: "\x{23A2}"
+layer at (111,155) size 5x8 scrollHeight 14
   RenderBlock {mo} at (0,20) size 5x8
-    RenderText {mo} at (0,-2) size 5x17
-      text run at (0,-2) width 5: "\x{23A2}"
-layer at (111,164) size 5x12 scrollHeight 15
-  RenderBlock {mo} at (0,28) size 5x12
-layer at (155,136) size 5x10 scrollHeight 15
+    RenderText {mo} at (0,-3) size 5x17
+      text run at (0,-3) width 5: "\x{23A2}"
+layer at (111,163) size 5x11 scrollHeight 14
+  RenderBlock {mo} at (0,28) size 5x11
+layer at (155,135) size 5x10 scrollHeight 15
   RenderBlock {mo} at (0,0) size 5x10
-    RenderText {mo} at (0,-2) size 5x17
-      text run at (0,-2) width 5: "\x{23A4}"
-layer at (155,146) size 5x10 scrollHeight 15
+layer at (155,145) size 5x10 scrollHeight 14
   RenderBlock {mo} at (0,10) size 5x10
-    RenderText {mo} at (0,-2) size 5x17
-      text run at (0,-2) width 5: "\x{23A5}"
-layer at (155,156) size 5x8 scrollHeight 15
+    RenderText {mo} at (0,-3) size 5x17
+      text run at (0,-3) width 5: "\x{23A5}"
+layer at (155,155) size 5x8 scrollHeight 14
   RenderBlock {mo} at (0,20) size 5x8
-    RenderText {mo} at (0,-2) size 5x17
-      text run at (0,-2) width 5: "\x{23A5}"
-layer at (155,164) size 5x12 scrollHeight 15
-  RenderBlock {mo} at (0,28) size 5x12
-layer at (168,136) size 5x10 scrollHeight 15
+    RenderText {mo} at (0,-3) size 5x17
+      text run at (0,-3) width 5: "\x{23A5}"
+layer at (155,163) size 5x11 scrollHeight 14
+  RenderBlock {mo} at (0,28) size 5x11
+layer at (168,135) size 5x10 scrollHeight 15
   RenderBlock {mo} at (0,0) size 5x10
-    RenderText {mo} at (0,-2) size 5x17
-      text run at (0,-2) width 5: "\x{239B}"
-layer at (168,146) size 5x10 scrollHeight 15
+layer at (168,145) size 5x10 scrollHeight 14
   RenderBlock {mo} at (0,10) size 5x10
-    RenderText {mo} at (0,-2) size 5x17
-      text run at (0,-2) width 5: "\x{239C}"
-layer at (168,156) size 5x8 scrollHeight 15
+    RenderText {mo} at (0,-3) size 5x17
+      text run at (0,-3) width 5: "\x{239C}"
+layer at (168,155) size 5x8 scrollHeight 14
   RenderBlock {mo} at (0,20) size 5x8
-    RenderText {mo} at (0,-2) size 5x17
-      text run at (0,-2) width 5: "\x{239C}"
-layer at (168,164) size 5x12 scrollHeight 15
-  RenderBlock {mo} at (0,28) size 5x12
-layer at (212,136) size 5x10 scrollHeight 15
+    RenderText {mo} at (0,-3) size 5x17
+      text run at (0,-3) width 5: "\x{239C}"
+layer at (168,163) size 5x11 scrollHeight 14
+  RenderBlock {mo} at (0,28) size 5x11
+layer at (212,135) size 5x10 scrollHeight 15
   RenderBlock {mo} at (0,0) size 5x10
-    RenderText {mo} at (0,-2) size 5x17
-      text run at (0,-2) width 5: "\x{239E}"
-layer at (212,146) size 5x10 scrollHeight 15
+layer at (212,145) size 5x10 scrollHeight 14
   RenderBlock {mo} at (0,10) size 5x10
-    RenderText {mo} at (0,-2) size 5x17
-      text run at (0,-2) width 5: "\x{239F}"
-layer at (212,156) size 5x8 scrollHeight 15
+    RenderText {mo} at (0,-3) size 5x17
+      text run at (0,-3) width 5: "\x{239F}"
+layer at (212,155) size 5x8 scrollHeight 14
   RenderBlock {mo} at (0,20) size 5x8
-    RenderText {mo} at (0,-2) size 5x17
-      text run at (0,-2) width 5: "\x{239F}"
-layer at (212,164) size 5x12 scrollHeight 15
-  RenderBlock {mo} at (0,28) size 5x12
-layer at (225,136) size 8x10 scrollHeight 15
+    RenderText {mo} at (0,-3) size 5x17
+      text run at (0,-3) width 5: "\x{239F}"
+layer at (212,163) size 5x11 scrollHeight 14
+  RenderBlock {mo} at (0,28) size 5x11
+layer at (225,135) size 8x10 scrollHeight 15
   RenderBlock {mo} at (0,0) size 8x10
-    RenderText {mo} at (0,-2) size 8x17
-      text run at (0,-2) width 8: "\x{23D0}"
-layer at (225,146) size 8x10 scrollHeight 15
+layer at (225,145) size 8x10 scrollHeight 14
   RenderBlock {mo} at (0,10) size 8x10
-    RenderText {mo} at (0,-2) size 8x17
-      text run at (0,-2) width 8: "\x{23D0}"
-layer at (225,156) size 8x8 scrollHeight 15
+    RenderText {mo} at (0,-3) size 8x17
+      text run at (0,-3) width 8: "\x{23D0}"
+layer at (225,155) size 8x8 scrollHeight 14
   RenderBlock {mo} at (0,20) size 8x8
-    RenderText {mo} at (0,-2) size 8x17
-      text run at (0,-2) width 8: "\x{23D0}"
-layer at (225,164) size 8x12 scrollHeight 15
-  RenderBlock {mo} at (0,28) size 8x12
-layer at (272,136) size 8x10 scrollHeight 15
+    RenderText {mo} at (0,-3) size 8x17
+      text run at (0,-3) width 8: "\x{23D0}"
+layer at (225,163) size 8x11 scrollHeight 14
+  RenderBlock {mo} at (0,28) size 8x11
+layer at (272,135) size 8x10 scrollHeight 15
   RenderBlock {mo} at (0,0) size 8x10
-    RenderText {mo} at (0,-2) size 8x17
-      text run at (0,-2) width 8: "\x{23D0}"
-layer at (272,146) size 8x10 scrollHeight 15
+layer at (272,145) size 8x10 scrollHeight 14
   RenderBlock {mo} at (0,10) size 8x10
-    RenderText {mo} at (0,-2) size 8x17
-      text run at (0,-2) width 8: "\x{23D0}"
-layer at (272,156) size 8x8 scrollHeight 15
+    RenderText {mo} at (0,-3) size 8x17
+      text run at (0,-3) width 8: "\x{23D0}"
+layer at (272,155) size 8x8 scrollHeight 14
   RenderBlock {mo} at (0,20) size 8x8
-    RenderText {mo} at (0,-2) size 8x17
-      text run at (0,-2) width 8: "\x{23D0}"
-layer at (272,164) size 8x12 scrollHeight 15
-  RenderBlock {mo} at (0,28) size 8x12
-layer at (288,136) size 10x10 scrollHeight 15
+    RenderText {mo} at (0,-3) size 8x17
+      text run at (0,-3) width 8: "\x{23D0}"
+layer at (272,163) size 8x11 scrollHeight 14
+  RenderBlock {mo} at (0,28) size 8x11
+layer at (288,135) size 10x10 scrollHeight 15
   RenderBlock {mo} at (0,0) size 10x10
-    RenderText {mo} at (0,-2) size 10x17
-      text run at (0,-2) width 10: "\x{2320}"
-layer at (288,146) size 10x10 scrollHeight 15
+layer at (288,145) size 10x10 scrollHeight 14
   RenderBlock {mo} at (0,10) size 10x10
-    RenderText {mo} at (0,-2) size 10x17
-      text run at (0,-2) width 10: "\x{23AE}"
-layer at (288,156) size 10x8 scrollHeight 15
+    RenderText {mo} at (0,-3) size 10x17
+      text run at (0,-3) width 10: "\x{23AE}"
+layer at (288,155) size 10x8 scrollHeight 14
   RenderBlock {mo} at (0,20) size 10x8
-    RenderText {mo} at (0,-2) size 10x17
-      text run at (0,-2) width 10: "\x{23AE}"
-layer at (288,164) size 10x12 scrollHeight 15
-  RenderBlock {mo} at (0,28) size 10x12
-layer at (50,192) size 7x10 scrollHeight 15
+    RenderText {mo} at (0,-3) size 10x17
+      text run at (0,-3) width 10: "\x{23AE}"
+layer at (288,163) size 10x11 scrollHeight 14
+  RenderBlock {mo} at (0,28) size 10x11
+layer at (50,190) size 7x10 scrollHeight 15
   RenderBlock {mo} at (0,0) size 7x10
-    RenderText {mo} at (0,-2) size 7x17
-      text run at (0,-2) width 7: "\x{23A7}"
-layer at (50,202) size 7x10 scrollHeight 15
+layer at (50,200) size 7x10 scrollHeight 14
   RenderBlock {mo} at (0,10) size 7x10
-    RenderText {mo} at (0,-2) size 7x17
-      text run at (0,-2) width 7: "\x{23AA}"
-layer at (50,212) size 7x3 scrollHeight 15
+    RenderText {mo} at (0,-3) size 7x17
+      text run at (0,-3) width 7: "\x{23AA}"
+layer at (50,210) size 7x3 scrollHeight 14
   RenderBlock {mo} at (0,20) size 7x3
-    RenderText {mo} at (0,-2) size 7x17
-      text run at (0,-2) width 7: "\x{23AA}"
-layer at (50,215) size 7x10 scrollHeight 15
+    RenderText {mo} at (0,-3) size 7x17
+      text run at (0,-3) width 7: "\x{23AA}"
+layer at (50,213) size 7x10 scrollHeight 14
   RenderBlock {mo} at (0,23) size 7x10
-layer at (50,225) size 7x10 scrollHeight 15
+layer at (50,223) size 7x10 scrollHeight 14
   RenderBlock {mo} at (0,33) size 7x10
-    RenderText {mo} at (0,-2) size 7x17
-      text run at (0,-2) width 7: "\x{23AA}"
-layer at (50,235) size 7x4 scrollHeight 15
+    RenderText {mo} at (0,-3) size 7x17
+      text run at (0,-3) width 7: "\x{23AA}"
+layer at (50,233) size 7x4 scrollHeight 14
   RenderBlock {mo} at (0,43) size 7x4
-    RenderText {mo} at (0,-2) size 7x17
-      text run at (0,-2) width 7: "\x{23AA}"
-layer at (50,239) size 7x12 scrollHeight 15
-  RenderBlock {mo} at (0,47) size 7x12
-layer at (112,192) size 7x10 scrollHeight 15
+    RenderText {mo} at (0,-3) size 7x17
+      text run at (0,-3) width 7: "\x{23AA}"
+layer at (50,237) size 7x11 scrollHeight 14
+  RenderBlock {mo} at (0,47) size 7x11
+layer at (112,190) size 7x10 scrollHeight 15
   RenderBlock {mo} at (0,0) size 7x10
-    RenderText {mo} at (0,-2) size 7x17
-      text run at (0,-2) width 7: "\x{23AB}"
-layer at (112,202) size 7x10 scrollHeight 15
+layer at (112,200) size 7x10 scrollHeight 14
   RenderBlock {mo} at (0,10) size 7x10
-    RenderText {mo} at (0,-2) size 7x17
-      text run at (0,-2) width 7: "\x{23AA}"
-layer at (112,212) size 7x3 scrollHeight 15
+    RenderText {mo} at (0,-3) size 7x17
+      text run at (0,-3) width 7: "\x{23AA}"
+layer at (112,210) size 7x3 scrollHeight 14
   RenderBlock {mo} at (0,20) size 7x3
-    RenderText {mo} at (0,-2) size 7x17
-      text run at (0,-2) width 7: "\x{23AA}"
-layer at (112,215) size 7x10 scrollHeight 15
+    RenderText {mo} at (0,-3) size 7x17
+      text run at (0,-3) width 7: "\x{23AA}"
+layer at (112,213) size 7x10 scrollHeight 14
   RenderBlock {mo} at (0,23) size 7x10
-layer at (112,225) size 7x10 scrollHeight 15
+layer at (112,223) size 7x10 scrollHeight 14
   RenderBlock {mo} at (0,33) size 7x10
-    RenderText {mo} at (0,-2) size 7x17
-      text run at (0,-2) width 7: "\x{23AA}"
-layer at (112,235) size 7x4 scrollHeight 15
+    RenderText {mo} at (0,-3) size 7x17
+      text run at (0,-3) width 7: "\x{23AA}"
+layer at (112,233) size 7x4 scrollHeight 14
   RenderBlock {mo} at (0,43) size 7x4
-    RenderText {mo} at (0,-2) size 7x17
-      text run at (0,-2) width 7: "\x{23AA}"
-layer at (112,239) size 7x12 scrollHeight 15
-  RenderBlock {mo} at (0,47) size 7x12
-layer at (127,192) size 5x10 scrollHeight 15
+    RenderText {mo} at (0,-3) size 7x17
+      text run at (0,-3) width 7: "\x{23AA}"
+layer at (112,237) size 7x11 scrollHeight 14
+  RenderBlock {mo} at (0,47) size 7x11
+layer at (127,190) size 5x10 scrollHeight 15
   RenderBlock {mo} at (0,0) size 5x10
-    RenderText {mo} at (0,-2) size 5x17
-      text run at (0,-2) width 5: "\x{23A1}"
-layer at (127,202) size 5x10 scrollHeight 15
+layer at (127,200) size 5x10 scrollHeight 14
   RenderBlock {mo} at (0,10) size 5x10
-    RenderText {mo} at (0,-2) size 5x17
-      text run at (0,-2) width 5: "\x{23A2}"
-layer at (127,212) size 5x10 scrollHeight 15
+    RenderText {mo} at (0,-3) size 5x17
+      text run at (0,-3) width 5: "\x{23A2}"
+layer at (127,210) size 5x10 scrollHeight 14
   RenderBlock {mo} at (0,20) size 5x10
-    RenderText {mo} at (0,-2) size 5x17
-      text run at (0,-2) width 5: "\x{23A2}"
-layer at (127,222) size 5x10 scrollHeight 15
+    RenderText {mo} at (0,-3) size 5x17
+      text run at (0,-3) width 5: "\x{23A2}"
+layer at (127,220) size 5x10 scrollHeight 14
   RenderBlock {mo} at (0,30) size 5x10
-    RenderText {mo} at (0,-2) size 5x17
-      text run at (0,-2) width 5: "\x{23A2}"
-layer at (127,232) size 5x7 scrollHeight 15
+    RenderText {mo} at (0,-3) size 5x17
+      text run at (0,-3) width 5: "\x{23A2}"
+layer at (127,230) size 5x7 scrollHeight 14
   RenderBlock {mo} at (0,40) size 5x7
-    RenderText {mo} at (0,-2) size 5x17
-      text run at (0,-2) width 5: "\x{23A2}"
-layer at (127,239) size 5x12 scrollHeight 15
-  RenderBlock {mo} at (0,47) size 5x12
-layer at (187,192) size 5x10 scrollHeight 15
+    RenderText {mo} at (0,-3) size 5x17
+      text run at (0,-3) width 5: "\x{23A2}"
+layer at (127,237) size 5x11 scrollHeight 14
+  RenderBlock {mo} at (0,47) size 5x11
+layer at (187,190) size 5x10 scrollHeight 15
   RenderBlock {mo} at (0,0) size 5x10
-    RenderText {mo} at (0,-2) size 5x17
-      text run at (0,-2) width 5: "\x{23A4}"
-layer at (187,202) size 5x10 scrollHeight 15
+layer at (187,200) size 5x10 scrollHeight 14
   RenderBlock {mo} at (0,10) size 5x10
-    RenderText {mo} at (0,-2) size 5x17
-      text run at (0,-2) width 5: "\x{23A5}"
-layer at (187,212) size 5x10 scrollHeight 15
+    RenderText {mo} at (0,-3) size 5x17
+      text run at (0,-3) width 5: "\x{23A5}"
+layer at (187,210) size 5x10 scrollHeight 14
   RenderBlock {mo} at (0,20) size 5x10
-    RenderText {mo} at (0,-2) size 5x17
-      text run at (0,-2) width 5: "\x{23A5}"
-layer at (187,222) size 5x10 scrollHeight 15
+    RenderText {mo} at (0,-3) size 5x17
+      text run at (0,-3) width 5: "\x{23A5}"
+layer at (187,220) size 5x10 scrollHeight 14
   RenderBlock {mo} at (0,30) size 5x10
-    RenderText {mo} at (0,-2) size 5x17
-      text run at (0,-2) width 5: "\x{23A5}"
-layer at (187,232) size 5x7 scrollHeight 15
+    RenderText {mo} at (0,-3) size 5x17
+      text run at (0,-3) width 5: "\x{23A5}"
+layer at (187,230) size 5x7 scrollHeight 14
   RenderBlock {mo} at (0,40) size 5x7
-    RenderText {mo} at (0,-2) size 5x17
-      text run at (0,-2) width 5: "\x{23A5}"
-layer at (187,239) size 5x12 scrollHeight 15
-  RenderBlock {mo} at (0,47) size 5x12
-layer at (200,192) size 5x10 scrollHeight 15
+    RenderText {mo} at (0,-3) size 5x17
+      text run at (0,-3) width 5: "\x{23A5}"
+layer at (187,237) size 5x11 scrollHeight 14
+  RenderBlock {mo} at (0,47) size 5x11
+layer at (200,190) size 5x10 scrollHeight 15
   RenderBlock {mo} at (0,0) size 5x10
-    RenderText {mo} at (0,-2) size 5x17
-      text run at (0,-2) width 5: "\x{239B}"
-layer at (200,202) size 5x10 scrollHeight 15
+layer at (200,200) size 5x10 scrollHeight 14
   RenderBlock {mo} at (0,10) size 5x10
-    RenderText {mo} at (0,-2) size 5x17
-      text run at (0,-2) width 5: "\x{239C}"
-layer at (200,212) size 5x10 scrollHeight 15
+    RenderText {mo} at (0,-3) size 5x17
+      text run at (0,-3) width 5: "\x{239C}"
+layer at (200,210) size 5x10 scrollHeight 14
   RenderBlock {mo} at (0,20) size 5x10
-    RenderText {mo} at (0,-2) size 5x17
-      text run at (0,-2) width 5: "\x{239C}"
-layer at (200,222) size 5x10 scrollHeight 15
+    RenderText {mo} at (0,-3) size 5x17
+      text run at (0,-3) width 5: "\x{239C}"
+layer at (200,220) size 5x10 scrollHeight 14
   RenderBlock {mo} at (0,30) size 5x10
-    RenderText {mo} at (0,-2) size 5x17
-      text run at (0,-2) width 5: "\x{239C}"
-layer at (200,232) size 5x7 scrollHeight 15
+    RenderText {mo} at (0,-3) size 5x17
+      text run at (0,-3) width 5: "\x{239C}"
+layer at (200,230) size 5x7 scrollHeight 14
   RenderBlock {mo} at (0,40) size 5x7
-    RenderText {mo} at (0,-2) size 5x17
-      text run at (0,-2) width 5: "\x{239C}"
-layer at (200,239) size 5x12 scrollHeight 15
-  RenderBlock {mo} at (0,47) size 5x12
-layer at (260,192) size 5x10 scrollHeight 15
+    RenderText {mo} at (0,-3) size 5x17
+      text run at (0,-3) width 5: "\x{239C}"
+layer at (200,237) size 5x11 scrollHeight 14
+  RenderBlock {mo} at (0,47) size 5x11
+layer at (260,190) size 5x10 scrollHeight 15
   RenderBlock {mo} at (0,0) size 5x10
-    RenderText {mo} at (0,-2) size 5x17
-      text run at (0,-2) width 5: "\x{239E}"
-layer at (260,202) size 5x10 scrollHeight 15
+layer at (260,200) size 5x10 scrollHeight 14
   RenderBlock {mo} at (0,10) size 5x10
-    RenderText {mo} at (0,-2) size 5x17
-      text run at (0,-2) width 5: "\x{239F}"
-layer at (260,212) size 5x10 scrollHeight 15
+    RenderText {mo} at (0,-3) size 5x17
+      text run at (0,-3) width 5: "\x{239F}"
+layer at (260,210) size 5x10 scrollHeight 14
   RenderBlock {mo} at (0,20) size 5x10
-    RenderText {mo} at (0,-2) size 5x17
-      text run at (0,-2) width 5: "\x{239F}"
-layer at (260,222) size 5x10 scrollHeight 15
+    RenderText {mo} at (0,-3) size 5x17
+      text run at (0,-3) width 5: "\x{239F}"
+layer at (260,220) size 5x10 scrollHeight 14
   RenderBlock {mo} at (0,30) size 5x10
-    RenderText {mo} at (0,-2) size 5x17
-      text run at (0,-2) width 5: "\x{239F}"
-layer at (260,232) size 5x7 scrollHeight 15
+    RenderText {mo} at (0,-3) size 5x17
+      text run at (0,-3) width 5: "\x{239F}"
+layer at (260,230) size 5x7 scrollHeight 14
   RenderBlock {mo} at (0,40) size 5x7
-    RenderText {mo} at (0,-2) size 5x17
-      text run at (0,-2) width 5: "\x{239F}"
-layer at (260,239) size 5x12 scrollHeight 15
-  RenderBlock {mo} at (0,47) size 5x12
-layer at (273,192) size 8x10 scrollHeight 15
+    RenderText {mo} at (0,-3) size 5x17
+      text run at (0,-3) width 5: "\x{239F}"
+layer at (260,237) size 5x11 scrollHeight 14
+  RenderBlock {mo} at (0,47) size 5x11
+layer at (273,190) size 8x10 scrollHeight 15
   RenderBlock {mo} at (0,0) size 8x10
-    RenderText {mo} at (0,-2) size 8x17
-      text run at (0,-2) width 8: "\x{23D0}"
-layer at (273,202) size 8x10 scrollHeight 15
+layer at (273,200) size 8x10 scrollHeight 14
   RenderBlock {mo} at (0,10) size 8x10
-    RenderText {mo} at (0,-2) size 8x17
-      text run at (0,-2) width 8: "\x{23D0}"
-layer at (273,212) size 8x10 scrollHeight 15
+    RenderText {mo} at (0,-3) size 8x17
+      text run at (0,-3) width 8: "\x{23D0}"
+layer at (273,210) size 8x10 scrollHeight 14
   RenderBlock {mo} at (0,20) size 8x10
-    RenderText {mo} at (0,-2) size 8x17
-      text run at (0,-2) width 8: "\x{23D0}"
-layer at (273,222) size 8x10 scrollHeight 15
+    RenderText {mo} at (0,-3) size 8x17
+      text run at (0,-3) width 8: "\x{23D0}"
+layer at (273,220) size 8x10 scrollHeight 14
   RenderBlock {mo} at (0,30) size 8x10
-    RenderText {mo} at (0,-2) size 8x17
-      text run at (0,-2) width 8: "\x{23D0}"
-layer at (273,232) size 8x7 scrollHeight 15
+    RenderText {mo} at (0,-3) size 8x17
+      text run at (0,-3) width 8: "\x{23D0}"
+layer at (273,230) size 8x7 scrollHeight 14
   RenderBlock {mo} at (0,40) size 8x7
-    RenderText {mo} at (0,-2) size 8x17
-      text run at (0,-2) width 8: "\x{23D0}"
-layer at (273,239) size 8x12 scrollHeight 15
-  RenderBlock {mo} at (0,47) size 8x12
-layer at (336,192) size 8x10 scrollHeight 15
+    RenderText {mo} at (0,-3) size 8x17
+      text run at (0,-3) width 8: "\x{23D0}"
+layer at (273,237) size 8x11 scrollHeight 14
+  RenderBlock {mo} at (0,47) size 8x11
+layer at (336,190) size 8x10 scrollHeight 15
   RenderBlock {mo} at (0,0) size 8x10
-    RenderText {mo} at (0,-2) size 8x17
-      text run at (0,-2) width 8: "\x{23D0}"
-layer at (336,202) size 8x10 scrollHeight 15
+layer at (336,200) size 8x10 scrollHeight 14
   RenderBlock {mo} at (0,10) size 8x10
-    RenderText {mo} at (0,-2) size 8x17
-      text run at (0,-2) width 8: "\x{23D0}"
-layer at (336,212) size 8x10 scrollHeight 15
+    RenderText {mo} at (0,-3) size 8x17
+      text run at (0,-3) width 8: "\x{23D0}"
+layer at (336,210) size 8x10 scrollHeight 14
   RenderBlock {mo} at (0,20) size 8x10
-    RenderText {mo} at (0,-2) size 8x17
-      text run at (0,-2) width 8: "\x{23D0}"
-layer at (336,222) size 8x10 scrollHeight 15
+    RenderText {mo} at (0,-3) size 8x17
+      text run at (0,-3) width 8: "\x{23D0}"
+layer at (336,220) size 8x10 scrollHeight 14
   RenderBlock {mo} at (0,30) size 8x10
-    RenderText {mo} at (0,-2) size 8x17
-      text run at (0,-2) width 8: "\x{23D0}"
-layer at (336,232) size 8x7 scrollHeight 15
+    RenderText {mo} at (0,-3) size 8x17
+      text run at (0,-3) width 8: "\x{23D0}"
+layer at (336,230) size 8x7 scrollHeight 14
   RenderBlock {mo} at (0,40) size 8x7
-    RenderText {mo} at (0,-2) size 8x17
-      text run at (0,-2) width 8: "\x{23D0}"
-layer at (336,239) size 8x12 scrollHeight 15
-  RenderBlock {mo} at (0,47) size 8x12
-layer at (352,192) size 10x10 scrollHeight 15
+    RenderText {mo} at (0,-3) size 8x17
+      text run at (0,-3) width 8: "\x{23D0}"
+layer at (336,237) size 8x11 scrollHeight 14
+  RenderBlock {mo} at (0,47) size 8x11
+layer at (352,190) size 10x10 scrollHeight 15
   RenderBlock {mo} at (0,0) size 10x10
-    RenderText {mo} at (0,-2) size 10x17
-      text run at (0,-2) width 10: "\x{2320}"
-layer at (352,202) size 10x10 scrollHeight 15
+layer at (352,200) size 10x10 scrollHeight 14
   RenderBlock {mo} at (0,10) size 10x10
-    RenderText {mo} at (0,-2) size 10x17
-      text run at (0,-2) width 10: "\x{23AE}"
-layer at (352,212) size 10x10 scrollHeight 15
+    RenderText {mo} at (0,-3) size 10x17
+      text run at (0,-3) width 10: "\x{23AE}"
+layer at (352,210) size 10x10 scrollHeight 14
   RenderBlock {mo} at (0,20) size 10x10
-    RenderText {mo} at (0,-2) size 10x17
-      text run at (0,-2) width 10: "\x{23AE}"
-layer at (352,222) size 10x10 scrollHeight 15
+    RenderText {mo} at (0,-3) size 10x17
+      text run at (0,-3) width 10: "\x{23AE}"
+layer at (352,220) size 10x10 scrollHeight 14
   RenderBlock {mo} at (0,30) size 10x10
-    RenderText {mo} at (0,-2) size 10x17
-      text run at (0,-2) width 10: "\x{23AE}"
-layer at (352,232) size 10x7 scrollHeight 15
+    RenderText {mo} at (0,-3) size 10x17
+      text run at (0,-3) width 10: "\x{23AE}"
+layer at (352,230) size 10x7 scrollHeight 14
   RenderBlock {mo} at (0,40) size 10x7
-    RenderText {mo} at (0,-2) size 10x17
-      text run at (0,-2) width 10: "\x{23AE}"
-layer at (352,239) size 10x12 scrollHeight 15
-  RenderBlock {mo} at (0,47) size 10x12
-layer at (58,267) size 7x10 scrollHeight 15
+    RenderText {mo} at (0,-3) size 10x17
+      text run at (0,-3) width 10: "\x{23AE}"
+layer at (352,237) size 10x11 scrollHeight 14
+  RenderBlock {mo} at (0,47) size 10x11
+layer at (58,264) size 7x10 scrollHeight 15
   RenderBlock {mo} at (0,0) size 7x10
-    RenderText {mo} at (0,-2) size 7x17
-      text run at (0,-2) width 7: "\x{23A7}"
-layer at (58,277) size 7x10 scrollHeight 15
+layer at (58,274) size 7x10 scrollHeight 14
   RenderBlock {mo} at (0,10) size 7x10
-    RenderText {mo} at (0,-2) size 7x17
-      text run at (0,-2) width 7: "\x{23AA}"
-layer at (58,287) size 7x10 scrollHeight 15
+    RenderText {mo} at (0,-3) size 7x17
+      text run at (0,-3) width 7: "\x{23AA}"
+layer at (58,284) size 7x10 scrollHeight 14
   RenderBlock {mo} at (0,20) size 7x10
-    RenderText {mo} at (0,-2) size 7x17
-      text run at (0,-2) width 7: "\x{23AA}"
-layer at (58,297) size 7x10 scrollHeight 15
+    RenderText {mo} at (0,-3) size 7x17
+      text run at (0,-3) width 7: "\x{23AA}"
+layer at (58,294) size 7x10 scrollHeight 14
   RenderBlock {mo} at (0,30) size 7x10
-    RenderText {mo} at (0,-2) size 7x17
-      text run at (0,-2) width 7: "\x{23AA}"
-layer at (58,307) size 7x10 scrollHeight 15
+    RenderText {mo} at (0,-3) size 7x17
+      text run at (0,-3) width 7: "\x{23AA}"
+layer at (58,304) size 7x10 scrollHeight 14
   RenderBlock {mo} at (0,40) size 7x10
-    RenderText {mo} at (0,-2) size 7x17
-      text run at (0,-2) width 7: "\x{23AA}"
-layer at (58,317) size 7x10 scrollHeight 15
+    RenderText {mo} at (0,-3) size 7x17
+      text run at (0,-3) width 7: "\x{23AA}"
+layer at (58,314) size 7x10 scrollHeight 14
   RenderBlock {mo} at (0,50) size 7x10
-    RenderText {mo} at (0,-2) size 7x17
-      text run at (0,-2) width 7: "\x{23AA}"
-layer at (58,327) size 7x7 scrollHeight 15
+    RenderText {mo} at (0,-3) size 7x17
+      text run at (0,-3) width 7: "\x{23AA}"
+layer at (58,324) size 7x7 scrollHeight 14
   RenderBlock {mo} at (0,60) size 7x7
-    RenderText {mo} at (0,-2) size 7x17
-      text run at (0,-2) width 7: "\x{23AA}"
-layer at (58,334) size 7x10 scrollHeight 15
+    RenderText {mo} at (0,-3) size 7x17
+      text run at (0,-3) width 7: "\x{23AA}"
+layer at (58,331) size 7x10 scrollHeight 14
   RenderBlock {mo} at (0,67) size 7x10
-layer at (58,344) size 7x10 scrollHeight 15
+layer at (58,341) size 7x10 scrollHeight 14
   RenderBlock {mo} at (0,77) size 7x10
-    RenderText {mo} at (0,-2) size 7x17
-      text run at (0,-2) width 7: "\x{23AA}"
-layer at (58,354) size 7x10 scrollHeight 15
+    RenderText {mo} at (0,-3) size 7x17
+      text run at (0,-3) width 7: "\x{23AA}"
+layer at (58,351) size 7x10 scrollHeight 14
   RenderBlock {mo} at (0,87) size 7x10
-    RenderText {mo} at (0,-2) size 7x17
-      text run at (0,-2) width 7: "\x{23AA}"
-layer at (58,364) size 7x10 scrollHeight 15
+    RenderText {mo} at (0,-3) size 7x17
+      text run at (0,-3) width 7: "\x{23AA}"
+layer at (58,361) size 7x10 scrollHeight 14
   RenderBlock {mo} at (0,97) size 7x10
-    RenderText {mo} at (0,-2) size 7x17
-      text run at (0,-2) width 7: "\x{23AA}"
-layer at (58,374) size 7x10 scrollHeight 15
+    RenderText {mo} at (0,-3) size 7x17
+      text run at (0,-3) width 7: "\x{23AA}"
+layer at (58,371) size 7x10 scrollHeight 14
   RenderBlock {mo} at (0,107) size 7x10
-    RenderText {mo} at (0,-2) size 7x17
-      text run at (0,-2) width 7: "\x{23AA}"
-layer at (58,384) size 7x10 scrollHeight 15
+    RenderText {mo} at (0,-3) size 7x17
+      text run at (0,-3) width 7: "\x{23AA}"
+layer at (58,381) size 7x10 scrollHeight 14
   RenderBlock {mo} at (0,117) size 7x10
-    RenderText {mo} at (0,-2) size 7x17
-      text run at (0,-2) width 7: "\x{23AA}"
-layer at (58,394) size 7x7 scrollHeight 15
+    RenderText {mo} at (0,-3) size 7x17
+      text run at (0,-3) width 7: "\x{23AA}"
+layer at (58,391) size 7x7 scrollHeight 14
   RenderBlock {mo} at (0,127) size 7x7
-    RenderText {mo} at (0,-2) size 7x17
-      text run at (0,-2) width 7: "\x{23AA}"
-layer at (58,401) size 7x12 scrollHeight 15
-  RenderBlock {mo} at (0,134) size 7x12
-layer at (192,267) size 7x10 scrollHeight 15
+    RenderText {mo} at (0,-3) size 7x17
+      text run at (0,-3) width 7: "\x{23AA}"
+layer at (58,398) size 7x11 scrollHeight 14
+  RenderBlock {mo} at (0,134) size 7x11
+layer at (120,264) size 7x10 scrollHeight 15
   RenderBlock {mo} at (0,0) size 7x10
-    RenderText {mo} at (0,-2) size 7x17
-      text run at (0,-2) width 7: "\x{23AB}"
-layer at (192,277) size 7x10 scrollHeight 15
+layer at (120,274) size 7x10 scrollHeight 14
   RenderBlock {mo} at (0,10) size 7x10
-    RenderText {mo} at (0,-2) size 7x17
-      text run at (0,-2) width 7: "\x{23AA}"
-layer at (192,287) size 7x10 scrollHeight 15
+    RenderText {mo} at (0,-3) size 7x17
+      text run at (0,-3) width 7: "\x{23AA}"
+layer at (120,284) size 7x10 scrollHeight 14
   RenderBlock {mo} at (0,20) size 7x10
-    RenderText {mo} at (0,-2) size 7x17
-      text run at (0,-2) width 7: "\x{23AA}"
-layer at (192,297) size 7x10 scrollHeight 15
+    RenderText {mo} at (0,-3) size 7x17
+      text run at (0,-3) width 7: "\x{23AA}"
+layer at (120,294) size 7x10 scrollHeight 14
   RenderBlock {mo} at (0,30) size 7x10
-    RenderText {mo} at (0,-2) size 7x17
-      text run at (0,-2) width 7: "\x{23AA}"
-layer at (192,307) size 7x10 scrollHeight 15
+    RenderText {mo} at (0,-3) size 7x17
+      text run at (0,-3) width 7: "\x{23AA}"
+layer at (120,304) size 7x10 scrollHeight 14
   RenderBlock {mo} at (0,40) size 7x10
-    RenderText {mo} at (0,-2) size 7x17
-      text run at (0,-2) width 7: "\x{23AA}"
-layer at (192,317) size 7x10 scrollHeight 15
+    RenderText {mo} at (0,-3) size 7x17
+      text run at (0,-3) width 7: "\x{23AA}"
+layer at (120,314) size 7x10 scrollHeight 14
   RenderBlock {mo} at (0,50) size 7x10
-    RenderText {mo} at (0,-2) size 7x17
-      text run at (0,-2) width 7: "\x{23AA}"
-layer at (192,327) size 7x7 scrollHeight 15
+    RenderText {mo} at (0,-3) size 7x17
+      text run at (0,-3) width 7: "\x{23AA}"
+layer at (120,324) size 7x7 scrollHeight 14
   RenderBlock {mo} at (0,60) size 7x7
-    RenderText {mo} at (0,-2) size 7x17
-      text run at (0,-2) width 7: "\x{23AA}"
-layer at (192,334) size 7x10 scrollHeight 15
+    RenderText {mo} at (0,-3) size 7x17
+      text run at (0,-3) width 7: "\x{23AA}"
+layer at (120,331) size 7x10 scrollHeight 14
   RenderBlock {mo} at (0,67) size 7x10
-layer at (192,344) size 7x10 scrollHeight 15
+layer at (120,341) size 7x10 scrollHeight 14
   RenderBlock {mo} at (0,77) size 7x10
-    RenderText {mo} at (0,-2) size 7x17
-      text run at (0,-2) width 7: "\x{23AA}"
-layer at (192,354) size 7x10 scrollHeight 15
+    RenderText {mo} at (0,-3) size 7x17
+      text run at (0,-3) width 7: "\x{23AA}"
+layer at (120,351) size 7x10 scrollHeight 14
   RenderBlock {mo} at (0,87) size 7x10
-    RenderText {mo} at (0,-2) size 7x17
-      text run at (0,-2) width 7: "\x{23AA}"
-layer at (192,364) size 7x10 scrollHeight 15
+    RenderText {mo} at (0,-3) size 7x17
+      text run at (0,-3) width 7: "\x{23AA}"
+layer at (120,361) size 7x10 scrollHeight 14
   RenderBlock {mo} at (0,97) size 7x10
-    RenderText {mo} at (0,-2) size 7x17
-      text run at (0,-2) width 7: "\x{23AA}"
-layer at (192,374) size 7x10 scrollHeight 15
+    RenderText {mo} at (0,-3) size 7x17
+      text run at (0,-3) width 7: "\x{23AA}"
+layer at (120,371) size 7x10 scrollHeight 14
   RenderBlock {mo} at (0,107) size 7x10
-    RenderText {mo} at (0,-2) size 7x17
-      text run at (0,-2) width 7: "\x{23AA}"
-layer at (192,384) size 7x10 scrollHeight 15
+    RenderText {mo} at (0,-3) size 7x17
+      text run at (0,-3) width 7: "\x{23AA}"
+layer at (120,381) size 7x10 scrollHeight 14
   RenderBlock {mo} at (0,117) size 7x10
-    RenderText {mo} at (0,-2) size 7x17
-      text run at (0,-2) width 7: "\x{23AA}"
-layer at (192,394) size 7x7 scrollHeight 15
+    RenderText {mo} at (0,-3) size 7x17
+      text run at (0,-3) width 7: "\x{23AA}"
+layer at (120,391) size 7x7 scrollHeight 14
   RenderBlock {mo} at (0,127) size 7x7
-    RenderText {mo} at (0,-2) size 7x17
-      text run at (0,-2) width 7: "\x{23AA}"
-layer at (192,401) size 7x12 scrollHeight 15
-  RenderBlock {mo} at (0,134) size 7x12
-layer at (207,267) size 5x10 scrollHeight 15
+    RenderText {mo} at (0,-3) size 7x17
+      text run at (0,-3) width 7: "\x{23AA}"
+layer at (120,398) size 7x11 scrollHeight 14
+  RenderBlock {mo} at (0,134) size 7x11
+layer at (135,264) size 5x10 scrollHeight 15
   RenderBlock {mo} at (0,0) size 5x10
-    RenderText {mo} at (0,-2) size 5x17
-      text run at (0,-2) width 5: "\x{23A1}"
-layer at (207,277) size 5x10 scrollHeight 15
+layer at (135,274) size 5x10 scrollHeight 14
   RenderBlock {mo} at (0,10) size 5x10
-    RenderText {mo} at (0,-2) size 5x17
-      text run at (0,-2) width 5: "\x{23A2}"
-layer at (207,287) size 5x10 scrollHeight 15
+    RenderText {mo} at (0,-3) size 5x17
+      text run at (0,-3) width 5: "\x{23A2}"
+layer at (135,284) size 5x10 scrollHeight 14
   RenderBlock {mo} at (0,20) size 5x10
-    RenderText {mo} at (0,-2) size 5x17
-      text run at (0,-2) width 5: "\x{23A2}"
-layer at (207,297) size 5x10 scrollHeight 15
+    RenderText {mo} at (0,-3) size 5x17
+      text run at (0,-3) width 5: "\x{23A2}"
+layer at (135,294) size 5x10 scrollHeight 14
   RenderBlock {mo} at (0,30) size 5x10
-    RenderText {mo} at (0,-2) size 5x17
-      text run at (0,-2) width 5: "\x{23A2}"
-layer at (207,307) size 5x10 scrollHeight 15
+    RenderText {mo} at (0,-3) size 5x17
+      text run at (0,-3) width 5: "\x{23A2}"
+layer at (135,304) size 5x10 scrollHeight 14
   RenderBlock {mo} at (0,40) size 5x10
-    RenderText {mo} at (0,-2) size 5x17
-      text run at (0,-2) width 5: "\x{23A2}"
-layer at (207,317) size 5x10 scrollHeight 15
+    RenderText {mo} at (0,-3) size 5x17
+      text run at (0,-3) width 5: "\x{23A2}"
+layer at (135,314) size 5x10 scrollHeight 14
   RenderBlock {mo} at (0,50) size 5x10
-    RenderText {mo} at (0,-2) size 5x17
-      text run at (0,-2) width 5: "\x{23A2}"
-layer at (207,327) size 5x10 scrollHeight 15
+    RenderText {mo} at (0,-3) size 5x17
+      text run at (0,-3) width 5: "\x{23A2}"
+layer at (135,324) size 5x10 scrollHeight 14
   RenderBlock {mo} at (0,60) size 5x10
-    RenderText {mo} at (0,-2) size 5x17
-      text run at (0,-2) width 5: "\x{23A2}"
-layer at (207,337) size 5x10 scrollHeight 15
+    RenderText {mo} at (0,-3) size 5x17
+      text run at (0,-3) width 5: "\x{23A2}"
+layer at (135,334) size 5x10 scrollHeight 14
   RenderBlock {mo} at (0,70) size 5x10
-    RenderText {mo} at (0,-2) size 5x17
-      text run at (0,-2) width 5: "\x{23A2}"
-layer at (207,347) size 5x10 scrollHeight 15
+    RenderText {mo} at (0,-3) size 5x17
+      text run at (0,-3) width 5: "\x{23A2}"
+layer at (135,344) size 5x10 scrollHeight 14
   RenderBlock {mo} at (0,80) size 5x10
-    RenderText {mo} at (0,-2) size 5x17
-      text run at (0,-2) width 5: "\x{23A2}"
-layer at (207,357) size 5x10 scrollHeight 15
+    RenderText {mo} at (0,-3) size 5x17
+      text run at (0,-3) width 5: "\x{23A2}"
+layer at (135,354) size 5x10 scrollHeight 14
   RenderBlock {mo} at (0,90) size 5x10
-    RenderText {mo} at (0,-2) size 5x17
-      text run at (0,-2) width 5: "\x{23A2}"
-layer at (207,367) size 5x10 scrollHeight 15
+    RenderText {mo} at (0,-3) size 5x17
+      text run at (0,-3) width 5: "\x{23A2}"
+layer at (135,364) size 5x10 scrollHeight 14
   RenderBlock {mo} at (0,100) size 5x10
-    RenderText {mo} at (0,-2) size 5x17
-      text run at (0,-2) width 5: "\x{23A2}"
-layer at (207,377) size 5x10 scrollHeight 15
+    RenderText {mo} at (0,-3) size 5x17
+      text run at (0,-3) width 5: "\x{23A2}"
+layer at (135,374) size 5x10 scrollHeight 14
   RenderBlock {mo} at (0,110) size 5x10
-    RenderText {mo} at (0,-2) size 5x17
-      text run at (0,-2) width 5: "\x{23A2}"
-layer at (207,387) size 5x10 scrollHeight 15
+    RenderText {mo} at (0,-3) size 5x17
+      text run at (0,-3) width 5: "\x{23A2}"
+layer at (135,384) size 5x10 scrollHeight 14
   RenderBlock {mo} at (0,120) size 5x10
-    RenderText {mo} at (0,-2) size 5x17
-      text run at (0,-2) width 5: "\x{23A2}"
-layer at (207,397) size 5x4 scrollHeight 15
+    RenderText {mo} at (0,-3) size 5x17
+      text run at (0,-3) width 5: "\x{23A2}"
+layer at (135,394) size 5x4 scrollHeight 14
   RenderBlock {mo} at (0,130) size 5x4
-    RenderText {mo} at (0,-2) size 5x17
-      text run at (0,-2) width 5: "\x{23A2}"
-layer at (207,401) size 5x12 scrollHeight 15
-  RenderBlock {mo} at (0,134) size 5x12
-layer at (339,267) size 5x10 scrollHeight 15
+    RenderText {mo} at (0,-3) size 5x17
+      text run at (0,-3) width 5: "\x{23A2}"
+layer at (135,398) size 5x11 scrollHeight 14
+  RenderBlock {mo} at (0,134) size 5x11
+layer at (195,264) size 5x10 scrollHeight 15
   RenderBlock {mo} at (0,0) size 5x10
-    RenderText {mo} at (0,-2) size 5x17
-      text run at (0,-2) width 5: "\x{23A4}"
-layer at (339,277) size 5x10 scrollHeight 15
+layer at (195,274) size 5x10 scrollHeight 14
   RenderBlock {mo} at (0,10) size 5x10
-    RenderText {mo} at (0,-2) size 5x17
-      text run at (0,-2) width 5: "\x{23A5}"
-layer at (339,287) size 5x10 scrollHeight 15
+    RenderText {mo} at (0,-3) size 5x17
+      text run at (0,-3) width 5: "\x{23A5}"
+layer at (195,284) size 5x10 scrollHeight 14
   RenderBlock {mo} at (0,20) size 5x10
-    RenderText {mo} at (0,-2) size 5x17
-      text run at (0,-2) width 5: "\x{23A5}"
-layer at (339,297) size 5x10 scrollHeight 15
+    RenderText {mo} at (0,-3) size 5x17
+      text run at (0,-3) width 5: "\x{23A5}"
+layer at (195,294) size 5x10 scrollHeight 14
   RenderBlock {mo} at (0,30) size 5x10
-    RenderText {mo} at (0,-2) size 5x17
-      text run at (0,-2) width 5: "\x{23A5}"
-layer at (339,307) size 5x10 scrollHeight 15
+    RenderText {mo} at (0,-3) size 5x17
+      text run at (0,-3) width 5: "\x{23A5}"
+layer at (195,304) size 5x10 scrollHeight 14
   RenderBlock {mo} at (0,40) size 5x10
-    RenderText {mo} at (0,-2) size 5x17
-      text run at (0,-2) width 5: "\x{23A5}"
-layer at (339,317) size 5x10 scrollHeight 15
+    RenderText {mo} at (0,-3) size 5x17
+      text run at (0,-3) width 5: "\x{23A5}"
+layer at (195,314) size 5x10 scrollHeight 14
   RenderBlock {mo} at (0,50) size 5x10
-    RenderText {mo} at (0,-2) size 5x17
-      text run at (0,-2) width 5: "\x{23A5}"
-layer at (339,327) size 5x10 scrollHeight 15
+    RenderText {mo} at (0,-3) size 5x17
+      text run at (0,-3) width 5: "\x{23A5}"
+layer at (195,324) size 5x10 scrollHeight 14
   RenderBlock {mo} at (0,60) size 5x10
-    RenderText {mo} at (0,-2) size 5x17
-      text run at (0,-2) width 5: "\x{23A5}"
-layer at (339,337) size 5x10 scrollHeight 15
+    RenderText {mo} at (0,-3) size 5x17
+      text run at (0,-3) width 5: "\x{23A5}"
+layer at (195,334) size 5x10 scrollHeight 14
   RenderBlock {mo} at (0,70) size 5x10
-    RenderText {mo} at (0,-2) size 5x17
-      text run at (0,-2) width 5: "\x{23A5}"
-layer at (339,347) size 5x10 scrollHeight 15
+    RenderText {mo} at (0,-3) size 5x17
+      text run at (0,-3) width 5: "\x{23A5}"
+layer at (195,344) size 5x10 scrollHeight 14
   RenderBlock {mo} at (0,80) size 5x10
-    RenderText {mo} at (0,-2) size 5x17
-      text run at (0,-2) width 5: "\x{23A5}"
-layer at (339,357) size 5x10 scrollHeight 15
+    RenderText {mo} at (0,-3) size 5x17
+      text run at (0,-3) width 5: "\x{23A5}"
+layer at (195,354) size 5x10 scrollHeight 14
   RenderBlock {mo} at (0,90) size 5x10
-    RenderText {mo} at (0,-2) size 5x17
-      text run at (0,-2) width 5: "\x{23A5}"
-layer at (339,367) size 5x10 scrollHeight 15
+    RenderText {mo} at (0,-3) size 5x17
+      text run at (0,-3) width 5: "\x{23A5}"
+layer at (195,364) size 5x10 scrollHeight 14
   RenderBlock {mo} at (0,100) size 5x10
-    RenderText {mo} at (0,-2) size 5x17
-      text run at (0,-2) width 5: "\x{23A5}"
-layer at (339,377) size 5x10 scrollHeight 15
+    RenderText {mo} at (0,-3) size 5x17
+      text run at (0,-3) width 5: "\x{23A5}"
+layer at (195,374) size 5x10 scrollHeight 14
   RenderBlock {mo} at (0,110) size 5x10
-    RenderText {mo} at (0,-2) size 5x17
-      text run at (0,-2) width 5: "\x{23A5}"
-layer at (339,387) size 5x10 scrollHeight 15
+    RenderText {mo} at (0,-3) size 5x17
+      text run at (0,-3) width 5: "\x{23A5}"
+layer at (195,384) size 5x10 scrollHeight 14
   RenderBlock {mo} at (0,120) size 5x10
-    RenderText {mo} at (0,-2) size 5x17
-      text run at (0,-2) width 5: "\x{23A5}"
-layer at (339,397) size 5x4 scrollHeight 15
+    RenderText {mo} at (0,-3) size 5x17
+      text run at (0,-3) width 5: "\x{23A5}"
+layer at (195,394) size 5x4 scrollHeight 14
   RenderBlock {mo} at (0,130) size 5x4
-    RenderText {mo} at (0,-2) size 5x17
-      text run at (0,-2) width 5: "\x{23A5}"
-layer at (339,401) size 5x12 scrollHeight 15
-  RenderBlock {mo} at (0,134) size 5x12
-layer at (352,267) size 5x10 scrollHeight 15
+    RenderText {mo} at (0,-3) size 5x17
+      text run at (0,-3) width 5: "\x{23A5}"
+layer at (195,398) size 5x11 scrollHeight 14
+  RenderBlock {mo} at (0,134) size 5x11
+layer at (208,264) size 5x10 scrollHeight 15
   RenderBlock {mo} at (0,0) size 5x10
-    RenderText {mo} at (0,-2) size 5x17
-      text run at (0,-2) width 5: "\x{239B}"
-layer at (352,277) size 5x10 scrollHeight 15
+layer at (208,274) size 5x10 scrollHeight 14
   RenderBlock {mo} at (0,10) size 5x10
-    RenderText {mo} at (0,-2) size 5x17
-      text run at (0,-2) width 5: "\x{239C}"
-layer at (352,287) size 5x10 scrollHeight 15
+    RenderText {mo} at (0,-3) size 5x17
+      text run at (0,-3) width 5: "\x{239C}"
+layer at (208,284) size 5x10 scrollHeight 14
   RenderBlock {mo} at (0,20) size 5x10
-    RenderText {mo} at (0,-2) size 5x17
-      text run at (0,-2) width 5: "\x{239C}"
-layer at (352,297) size 5x10 scrollHeight 15
+    RenderText {mo} at (0,-3) size 5x17
+      text run at (0,-3) width 5: "\x{239C}"
+layer at (208,294) size 5x10 scrollHeight 14
   RenderBlock {mo} at (0,30) size 5x10
-    RenderText {mo} at (0,-2) size 5x17
-      text run at (0,-2) width 5: "\x{239C}"
-layer at (352,307) size 5x10 scrollHeight 15
+    RenderText {mo} at (0,-3) size 5x17
+      text run at (0,-3) width 5: "\x{239C}"
+layer at (208,304) size 5x10 scrollHeight 14
   RenderBlock {mo} at (0,40) size 5x10
-    RenderText {mo} at (0,-2) size 5x17
-      text run at (0,-2) width 5: "\x{239C}"
-layer at (352,317) size 5x10 scrollHeight 15
+    RenderText {mo} at (0,-3) size 5x17
+      text run at (0,-3) width 5: "\x{239C}"
+layer at (208,314) size 5x10 scrollHeight 14
   RenderBlock {mo} at (0,50) size 5x10
-    RenderText {mo} at (0,-2) size 5x17
-      text run at (0,-2) width 5: "\x{239C}"
-layer at (352,327) size 5x10 scrollHeight 15
+    RenderText {mo} at (0,-3) size 5x17
+      text run at (0,-3) width 5: "\x{239C}"
+layer at (208,324) size 5x10 scrollHeight 14
   RenderBlock {mo} at (0,60) size 5x10
-    RenderText {mo} at (0,-2) size 5x17
-      text run at (0,-2) width 5: "\x{239C}"
-layer at (352,337) size 5x10 scrollHeight 15
+    RenderText {mo} at (0,-3) size 5x17
+      text run at (0,-3) width 5: "\x{239C}"
+layer at (208,334) size 5x10 scrollHeight 14
   RenderBlock {mo} at (0,70) size 5x10
-    RenderText {mo} at (0,-2) size 5x17
-      text run at (0,-2) width 5: "\x{239C}"
-layer at (352,347) size 5x10 scrollHeight 15
+    RenderText {mo} at (0,-3) size 5x17
+      text run at (0,-3) width 5: "\x{239C}"
+layer at (208,344) size 5x10 scrollHeight 14
   RenderBlock {mo} at (0,80) size 5x10
-    RenderText {mo} at (0,-2) size 5x17
-      text run at (0,-2) width 5: "\x{239C}"
-layer at (352,357) size 5x10 scrollHeight 15
+    RenderText {mo} at (0,-3) size 5x17
+      text run at (0,-3) width 5: "\x{239C}"
+layer at (208,354) size 5x10 scrollHeight 14
   RenderBlock {mo} at (0,90) size 5x10
-    RenderText {mo} at (0,-2) size 5x17
-      text run at (0,-2) width 5: "\x{239C}"
-layer at (352,367) size 5x10 scrollHeight 15
+    RenderText {mo} at (0,-3) size 5x17
+      text run at (0,-3) width 5: "\x{239C}"
+layer at (208,364) size 5x10 scrollHeight 14
   RenderBlock {mo} at (0,100) size 5x10
-    RenderText {mo} at (0,-2) size 5x17
-      text run at (0,-2) width 5: "\x{239C}"
-layer at (352,377) size 5x10 scrollHeight 15
+    RenderText {mo} at (0,-3) size 5x17
+      text run at (0,-3) width 5: "\x{239C}"
+layer at (208,374) size 5x10 scrollHeight 14
   RenderBlock {mo} at (0,110) size 5x10
-    RenderText {mo} at (0,-2) size 5x17
-      text run at (0,-2) width 5: "\x{239C}"
-layer at (352,387) size 5x10 scrollHeight 15
+    RenderText {mo} at (0,-3) size 5x17
+      text run at (0,-3) width 5: "\x{239C}"
+layer at (208,384) size 5x10 scrollHeight 14
   RenderBlock {mo} at (0,120) size 5x10
-    RenderText {mo} at (0,-2) size 5x17
-      text run at (0,-2) width 5: "\x{239C}"
-layer at (352,397) size 5x4 scrollHeight 15
+    RenderText {mo} at (0,-3) size 5x17
+      text run at (0,-3) width 5: "\x{239C}"
+layer at (208,394) size 5x4 scrollHeight 14
   RenderBlock {mo} at (0,130) size 5x4
-    RenderText {mo} at (0,-2) size 5x17
-      text run at (0,-2) width 5: "\x{239C}"
-layer at (352,401) size 5x12 scrollHeight 15
-  RenderBlock {mo} at (0,134) size 5x12
-layer at (484,267) size 5x10 scrollHeight 15
+    RenderText {mo} at (0,-3) size 5x17
+      text run at (0,-3) width 5: "\x{239C}"
+layer at (208,398) size 5x11 scrollHeight 14
+  RenderBlock {mo} at (0,134) size 5x11
+layer at (268,264) size 5x10 scrollHeight 15
   RenderBlock {mo} at (0,0) size 5x10
-    RenderText {mo} at (0,-2) size 5x17
-      text run at (0,-2) width 5: "\x{239E}"
-layer at (484,277) size 5x10 scrollHeight 15
+layer at (268,274) size 5x10 scrollHeight 14
   RenderBlock {mo} at (0,10) size 5x10
-    RenderText {mo} at (0,-2) size 5x17
-      text run at (0,-2) width 5: "\x{239F}"
-layer at (484,287) size 5x10 scrollHeight 15
+    RenderText {mo} at (0,-3) size 5x17
+      text run at (0,-3) width 5: "\x{239F}"
+layer at (268,284) size 5x10 scrollHeight 14
   RenderBlock {mo} at (0,20) size 5x10
-    RenderText {mo} at (0,-2) size 5x17
-      text run at (0,-2) width 5: "\x{239F}"
-layer at (484,297) size 5x10 scrollHeight 15
+    RenderText {mo} at (0,-3) size 5x17
+      text run at (0,-3) width 5: "\x{239F}"
+layer at (268,294) size 5x10 scrollHeight 14
   RenderBlock {mo} at (0,30) size 5x10
-    RenderText {mo} at (0,-2) size 5x17
-      text run at (0,-2) width 5: "\x{239F}"
-layer at (484,307) size 5x10 scrollHeight 15
+    RenderText {mo} at (0,-3) size 5x17
+      text run at (0,-3) width 5: "\x{239F}"
+layer at (268,304) size 5x10 scrollHeight 14
   RenderBlock {mo} at (0,40) size 5x10
-    RenderText {mo} at (0,-2) size 5x17
-      text run at (0,-2) width 5: "\x{239F}"
-layer at (484,317) size 5x10 scrollHeight 15
+    RenderText {mo} at (0,-3) size 5x17
+      text run at (0,-3) width 5: "\x{239F}"
+layer at (268,314) size 5x10 scrollHeight 14
   RenderBlock {mo} at (0,50) size 5x10
-    RenderText {mo} at (0,-2) size 5x17
-      text run at (0,-2) width 5: "\x{239F}"
-layer at (484,327) size 5x10 scrollHeight 15
+    RenderText {mo} at (0,-3) size 5x17
+      text run at (0,-3) width 5: "\x{239F}"
+layer at (268,324) size 5x10 scrollHeight 14
   RenderBlock {mo} at (0,60) size 5x10
-    RenderText {mo} at (0,-2) size 5x17
-      text run at (0,-2) width 5: "\x{239F}"
-layer at (484,337) size 5x10 scrollHeight 15
+    RenderText {mo} at (0,-3) size 5x17
+      text run at (0,-3) width 5: "\x{239F}"
+layer at (268,334) size 5x10 scrollHeight 14
   RenderBlock {mo} at (0,70) size 5x10
-    RenderText {mo} at (0,-2) size 5x17
-      text run at (0,-2) width 5: "\x{239F}"
-layer at (484,347) size 5x10 scrollHeight 15
+    RenderText {mo} at (0,-3) size 5x17
+      text run at (0,-3) width 5: "\x{239F}"
+layer at (268,344) size 5x10 scrollHeight 14
   RenderBlock {mo} at (0,80) size 5x10
-    RenderText {mo} at (0,-2) size 5x17
-      text run at (0,-2) width 5: "\x{239F}"
-layer at (484,357) size 5x10 scrollHeight 15
+    RenderText {mo} at (0,-3) size 5x17
+      text run at (0,-3) width 5: "\x{239F}"
+layer at (268,354) size 5x10 scrollHeight 14
   RenderBlock {mo} at (0,90) size 5x10
-    RenderText {mo} at (0,-2) size 5x17
-      text run at (0,-2) width 5: "\x{239F}"
-layer at (484,367) size 5x10 scrollHeight 15
+    RenderText {mo} at (0,-3) size 5x17
+      text run at (0,-3) width 5: "\x{239F}"
+layer at (268,364) size 5x10 scrollHeight 14
   RenderBlock {mo} at (0,100) size 5x10
-    RenderText {mo} at (0,-2) size 5x17
-      text run at (0,-2) width 5: "\x{239F}"
-layer at (484,377) size 5x10 scrollHeight 15
+    RenderText {mo} at (0,-3) size 5x17
+      text run at (0,-3) width 5: "\x{239F}"
+layer at (268,374) size 5x10 scrollHeight 14
   RenderBlock {mo} at (0,110) size 5x10
-    RenderText {mo} at (0,-2) size 5x17
-      text run at (0,-2) width 5: "\x{239F}"
-layer at (484,387) size 5x10 scrollHeight 15
+    RenderText {mo} at (0,-3) size 5x17
+      text run at (0,-3) width 5: "\x{239F}"
+layer at (268,384) size 5x10 scrollHeight 14
   RenderBlock {mo} at (0,120) size 5x10
-    RenderText {mo} at (0,-2) size 5x17
-      text run at (0,-2) width 5: "\x{239F}"
-layer at (484,397) size 5x4 scrollHeight 15
+    RenderText {mo} at (0,-3) size 5x17
+      text run at (0,-3) width 5: "\x{239F}"
+layer at (268,394) size 5x4 scrollHeight 14
   RenderBlock {mo} at (0,130) size 5x4
-    RenderText {mo} at (0,-2) size 5x17
-      text run at (0,-2) width 5: "\x{239F}"
-layer at (484,401) size 5x12 scrollHeight 15
-  RenderBlock {mo} at (0,134) size 5x12
-layer at (497,267) size 8x10 scrollHeight 15
+    RenderText {mo} at (0,-3) size 5x17
+      text run at (0,-3) width 5: "\x{239F}"
+layer at (268,398) size 5x11 scrollHeight 14
+  RenderBlock {mo} at (0,134) size 5x11
+layer at (281,264) size 8x10 scrollHeight 15
   RenderBlock {mo} at (0,0) size 8x10
-    RenderText {mo} at (0,-2) size 8x17
-      text run at (0,-2) width 8: "\x{23D0}"
-layer at (497,277) size 8x10 scrollHeight 15
+layer at (281,274) size 8x10 scrollHeight 14
   RenderBlock {mo} at (0,10) size 8x10
-    RenderText {mo} at (0,-2) size 8x17
-      text run at (0,-2) width 8: "\x{23D0}"
-layer at (497,287) size 8x10 scrollHeight 15
+    RenderText {mo} at (0,-3) size 8x17
+      text run at (0,-3) width 8: "\x{23D0}"
+layer at (281,284) size 8x10 scrollHeight 14
   RenderBlock {mo} at (0,20) size 8x10
-    RenderText {mo} at (0,-2) size 8x17
-      text run at (0,-2) width 8: "\x{23D0}"
-layer at (497,297) size 8x10 scrollHeight 15
+    RenderText {mo} at (0,-3) size 8x17
+      text run at (0,-3) width 8: "\x{23D0}"
+layer at (281,294) size 8x10 scrollHeight 14
   RenderBlock {mo} at (0,30) size 8x10
-    RenderText {mo} at (0,-2) size 8x17
-      text run at (0,-2) width 8: "\x{23D0}"
-layer at (497,307) size 8x10 scrollHeight 15
+    RenderText {mo} at (0,-3) size 8x17
+      text run at (0,-3) width 8: "\x{23D0}"
+layer at (281,304) size 8x10 scrollHeight 14
   RenderBlock {mo} at (0,40) size 8x10
-    RenderText {mo} at (0,-2) size 8x17
-      text run at (0,-2) width 8: "\x{23D0}"
-layer at (497,317) size 8x10 scrollHeight 15
+    RenderText {mo} at (0,-3) size 8x17
+      text run at (0,-3) width 8: "\x{23D0}"
+layer at (281,314) size 8x10 scrollHeight 14
   RenderBlock {mo} at (0,50) size 8x10
-    RenderText {mo} at (0,-2) size 8x17
-      text run at (0,-2) width 8: "\x{23D0}"
-layer at (497,327) size 8x10 scrollHeight 15
+    RenderText {mo} at (0,-3) size 8x17
+      text run at (0,-3) width 8: "\x{23D0}"
+layer at (281,324) size 8x10 scrollHeight 14
   RenderBlock {mo} at (0,60) size 8x10
-    RenderText {mo} at (0,-2) size 8x17
-      text run at (0,-2) width 8: "\x{23D0}"
-layer at (497,337) size 8x10 scrollHeight 15
+    RenderText {mo} at (0,-3) size 8x17
+      text run at (0,-3) width 8: "\x{23D0}"
+layer at (281,334) size 8x10 scrollHeight 14
   RenderBlock {mo} at (0,70) size 8x10
-    RenderText {mo} at (0,-2) size 8x17
-      text run at (0,-2) width 8: "\x{23D0}"
-layer at (497,347) size 8x10 scrollHeight 15
+    RenderText {mo} at (0,-3) size 8x17
+      text run at (0,-3) width 8: "\x{23D0}"
+layer at (281,344) size 8x10 scrollHeight 14
   RenderBlock {mo} at (0,80) size 8x10
-    RenderText {mo} at (0,-2) size 8x17
-      text run at (0,-2) width 8: "\x{23D0}"
-layer at (497,357) size 8x10 scrollHeight 15
+    RenderText {mo} at (0,-3) size 8x17
+      text run at (0,-3) width 8: "\x{23D0}"
+layer at (281,354) size 8x10 scrollHeight 14
   RenderBlock {mo} at (0,90) size 8x10
-    RenderText {mo} at (0,-2) size 8x17
-      text run at (0,-2) width 8: "\x{23D0}"
-layer at (497,367) size 8x10 scrollHeight 15
+    RenderText {mo} at (0,-3) size 8x17
+      text run at (0,-3) width 8: "\x{23D0}"
+layer at (281,364) size 8x10 scrollHeight 14
   RenderBlock {mo} at (0,100) size 8x10
-    RenderText {mo} at (0,-2) size 8x17
-      text run at (0,-2) width 8: "\x{23D0}"
-layer at (497,377) size 8x10 scrollHeight 15
+    RenderText {mo} at (0,-3) size 8x17
+      text run at (0,-3) width 8: "\x{23D0}"
+layer at (281,374) size 8x10 scrollHeight 14
   RenderBlock {mo} at (0,110) size 8x10
-    RenderText {mo} at (0,-2) size 8x17
-      text run at (0,-2) width 8: "\x{23D0}"
-layer at (497,387) size 8x10 scrollHeight 15
+    RenderText {mo} at (0,-3) size 8x17
+      text run at (0,-3) width 8: "\x{23D0}"
+layer at (281,384) size 8x10 scrollHeight 14
   RenderBlock {mo} at (0,120) size 8x10
-    RenderText {mo} at (0,-2) size 8x17
-      text run at (0,-2) width 8: "\x{23D0}"
-layer at (497,397) size 8x4 scrollHeight 15
+    RenderText {mo} at (0,-3) size 8x17
+      text run at (0,-3) width 8: "\x{23D0}"
+layer at (281,394) size 8x4 scrollHeight 14
   RenderBlock {mo} at (0,130) size 8x4
-    RenderText {mo} at (0,-2) size 8x17
-      text run at (0,-2) width 8: "\x{23D0}"
-layer at (497,401) size 8x12 scrollHeight 15
-  RenderBlock {mo} at (0,134) size 8x12
-layer at (632,267) size 8x10 scrollHeight 15
+    RenderText {mo} at (0,-3) size 8x17
+      text run at (0,-3) width 8: "\x{23D0}"
+layer at (281,398) size 8x11 scrollHeight 14
+  RenderBlock {mo} at (0,134) size 8x11
+layer at (344,264) size 8x10 scrollHeight 15
   RenderBlock {mo} at (0,0) size 8x10
-    RenderText {mo} at (0,-2) size 8x17
-      text run at (0,-2) width 8: "\x{23D0}"
-layer at (632,277) size 8x10 scrollHeight 15
+layer at (344,274) size 8x10 scrollHeight 14
   RenderBlock {mo} at (0,10) size 8x10
-    RenderText {mo} at (0,-2) size 8x17
-      text run at (0,-2) width 8: "\x{23D0}"
-layer at (632,287) size 8x10 scrollHeight 15
+    RenderText {mo} at (0,-3) size 8x17
+      text run at (0,-3) width 8: "\x{23D0}"
+layer at (344,284) size 8x10 scrollHeight 14
   RenderBlock {mo} at (0,20) size 8x10
-    RenderText {mo} at (0,-2) size 8x17
-      text run at (0,-2) width 8: "\x{23D0}"
-layer at (632,297) size 8x10 scrollHeight 15
+    RenderText {mo} at (0,-3) size 8x17
+      text run at (0,-3) width 8: "\x{23D0}"
+layer at (344,294) size 8x10 scrollHeight 14
   RenderBlock {mo} at (0,30) size 8x10
-    RenderText {mo} at (0,-2) size 8x17
-      text run at (0,-2) width 8: "\x{23D0}"
-layer at (632,307) size 8x10 scrollHeight 15
+    RenderText {mo} at (0,-3) size 8x17
+      text run at (0,-3) width 8: "\x{23D0}"
+layer at (344,304) size 8x10 scrollHeight 14
   RenderBlock {mo} at (0,40) size 8x10
-    RenderText {mo} at (0,-2) size 8x17
-      text run at (0,-2) width 8: "\x{23D0}"
-layer at (632,317) size 8x10 scrollHeight 15
+    RenderText {mo} at (0,-3) size 8x17
+      text run at (0,-3) width 8: "\x{23D0}"
+layer at (344,314) size 8x10 scrollHeight 14
   RenderBlock {mo} at (0,50) size 8x10
-    RenderText {mo} at (0,-2) size 8x17
-      text run at (0,-2) width 8: "\x{23D0}"
-layer at (632,327) size 8x10 scrollHeight 15
+    RenderText {mo} at (0,-3) size 8x17
+      text run at (0,-3) width 8: "\x{23D0}"
+layer at (344,324) size 8x10 scrollHeight 14
   RenderBlock {mo} at (0,60) size 8x10
-    RenderText {mo} at (0,-2) size 8x17
-      text run at (0,-2) width 8: "\x{23D0}"
-layer at (632,337) size 8x10 scrollHeight 15
+    RenderText {mo} at (0,-3) size 8x17
+      text run at (0,-3) width 8: "\x{23D0}"
+layer at (344,334) size 8x10 scrollHeight 14
   RenderBlock {mo} at (0,70) size 8x10
-    RenderText {mo} at (0,-2) size 8x17
-      text run at (0,-2) width 8: "\x{23D0}"
-layer at (632,347) size 8x10 scrollHeight 15
+    RenderText {mo} at (0,-3) size 8x17
+      text run at (0,-3) width 8: "\x{23D0}"
+layer at (344,344) size 8x10 scrollHeight 14
   RenderBlock {mo} at (0,80) size 8x10
-    RenderText {mo} at (0,-2) size 8x17
-      text run at (0,-2) width 8: "\x{23D0}"
-layer at (632,357) size 8x10 scrollHeight 15
+    RenderText {mo} at (0,-3) size 8x17
+      text run at (0,-3) width 8: "\x{23D0}"
+layer at (344,354) size 8x10 scrollHeight 14
   RenderBlock {mo} at (0,90) size 8x10
-    RenderText {mo} at (0,-2) size 8x17
-      text run at (0,-2) width 8: "\x{23D0}"
-layer at (632,367) size 8x10 scrollHeight 15
+    RenderText {mo} at (0,-3) size 8x17
+      text run at (0,-3) width 8: "\x{23D0}"
+layer at (344,364) size 8x10 scrollHeight 14
   RenderBlock {mo} at (0,100) size 8x10
-    RenderText {mo} at (0,-2) size 8x17
-      text run at (0,-2) width 8: "\x{23D0}"
-layer at (632,377) size 8x10 scrollHeight 15
+    RenderText {mo} at (0,-3) size 8x17
+      text run at (0,-3) width 8: "\x{23D0}"
+layer at (344,374) size 8x10 scrollHeight 14
   RenderBlock {mo} at (0,110) size 8x10
-    RenderText {mo} at (0,-2) size 8x17
-      text run at (0,-2) width 8: "\x{23D0}"
-layer at (632,387) size 8x10 scrollHeight 15
+    RenderText {mo} at (0,-3) size 8x17
+      text run at (0,-3) width 8: "\x{23D0}"
+layer at (344,384) size 8x10 scrollHeight 14
   RenderBlock {mo} at (0,120) size 8x10
-    RenderText {mo} at (0,-2) size 8x17
-      text run at (0,-2) width 8: "\x{23D0}"
-layer at (632,397) size 8x4 scrollHeight 15
+    RenderText {mo} at (0,-3) size 8x17
+      text run at (0,-3) width 8: "\x{23D0}"
+layer at (344,394) size 8x4 scrollHeight 14
   RenderBlock {mo} at (0,130) size 8x4
-    RenderText {mo} at (0,-2) size 8x17
-      text run at (0,-2) width 8: "\x{23D0}"
-layer at (632,401) size 8x12 scrollHeight 15
-  RenderBlock {mo} at (0,134) size 8x12
-layer at (10,413) size 10x10 scrollHeight 15
+    RenderText {mo} at (0,-3) size 8x17
+      text run at (0,-3) width 8: "\x{23D0}"
+layer at (344,398) size 8x11 scrollHeight 14
+  RenderBlock {mo} at (0,134) size 8x11
+layer at (360,264) size 10x10 scrollHeight 15
   RenderBlock {mo} at (0,0) size 10x10
-    RenderText {mo} at (0,-2) size 10x17
-      text run at (0,-2) width 10: "\x{2320}"
-layer at (10,423) size 10x10 scrollHeight 15
+layer at (360,274) size 10x10 scrollHeight 14
   RenderBlock {mo} at (0,10) size 10x10
-    RenderText {mo} at (0,-2) size 10x17
-      text run at (0,-2) width 10: "\x{23AE}"
-layer at (10,433) size 10x10 scrollHeight 15
+    RenderText {mo} at (0,-3) size 10x17
+      text run at (0,-3) width 10: "\x{23AE}"
+layer at (360,284) size 10x10 scrollHeight 14
   RenderBlock {mo} at (0,20) size 10x10
-    RenderText {mo} at (0,-2) size 10x17
-      text run at (0,-2) width 10: "\x{23AE}"
-layer at (10,443) size 10x10 scrollHeight 15
+    RenderText {mo} at (0,-3) size 10x17
+      text run at (0,-3) width 10: "\x{23AE}"
+layer at (360,294) size 10x10 scrollHeight 14
   RenderBlock {mo} at (0,30) size 10x10
-    RenderText {mo} at (0,-2) size 10x17
-      text run at (0,-2) width 10: "\x{23AE}"
-layer at (10,453) size 10x10 scrollHeight 15
+    RenderText {mo} at (0,-3) size 10x17
+      text run at (0,-3) width 10: "\x{23AE}"
+layer at (360,304) size 10x10 scrollHeight 14
   RenderBlock {mo} at (0,40) size 10x10
-    RenderText {mo} at (0,-2) size 10x17
-      text run at (0,-2) width 10: "\x{23AE}"
-layer at (10,463) size 10x10 scrollHeight 15
+    RenderText {mo} at (0,-3) size 10x17
+      text run at (0,-3) width 10: "\x{23AE}"
+layer at (360,314) size 10x10 scrollHeight 14
   RenderBlock {mo} at (0,50) size 10x10
-    RenderText {mo} at (0,-2) size 10x17
-      text run at (0,-2) width 10: "\x{23AE}"
-layer at (10,473) size 10x10 scrollHeight 15
+    RenderText {mo} at (0,-3) size 10x17
+      text run at (0,-3) width 10: "\x{23AE}"
+layer at (360,324) size 10x10 scrollHeight 14
   RenderBlock {mo} at (0,60) size 10x10
-    RenderText {mo} at (0,-2) size 10x17
-      text run at (0,-2) width 10: "\x{23AE}"
-layer at (10,483) size 10x10 scrollHeight 15
+    RenderText {mo} at (0,-3) size 10x17
+      text run at (0,-3) width 10: "\x{23AE}"
+layer at (360,334) size 10x10 scrollHeight 14
   RenderBlock {mo} at (0,70) size 10x10
-    RenderText {mo} at (0,-2) size 10x17
-      text run at (0,-2) width 10: "\x{23AE}"
-layer at (10,493) size 10x10 scrollHeight 15
+    RenderText {mo} at (0,-3) size 10x17
+      text run at (0,-3) width 10: "\x{23AE}"
+layer at (360,344) size 10x10 scrollHeight 14
   RenderBlock {mo} at (0,80) size 10x10
-    RenderText {mo} at (0,-2) size 10x17
-      text run at (0,-2) width 10: "\x{23AE}"
-layer at (10,503) size 10x10 scrollHeight 15
+    RenderText {mo} at (0,-3) size 10x17
+      text run at (0,-3) width 10: "\x{23AE}"
+layer at (360,354) size 10x10 scrollHeight 14
   RenderBlock {mo} at (0,90) size 10x10
-    RenderText {mo} at (0,-2) size 10x17
-      text run at (0,-2) width 10: "\x{23AE}"
-layer at (10,513) size 10x10 scrollHeight 15
+    RenderText {mo} at (0,-3) size 10x17
+      text run at (0,-3) width 10: "\x{23AE}"
+layer at (360,364) size 10x10 scrollHeight 14
   RenderBlock {mo} at (0,100) size 10x10
-    RenderText {mo} at (0,-2) size 10x17
-      text run at (0,-2) width 10: "\x{23AE}"
-layer at (10,523) size 10x10 scrollHeight 15
+    RenderText {mo} at (0,-3) size 10x17
+      text run at (0,-3) width 10: "\x{23AE}"
+layer at (360,374) size 10x10 scrollHeight 14
   RenderBlock {mo} at (0,110) size 10x10
-    RenderText {mo} at (0,-2) size 10x17
-      text run at (0,-2) width 10: "\x{23AE}"
-layer at (10,533) size 10x10 scrollHeight 15
+    RenderText {mo} at (0,-3) size 10x17
+      text run at (0,-3) width 10: "\x{23AE}"
+layer at (360,384) size 10x10 scrollHeight 14
   RenderBlock {mo} at (0,120) size 10x10
-    RenderText {mo} at (0,-2) size 10x17
-      text run at (0,-2) width 10: "\x{23AE}"
-layer at (10,543) size 10x4 scrollHeight 15
+    RenderText {mo} at (0,-3) size 10x17
+      text run at (0,-3) width 10: "\x{23AE}"
+layer at (360,394) size 10x4 scrollHeight 14
   RenderBlock {mo} at (0,130) size 10x4
-    RenderText {mo} at (0,-2) size 10x17
-      text run at (0,-2) width 10: "\x{23AE}"
-layer at (10,547) size 10x12 scrollHeight 15
-  RenderBlock {mo} at (0,134) size 10x12
-layer at (10,575) size 5x10 scrollHeight 15
+    RenderText {mo} at (0,-3) size 10x17
+      text run at (0,-3) width 10: "\x{23AE}"
+layer at (360,398) size 10x11 scrollHeight 14
+  RenderBlock {mo} at (0,134) size 10x11
+layer at (10,425) size 5x10 scrollHeight 15
   RenderBlock {mo} at (0,0) size 5x10
-    RenderText {mo} at (0,-2) size 5x17
-      text run at (0,-2) width 5: "\x{239B}"
-layer at (10,585) size 5x10 scrollHeight 15
+layer at (10,435) size 5x10 scrollHeight 14
   RenderBlock {mo} at (0,10) size 5x10
-    RenderText {mo} at (0,-2) size 5x17
-      text run at (0,-2) width 5: "\x{239C}"
-layer at (10,595) size 5x10 scrollHeight 15
+    RenderText {mo} at (0,-3) size 5x17
+      text run at (0,-3) width 5: "\x{239C}"
+layer at (10,445) size 5x10 scrollHeight 14
   RenderBlock {mo} at (0,20) size 5x10
-    RenderText {mo} at (0,-2) size 5x17
-      text run at (0,-2) width 5: "\x{239C}"
-layer at (10,605) size 5x8 scrollHeight 15
+    RenderText {mo} at (0,-3) size 5x17
+      text run at (0,-3) width 5: "\x{239C}"
+layer at (10,455) size 5x8 scrollHeight 14
   RenderBlock {mo} at (0,30) size 5x8
-    RenderText {mo} at (0,-2) size 5x17
-      text run at (0,-2) width 5: "\x{239C}"
-layer at (10,613) size 5x12 scrollHeight 15
-  RenderBlock {mo} at (0,38) size 5x12
-layer at (154,575) size 5x10 scrollHeight 15
+    RenderText {mo} at (0,-3) size 5x17
+      text run at (0,-3) width 5: "\x{239C}"
+layer at (10,463) size 5x11 scrollHeight 14
+  RenderBlock {mo} at (0,38) size 5x11
+layer at (154,425) size 5x10 scrollHeight 15
   RenderBlock {mo} at (0,0) size 5x10
-    RenderText {mo} at (0,-2) size 5x17
-      text run at (0,-2) width 5: "\x{239E}"
-layer at (154,585) size 5x10 scrollHeight 15
+layer at (154,435) size 5x10 scrollHeight 14
   RenderBlock {mo} at (0,10) size 5x10
-    RenderText {mo} at (0,-2) size 5x17
-      text run at (0,-2) width 5: "\x{239F}"
-layer at (154,595) size 5x10 scrollHeight 15
+    RenderText {mo} at (0,-3) size 5x17
+      text run at (0,-3) width 5: "\x{239F}"
+layer at (154,445) size 5x10 scrollHeight 14
   RenderBlock {mo} at (0,20) size 5x10
-    RenderText {mo} at (0,-2) size 5x17
-      text run at (0,-2) width 5: "\x{239F}"
-layer at (154,605) size 5x8 scrollHeight 15
+    RenderText {mo} at (0,-3) size 5x17
+      text run at (0,-3) width 5: "\x{239F}"
+layer at (154,455) size 5x8 scrollHeight 14
   RenderBlock {mo} at (0,30) size 5x8
-    RenderText {mo} at (0,-2) size 5x17
-      text run at (0,-2) width 5: "\x{239F}"
-layer at (154,613) size 5x12 scrollHeight 15
-  RenderBlock {mo} at (0,38) size 5x12
-layer at (50,96) size 7x15 backgroundClip at (50,98) size 7x10 clip at (50,98) size 7x10 outlineClip at (50,98) size 7x10
-  RenderBlock (relative positioned) {mo} at (0,0) size 7x12
-    RenderText {mo} at (0,-2) size 7x17
-      text run at (0,-2) width 7: "\x{23A8}"
-layer at (50,104) size 7x15 backgroundClip at (50,108) size 7x12 clip at (50,108) size 7x12 outlineClip at (50,108) size 7x12
-  RenderBlock (relative positioned) {mo} at (0,0) size 7x12
-    RenderText {mo} at (0,-2) size 7x17
-      text run at (0,-2) width 7: "\x{23A9}"
-layer at (88,96) size 7x15 backgroundClip at (88,98) size 7x10 clip at (88,98) size 7x10 outlineClip at (88,98) size 7x10
-  RenderBlock (relative positioned) {mo} at (0,0) size 7x12
-    RenderText {mo} at (0,-2) size 7x17
-      text run at (0,-2) width 7: "\x{23AC}"
-layer at (88,104) size 7x15 backgroundClip at (88,108) size 7x12 clip at (88,108) size 7x12 outlineClip at (88,108) size 7x12
-  RenderBlock (relative positioned) {mo} at (0,0) size 7x12
-    RenderText {mo} at (0,-2) size 7x17
-      text run at (0,-2) width 7: "\x{23AD}"
-layer at (103,103) size 5x15 backgroundClip at (103,107) size 5x12 clip at (103,107) size 5x12 outlineClip at (103,107) size 5x12
-  RenderBlock (relative positioned) {mo} at (0,0) size 5x12
-    RenderText {mo} at (0,-2) size 5x17
-      text run at (0,-2) width 5: "\x{23A3}"
-layer at (139,103) size 5x15 backgroundClip at (139,107) size 5x12 clip at (139,107) size 5x12 outlineClip at (139,107) size 5x12
-  RenderBlock (relative positioned) {mo} at (0,0) size 5x12
-    RenderText {mo} at (0,-2) size 5x17
-      text run at (0,-2) width 5: "\x{23A6}"
-layer at (152,103) size 5x15 backgroundClip at (152,107) size 5x12 clip at (152,107) size 5x12 outlineClip at (152,107) size 5x12
-  RenderBlock (relative positioned) {mo} at (0,0) size 5x12
-    RenderText {mo} at (0,-2) size 5x17
-      text run at (0,-2) width 5: "\x{239D}"
-layer at (188,103) size 5x15 backgroundClip at (188,107) size 5x12 clip at (188,107) size 5x12 outlineClip at (188,107) size 5x12
-  RenderBlock (relative positioned) {mo} at (0,0) size 5x12
-    RenderText {mo} at (0,-2) size 5x17
-      text run at (0,-2) width 5: "\x{23A0}"
-layer at (201,103) size 8x15 backgroundClip at (201,107) size 8x12 clip at (201,107) size 8x12 outlineClip at (201,107) size 8x12
-  RenderBlock (relative positioned) {mo} at (0,0) size 8x12
-    RenderText {mo} at (0,-2) size 8x17
-      text run at (0,-2) width 8: "\x{23D0}"
-layer at (240,103) size 8x15 backgroundClip at (240,107) size 8x12 clip at (240,107) size 8x12 outlineClip at (240,107) size 8x12
-  RenderBlock (relative positioned) {mo} at (0,0) size 8x12
-    RenderText {mo} at (0,-2) size 8x17
-      text run at (0,-2) width 8: "\x{23D0}"
-layer at (256,103) size 10x15 backgroundClip at (256,107) size 10x12 clip at (256,107) size 10x12 outlineClip at (256,107) size 10x12
-  RenderBlock (relative positioned) {mo} at (0,0) size 10x12
-    RenderText {mo} at (0,-2) size 10x17
-      text run at (0,-2) width 10: "\x{2321}"
-layer at (50,148) size 7x15 backgroundClip at (50,150) size 7x10 clip at (50,150) size 7x10 outlineClip at (50,150) size 7x10
-  RenderBlock (relative positioned) {mo} at (0,0) size 7x12
-    RenderText {mo} at (0,-2) size 7x17
-      text run at (0,-2) width 7: "\x{23A8}"
-layer at (50,160) size 7x15 backgroundClip at (50,164) size 7x12 clip at (50,164) size 7x12 outlineClip at (50,164) size 7x12
-  RenderBlock (relative positioned) {mo} at (0,0) size 7x12
-    RenderText {mo} at (0,-2) size 7x17
-      text run at (0,-2) width 7: "\x{23A9}"
-layer at (96,148) size 7x15 backgroundClip at (96,150) size 7x10 clip at (96,150) size 7x10 outlineClip at (96,150) size 7x10
-  RenderBlock (relative positioned) {mo} at (0,0) size 7x12
-    RenderText {mo} at (0,-2) size 7x17
-      text run at (0,-2) width 7: "\x{23AC}"
-layer at (96,160) size 7x15 backgroundClip at (96,164) size 7x12 clip at (96,164) size 7x12 outlineClip at (96,164) size 7x12
-  RenderBlock (relative positioned) {mo} at (0,0) size 7x12
-    RenderText {mo} at (0,-2) size 7x17
-      text run at (0,-2) width 7: "\x{23AD}"
-layer at (111,160) size 5x15 backgroundClip at (111,164) size 5x12 clip at (111,164) size 5x12 outlineClip at (111,164) size 5x12
-  RenderBlock (relative positioned) {mo} at (0,0) size 5x12
-    RenderText {mo} at (0,-2) size 5x17
-      text run at (0,-2) width 5: "\x{23A3}"
-layer at (155,160) size 5x15 backgroundClip at (155,164) size 5x12 clip at (155,164) size 5x12 outlineClip at (155,164) size 5x12
-  RenderBlock (relative positioned) {mo} at (0,0) size 5x12
-    RenderText {mo} at (0,-2) size 5x17
-      text run at (0,-2) width 5: "\x{23A6}"
-layer at (168,160) size 5x15 backgroundClip at (168,164) size 5x12 clip at (168,164) size 5x12 outlineClip at (168,164) size 5x12
-  RenderBlock (relative positioned) {mo} at (0,0) size 5x12
-    RenderText {mo} at (0,-2) size 5x17
-      text run at (0,-2) width 5: "\x{239D}"
-layer at (212,160) size 5x15 backgroundClip at (212,164) size 5x12 clip at (212,164) size 5x12 outlineClip at (212,164) size 5x12
-  RenderBlock (relative positioned) {mo} at (0,0) size 5x12
-    RenderText {mo} at (0,-2) size 5x17
-      text run at (0,-2) width 5: "\x{23A0}"
-layer at (225,160) size 8x15 backgroundClip at (225,164) size 8x12 clip at (225,164) size 8x12 outlineClip at (225,164) size 8x12
-  RenderBlock (relative positioned) {mo} at (0,0) size 8x12
-    RenderText {mo} at (0,-2) size 8x17
-      text run at (0,-2) width 8: "\x{23D0}"
-layer at (272,160) size 8x15 backgroundClip at (272,164) size 8x12 clip at (272,164) size 8x12 outlineClip at (272,164) size 8x12
-  RenderBlock (relative positioned) {mo} at (0,0) size 8x12
-    RenderText {mo} at (0,-2) size 8x17
-      text run at (0,-2) width 8: "\x{23D0}"
-layer at (288,160) size 10x15 backgroundClip at (288,164) size 10x12 clip at (288,164) size 10x12 outlineClip at (288,164) size 10x12
-  RenderBlock (relative positioned) {mo} at (0,0) size 10x12
-    RenderText {mo} at (0,-2) size 10x17
-      text run at (0,-2) width 10: "\x{2321}"
-layer at (50,213) size 7x15 backgroundClip at (50,215) size 7x10 clip at (50,215) size 7x10 outlineClip at (50,215) size 7x10
-  RenderBlock (relative positioned) {mo} at (0,0) size 7x12
-    RenderText {mo} at (0,-2) size 7x17
-      text run at (0,-2) width 7: "\x{23A8}"
-layer at (50,235) size 7x15 backgroundClip at (50,239) size 7x12 clip at (50,239) size 7x12 outlineClip at (50,239) size 7x12
-  RenderBlock (relative positioned) {mo} at (0,0) size 7x12
-    RenderText {mo} at (0,-2) size 7x17
-      text run at (0,-2) width 7: "\x{23A9}"
-layer at (112,213) size 7x15 backgroundClip at (112,215) size 7x10 clip at (112,215) size 7x10 outlineClip at (112,215) size 7x10
-  RenderBlock (relative positioned) {mo} at (0,0) size 7x12
-    RenderText {mo} at (0,-2) size 7x17
-      text run at (0,-2) width 7: "\x{23AC}"
-layer at (112,235) size 7x15 backgroundClip at (112,239) size 7x12 clip at (112,239) size 7x12 outlineClip at (112,239) size 7x12
-  RenderBlock (relative positioned) {mo} at (0,0) size 7x12
-    RenderText {mo} at (0,-2) size 7x17
-      text run at (0,-2) width 7: "\x{23AD}"
-layer at (127,235) size 5x15 backgroundClip at (127,239) size 5x12 clip at (127,239) size 5x12 outlineClip at (127,239) size 5x12
-  RenderBlock (relative positioned) {mo} at (0,0) size 5x12
-    RenderText {mo} at (0,-2) size 5x17
-      text run at (0,-2) width 5: "\x{23A3}"
-layer at (187,235) size 5x15 backgroundClip at (187,239) size 5x12 clip at (187,239) size 5x12 outlineClip at (187,239) size 5x12
-  RenderBlock (relative positioned) {mo} at (0,0) size 5x12
-    RenderText {mo} at (0,-2) size 5x17
-      text run at (0,-2) width 5: "\x{23A6}"
-layer at (200,235) size 5x15 backgroundClip at (200,239) size 5x12 clip at (200,239) size 5x12 outlineClip at (200,239) size 5x12
-  RenderBlock (relative positioned) {mo} at (0,0) size 5x12
-    RenderText {mo} at (0,-2) size 5x17
-      text run at (0,-2) width 5: "\x{239D}"
-layer at (260,235) size 5x15 backgroundClip at (260,239) size 5x12 clip at (260,239) size 5x12 outlineClip at (260,239) size 5x12
-  RenderBlock (relative positioned) {mo} at (0,0) size 5x12
-    RenderText {mo} at (0,-2) size 5x17
-      text run at (0,-2) width 5: "\x{23A0}"
-layer at (273,235) size 8x15 backgroundClip at (273,239) size 8x12 clip at (273,239) size 8x12 outlineClip at (273,239) size 8x12
-  RenderBlock (relative positioned) {mo} at (0,0) size 8x12
-    RenderText {mo} at (0,-2) size 8x17
-      text run at (0,-2) width 8: "\x{23D0}"
-layer at (336,235) size 8x15 backgroundClip at (336,239) size 8x12 clip at (336,239) size 8x12 outlineClip at (336,239) size 8x12
-  RenderBlock (relative positioned) {mo} at (0,0) size 8x12
-    RenderText {mo} at (0,-2) size 8x17
-      text run at (0,-2) width 8: "\x{23D0}"
-layer at (352,235) size 10x15 backgroundClip at (352,239) size 10x12 clip at (352,239) size 10x12 outlineClip at (352,239) size 10x12
-  RenderBlock (relative positioned) {mo} at (0,0) size 10x12
-    RenderText {mo} at (0,-2) size 10x17
-      text run at (0,-2) width 10: "\x{2321}"
-layer at (58,332) size 7x15 backgroundClip at (58,334) size 7x10 clip at (58,334) size 7x10 outlineClip at (58,334) size 7x10
-  RenderBlock (relative positioned) {mo} at (0,0) size 7x12
-    RenderText {mo} at (0,-2) size 7x17
-      text run at (0,-2) width 7: "\x{23A8}"
-layer at (58,397) size 7x15 backgroundClip at (58,401) size 7x12 clip at (58,401) size 7x12 outlineClip at (58,401) size 7x12
-  RenderBlock (relative positioned) {mo} at (0,0) size 7x12
-    RenderText {mo} at (0,-2) size 7x17
-      text run at (0,-2) width 7: "\x{23A9}"
-layer at (192,332) size 7x15 backgroundClip at (192,334) size 7x10 clip at (192,334) size 7x10 outlineClip at (192,334) size 7x10
-  RenderBlock (relative positioned) {mo} at (0,0) size 7x12
-    RenderText {mo} at (0,-2) size 7x17
-      text run at (0,-2) width 7: "\x{23AC}"
-layer at (192,397) size 7x15 backgroundClip at (192,401) size 7x12 clip at (192,401) size 7x12 outlineClip at (192,401) size 7x12
-  RenderBlock (relative positioned) {mo} at (0,0) size 7x12
-    RenderText {mo} at (0,-2) size 7x17
-      text run at (0,-2) width 7: "\x{23AD}"
-layer at (207,397) size 5x15 backgroundClip at (207,401) size 5x12 clip at (207,401) size 5x12 outlineClip at (207,401) size 5x12
-  RenderBlock (relative positioned) {mo} at (0,0) size 5x12
-    RenderText {mo} at (0,-2) size 5x17
-      text run at (0,-2) width 5: "\x{23A3}"
-layer at (339,397) size 5x15 backgroundClip at (339,401) size 5x12 clip at (339,401) size 5x12 outlineClip at (339,401) size 5x12
-  RenderBlock (relative positioned) {mo} at (0,0) size 5x12
-    RenderText {mo} at (0,-2) size 5x17
-      text run at (0,-2) width 5: "\x{23A6}"
-layer at (352,397) size 5x15 backgroundClip at (352,401) size 5x12 clip at (352,401) size 5x12 outlineClip at (352,401) size 5x12
-  RenderBlock (relative positioned) {mo} at (0,0) size 5x12
-    RenderText {mo} at (0,-2) size 5x17
-      text run at (0,-2) width 5: "\x{239D}"
-layer at (484,397) size 5x15 backgroundClip at (484,401) size 5x12 clip at (484,401) size 5x12 outlineClip at (484,401) size 5x12
-  RenderBlock (relative positioned) {mo} at (0,0) size 5x12
-    RenderText {mo} at (0,-2) size 5x17
-      text run at (0,-2) width 5: "\x{23A0}"
-layer at (497,397) size 8x15 backgroundClip at (497,401) size 8x12 clip at (497,401) size 8x12 outlineClip at (497,401) size 8x12
-  RenderBlock (relative positioned) {mo} at (0,0) size 8x12
-    RenderText {mo} at (0,-2) size 8x17
-      text run at (0,-2) width 8: "\x{23D0}"
-layer at (632,397) size 8x15 backgroundClip at (632,401) size 8x12 clip at (632,401) size 8x12 outlineClip at (632,401) size 8x12
-  RenderBlock (relative positioned) {mo} at (0,0) size 8x12
-    RenderText {mo} at (0,-2) size 8x17
-      text run at (0,-2) width 8: "\x{23D0}"
-layer at (10,543) size 10x15 backgroundClip at (10,547) size 10x12 clip at (10,547) size 10x12 outlineClip at (10,547) size 10x12
-  RenderBlock (relative positioned) {mo} at (0,0) size 10x12
-    RenderText {mo} at (0,-2) size 10x17
-      text run at (0,-2) width 10: "\x{2321}"
-layer at (10,609) size 5x15 backgroundClip at (10,613) size 5x12 clip at (10,613) size 5x12 outlineClip at (10,613) size 5x12
-  RenderBlock (relative positioned) {mo} at (0,0) size 5x12
-    RenderText {mo} at (0,-2) size 5x17
-      text run at (0,-2) width 5: "\x{239D}"
-layer at (154,609) size 5x15 backgroundClip at (154,613) size 5x12 clip at (154,613) size 5x12 outlineClip at (154,613) size 5x12
-  RenderBlock (relative positioned) {mo} at (0,0) size 5x12
-    RenderText {mo} at (0,-2) size 5x17
-      text run at (0,-2) width 5: "\x{23A0}"
+    RenderText {mo} at (0,-3) size 5x17
+      text run at (0,-3) width 5: "\x{239F}"
+layer at (154,463) size 5x11 scrollHeight 14
+  RenderBlock {mo} at (0,38) size 5x11
+layer at (50,90) size 7x14 backgroundClip at (50,89) size 7x9 clip at (50,89) size 7x9 outlineClip at (50,89) size 7x9
+  RenderBlock (relative positioned) {mo} at (0,0) size 7x11
+    RenderText {mo} at (0,-3) size 7x17
+      text run at (0,-3) width 7: "\x{23A7}"
+layer at (50,97) size 7x14 backgroundClip at (50,98) size 7x10 clip at (50,98) size 7x10 outlineClip at (50,98) size 7x10
+  RenderBlock (relative positioned) {mo} at (0,0) size 7x11
+    RenderText {mo} at (0,-3) size 7x17
+      text run at (0,-3) width 7: "\x{23A8}"
+layer at (50,105) size 7x14 backgroundClip at (50,108) size 7x11 clip at (50,108) size 7x11 outlineClip at (50,108) size 7x11
+  RenderBlock (relative positioned) {mo} at (0,0) size 7x11
+    RenderText {mo} at (0,-3) size 7x17
+      text run at (0,-3) width 7: "\x{23A9}"
+layer at (88,90) size 7x14 backgroundClip at (88,89) size 7x9 clip at (88,89) size 7x9 outlineClip at (88,89) size 7x9
+  RenderBlock (relative positioned) {mo} at (0,0) size 7x11
+    RenderText {mo} at (0,-3) size 7x17
+      text run at (0,-3) width 7: "\x{23AB}"
+layer at (88,97) size 7x14 backgroundClip at (88,98) size 7x10 clip at (88,98) size 7x10 outlineClip at (88,98) size 7x10
+  RenderBlock (relative positioned) {mo} at (0,0) size 7x11
+    RenderText {mo} at (0,-3) size 7x17
+      text run at (0,-3) width 7: "\x{23AC}"
+layer at (88,105) size 7x14 backgroundClip at (88,108) size 7x11 clip at (88,108) size 7x11 outlineClip at (88,108) size 7x11
+  RenderBlock (relative positioned) {mo} at (0,0) size 7x11
+    RenderText {mo} at (0,-3) size 7x17
+      text run at (0,-3) width 7: "\x{23AD}"
+layer at (103,90) size 5x14 backgroundClip at (103,89) size 5x10 clip at (103,89) size 5x10 outlineClip at (103,89) size 5x10
+  RenderBlock (relative positioned) {mo} at (0,0) size 5x11
+    RenderText {mo} at (0,-3) size 5x17
+      text run at (0,-3) width 5: "\x{23A1}"
+layer at (103,104) size 5x14 backgroundClip at (103,107) size 5x11 clip at (103,107) size 5x11 outlineClip at (103,107) size 5x11
+  RenderBlock (relative positioned) {mo} at (0,0) size 5x11
+    RenderText {mo} at (0,-3) size 5x17
+      text run at (0,-3) width 5: "\x{23A3}"
+layer at (139,90) size 5x14 backgroundClip at (139,89) size 5x10 clip at (139,89) size 5x10 outlineClip at (139,89) size 5x10
+  RenderBlock (relative positioned) {mo} at (0,0) size 5x11
+    RenderText {mo} at (0,-3) size 5x17
+      text run at (0,-3) width 5: "\x{23A4}"
+layer at (139,104) size 5x14 backgroundClip at (139,107) size 5x11 clip at (139,107) size 5x11 outlineClip at (139,107) size 5x11
+  RenderBlock (relative positioned) {mo} at (0,0) size 5x11
+    RenderText {mo} at (0,-3) size 5x17
+      text run at (0,-3) width 5: "\x{23A6}"
+layer at (152,90) size 5x14 backgroundClip at (152,89) size 5x10 clip at (152,89) size 5x10 outlineClip at (152,89) size 5x10
+  RenderBlock (relative positioned) {mo} at (0,0) size 5x11
+    RenderText {mo} at (0,-3) size 5x17
+      text run at (0,-3) width 5: "\x{239B}"
+layer at (152,104) size 5x14 backgroundClip at (152,107) size 5x11 clip at (152,107) size 5x11 outlineClip at (152,107) size 5x11
+  RenderBlock (relative positioned) {mo} at (0,0) size 5x11
+    RenderText {mo} at (0,-3) size 5x17
+      text run at (0,-3) width 5: "\x{239D}"
+layer at (188,90) size 5x14 backgroundClip at (188,89) size 5x10 clip at (188,89) size 5x10 outlineClip at (188,89) size 5x10
+  RenderBlock (relative positioned) {mo} at (0,0) size 5x11
+    RenderText {mo} at (0,-3) size 5x17
+      text run at (0,-3) width 5: "\x{239E}"
+layer at (188,104) size 5x14 backgroundClip at (188,107) size 5x11 clip at (188,107) size 5x11 outlineClip at (188,107) size 5x11
+  RenderBlock (relative positioned) {mo} at (0,0) size 5x11
+    RenderText {mo} at (0,-3) size 5x17
+      text run at (0,-3) width 5: "\x{23A0}"
+layer at (201,90) size 8x14 backgroundClip at (201,89) size 8x10 clip at (201,89) size 8x10 outlineClip at (201,89) size 8x10
+  RenderBlock (relative positioned) {mo} at (0,0) size 8x11
+    RenderText {mo} at (0,-3) size 8x17
+      text run at (0,-3) width 8: "\x{23D0}"
+layer at (201,104) size 8x14 backgroundClip at (201,107) size 8x11 clip at (201,107) size 8x11 outlineClip at (201,107) size 8x11
+  RenderBlock (relative positioned) {mo} at (0,0) size 8x11
+    RenderText {mo} at (0,-3) size 8x17
+      text run at (0,-3) width 8: "\x{23D0}"
+layer at (240,90) size 8x14 backgroundClip at (240,89) size 8x10 clip at (240,89) size 8x10 outlineClip at (240,89) size 8x10
+  RenderBlock (relative positioned) {mo} at (0,0) size 8x11
+    RenderText {mo} at (0,-3) size 8x17
+      text run at (0,-3) width 8: "\x{23D0}"
+layer at (240,104) size 8x14 backgroundClip at (240,107) size 8x11 clip at (240,107) size 8x11 outlineClip at (240,107) size 8x11
+  RenderBlock (relative positioned) {mo} at (0,0) size 8x11
+    RenderText {mo} at (0,-3) size 8x17
+      text run at (0,-3) width 8: "\x{23D0}"
+layer at (256,90) size 10x14 backgroundClip at (256,89) size 10x10 clip at (256,89) size 10x10 outlineClip at (256,89) size 10x10
+  RenderBlock (relative positioned) {mo} at (0,0) size 10x11
+    RenderText {mo} at (0,-3) size 10x17
+      text run at (0,-3) width 10: "\x{2320}"
+layer at (256,104) size 10x14 backgroundClip at (256,107) size 10x11 clip at (256,107) size 10x11 outlineClip at (256,107) size 10x11
+  RenderBlock (relative positioned) {mo} at (0,0) size 10x11
+    RenderText {mo} at (0,-3) size 10x17
+      text run at (0,-3) width 10: "\x{2321}"
+layer at (50,136) size 7x14 backgroundClip at (50,135) size 7x10 clip at (50,135) size 7x10 outlineClip at (50,135) size 7x10
+  RenderBlock (relative positioned) {mo} at (0,0) size 7x11
+    RenderText {mo} at (0,-3) size 7x17
+      text run at (0,-3) width 7: "\x{23A7}"
+layer at (50,148) size 7x14 backgroundClip at (50,149) size 7x10 clip at (50,149) size 7x10 outlineClip at (50,149) size 7x10
+  RenderBlock (relative positioned) {mo} at (0,0) size 7x11
+    RenderText {mo} at (0,-3) size 7x17
+      text run at (0,-3) width 7: "\x{23A8}"
+layer at (50,160) size 7x14 backgroundClip at (50,163) size 7x11 clip at (50,163) size 7x11 outlineClip at (50,163) size 7x11
+  RenderBlock (relative positioned) {mo} at (0,0) size 7x11
+    RenderText {mo} at (0,-3) size 7x17
+      text run at (0,-3) width 7: "\x{23A9}"
+layer at (96,136) size 7x14 backgroundClip at (96,135) size 7x10 clip at (96,135) size 7x10 outlineClip at (96,135) size 7x10
+  RenderBlock (relative positioned) {mo} at (0,0) size 7x11
+    RenderText {mo} at (0,-3) size 7x17
+      text run at (0,-3) width 7: "\x{23AB}"
+layer at (96,148) size 7x14 backgroundClip at (96,149) size 7x10 clip at (96,149) size 7x10 outlineClip at (96,149) size 7x10
+  RenderBlock (relative positioned) {mo} at (0,0) size 7x11
+    RenderText {mo} at (0,-3) size 7x17
+      text run at (0,-3) width 7: "\x{23AC}"
+layer at (96,160) size 7x14 backgroundClip at (96,163) size 7x11 clip at (96,163) size 7x11 outlineClip at (96,163) size 7x11
+  RenderBlock (relative positioned) {mo} at (0,0) size 7x11
+    RenderText {mo} at (0,-3) size 7x17
+      text run at (0,-3) width 7: "\x{23AD}"
+layer at (111,136) size 5x14 backgroundClip at (111,135) size 5x10 clip at (111,135) size 5x10 outlineClip at (111,135) size 5x10
+  RenderBlock (relative positioned) {mo} at (0,0) size 5x11
+    RenderText {mo} at (0,-3) size 5x17
+      text run at (0,-3) width 5: "\x{23A1}"
+layer at (111,160) size 5x14 backgroundClip at (111,163) size 5x11 clip at (111,163) size 5x11 outlineClip at (111,163) size 5x11
+  RenderBlock (relative positioned) {mo} at (0,0) size 5x11
+    RenderText {mo} at (0,-3) size 5x17
+      text run at (0,-3) width 5: "\x{23A3}"
+layer at (155,136) size 5x14 backgroundClip at (155,135) size 5x10 clip at (155,135) size 5x10 outlineClip at (155,135) size 5x10
+  RenderBlock (relative positioned) {mo} at (0,0) size 5x11
+    RenderText {mo} at (0,-3) size 5x17
+      text run at (0,-3) width 5: "\x{23A4}"
+layer at (155,160) size 5x14 backgroundClip at (155,163) size 5x11 clip at (155,163) size 5x11 outlineClip at (155,163) size 5x11
+  RenderBlock (relative positioned) {mo} at (0,0) size 5x11
+    RenderText {mo} at (0,-3) size 5x17
+      text run at (0,-3) width 5: "\x{23A6}"
+layer at (168,136) size 5x14 backgroundClip at (168,135) size 5x10 clip at (168,135) size 5x10 outlineClip at (168,135) size 5x10
+  RenderBlock (relative positioned) {mo} at (0,0) size 5x11
+    RenderText {mo} at (0,-3) size 5x17
+      text run at (0,-3) width 5: "\x{239B}"
+layer at (168,160) size 5x14 backgroundClip at (168,163) size 5x11 clip at (168,163) size 5x11 outlineClip at (168,163) size 5x11
+  RenderBlock (relative positioned) {mo} at (0,0) size 5x11
+    RenderText {mo} at (0,-3) size 5x17
+      text run at (0,-3) width 5: "\x{239D}"
+layer at (212,136) size 5x14 backgroundClip at (212,135) size 5x10 clip at (212,135) size 5x10 outlineClip at (212,135) size 5x10
+  RenderBlock (relative positioned) {mo} at (0,0) size 5x11
+    RenderText {mo} at (0,-3) size 5x17
+      text run at (0,-3) width 5: "\x{239E}"
+layer at (212,160) size 5x14 backgroundClip at (212,163) size 5x11 clip at (212,163) size 5x11 outlineClip at (212,163) size 5x11
+  RenderBlock (relative positioned) {mo} at (0,0) size 5x11
+    RenderText {mo} at (0,-3) size 5x17
+      text run at (0,-3) width 5: "\x{23A0}"
+layer at (225,136) size 8x14 backgroundClip at (225,135) size 8x10 clip at (225,135) size 8x10 outlineClip at (225,135) size 8x10
+  RenderBlock (relative positioned) {mo} at (0,0) size 8x11
+    RenderText {mo} at (0,-3) size 8x17
+      text run at (0,-3) width 8: "\x{23D0}"
+layer at (225,160) size 8x14 backgroundClip at (225,163) size 8x11 clip at (225,163) size 8x11 outlineClip at (225,163) size 8x11
+  RenderBlock (relative positioned) {mo} at (0,0) size 8x11
+    RenderText {mo} at (0,-3) size 8x17
+      text run at (0,-3) width 8: "\x{23D0}"
+layer at (272,136) size 8x14 backgroundClip at (272,135) size 8x10 clip at (272,135) size 8x10 outlineClip at (272,135) size 8x10
+  RenderBlock (relative positioned) {mo} at (0,0) size 8x11
+    RenderText {mo} at (0,-3) size 8x17
+      text run at (0,-3) width 8: "\x{23D0}"
+layer at (272,160) size 8x14 backgroundClip at (272,163) size 8x11 clip at (272,163) size 8x11 outlineClip at (272,163) size 8x11
+  RenderBlock (relative positioned) {mo} at (0,0) size 8x11
+    RenderText {mo} at (0,-3) size 8x17
+      text run at (0,-3) width 8: "\x{23D0}"
+layer at (288,136) size 10x14 backgroundClip at (288,135) size 10x10 clip at (288,135) size 10x10 outlineClip at (288,135) size 10x10
+  RenderBlock (relative positioned) {mo} at (0,0) size 10x11
+    RenderText {mo} at (0,-3) size 10x17
+      text run at (0,-3) width 10: "\x{2320}"
+layer at (288,160) size 10x14 backgroundClip at (288,163) size 10x11 clip at (288,163) size 10x11 outlineClip at (288,163) size 10x11
+  RenderBlock (relative positioned) {mo} at (0,0) size 10x11
+    RenderText {mo} at (0,-3) size 10x17
+      text run at (0,-3) width 10: "\x{2321}"
+layer at (50,191) size 7x14 backgroundClip at (50,190) size 7x10 clip at (50,190) size 7x10 outlineClip at (50,190) size 7x10
+  RenderBlock (relative positioned) {mo} at (0,0) size 7x11
+    RenderText {mo} at (0,-3) size 7x17
+      text run at (0,-3) width 7: "\x{23A7}"
+layer at (50,212) size 7x14 backgroundClip at (50,213) size 7x10 clip at (50,213) size 7x10 outlineClip at (50,213) size 7x10
+  RenderBlock (relative positioned) {mo} at (0,0) size 7x11
+    RenderText {mo} at (0,-3) size 7x17
+      text run at (0,-3) width 7: "\x{23A8}"
+layer at (50,234) size 7x14 backgroundClip at (50,237) size 7x11 clip at (50,237) size 7x11 outlineClip at (50,237) size 7x11
+  RenderBlock (relative positioned) {mo} at (0,0) size 7x11
+    RenderText {mo} at (0,-3) size 7x17
+      text run at (0,-3) width 7: "\x{23A9}"
+layer at (112,191) size 7x14 backgroundClip at (112,190) size 7x10 clip at (112,190) size 7x10 outlineClip at (112,190) size 7x10
+  RenderBlock (relative positioned) {mo} at (0,0) size 7x11
+    RenderText {mo} at (0,-3) size 7x17
+      text run at (0,-3) width 7: "\x{23AB}"
+layer at (112,212) size 7x14 backgroundClip at (112,213) size 7x10 clip at (112,213) size 7x10 outlineClip at (112,213) size 7x10
+  RenderBlock (relative positioned) {mo} at (0,0) size 7x11
+    RenderText {mo} at (0,-3) size 7x17
+      text run at (0,-3) width 7: "\x{23AC}"
+layer at (112,234) size 7x14 backgroundClip at (112,237) size 7x11 clip at (112,237) size 7x11 outlineClip at (112,237) size 7x11
+  RenderBlock (relative positioned) {mo} at (0,0) size 7x11
+    RenderText {mo} at (0,-3) size 7x17
+      text run at (0,-3) width 7: "\x{23AD}"
+layer at (127,191) size 5x14 backgroundClip at (127,190) size 5x10 clip at (127,190) size 5x10 outlineClip at (127,190) size 5x10
+  RenderBlock (relative positioned) {mo} at (0,0) size 5x11
+    RenderText {mo} at (0,-3) size 5x17
+      text run at (0,-3) width 5: "\x{23A1}"
+layer at (127,234) size 5x14 backgroundClip at (127,237) size 5x11 clip at (127,237) size 5x11 outlineClip at (127,237) size 5x11
+  RenderBlock (relative positioned) {mo} at (0,0) size 5x11
+    RenderText {mo} at (0,-3) size 5x17
+      text run at (0,-3) width 5: "\x{23A3}"
+layer at (187,191) size 5x14 backgroundClip at (187,190) size 5x10 clip at (187,190) size 5x10 outlineClip at (187,190) size 5x10
+  RenderBlock (relative positioned) {mo} at (0,0) size 5x11
+    RenderText {mo} at (0,-3) size 5x17
+      text run at (0,-3) width 5: "\x{23A4}"
+layer at (187,234) size 5x14 backgroundClip at (187,237) size 5x11 clip at (187,237) size 5x11 outlineClip at (187,237) size 5x11
+  RenderBlock (relative positioned) {mo} at (0,0) size 5x11
+    RenderText {mo} at (0,-3) size 5x17
+      text run at (0,-3) width 5: "\x{23A6}"
+layer at (200,191) size 5x14 backgroundClip at (200,190) size 5x10 clip at (200,190) size 5x10 outlineClip at (200,190) size 5x10
+  RenderBlock (relative positioned) {mo} at (0,0) size 5x11
+    RenderText {mo} at (0,-3) size 5x17
+      text run at (0,-3) width 5: "\x{239B}"
+layer at (200,234) size 5x14 backgroundClip at (200,237) size 5x11 clip at (200,237) size 5x11 outlineClip at (200,237) size 5x11
+  RenderBlock (relative positioned) {mo} at (0,0) size 5x11
+    RenderText {mo} at (0,-3) size 5x17
+      text run at (0,-3) width 5: "\x{239D}"
+layer at (260,191) size 5x14 backgroundClip at (260,190) size 5x10 clip at (260,190) size 5x10 outlineClip at (260,190) size 5x10
+  RenderBlock (relative positioned) {mo} at (0,0) size 5x11
+    RenderText {mo} at (0,-3) size 5x17
+      text run at (0,-3) width 5: "\x{239E}"
+layer at (260,234) size 5x14 backgroundClip at (260,237) size 5x11 clip at (260,237) size 5x11 outlineClip at (260,237) size 5x11
+  RenderBlock (relative positioned) {mo} at (0,0) size 5x11
+    RenderText {mo} at (0,-3) size 5x17
+      text run at (0,-3) width 5: "\x{23A0}"
+layer at (273,191) size 8x14 backgroundClip at (273,190) size 8x10 clip at (273,190) size 8x10 outlineClip at (273,190) size 8x10
+  RenderBlock (relative positioned) {mo} at (0,0) size 8x11
+    RenderText {mo} at (0,-3) size 8x17
+      text run at (0,-3) width 8: "\x{23D0}"
+layer at (273,234) size 8x14 backgroundClip at (273,237) size 8x11 clip at (273,237) size 8x11 outlineClip at (273,237) size 8x11
+  RenderBlock (relative positioned) {mo} at (0,0) size 8x11
+    RenderText {mo} at (0,-3) size 8x17
+      text run at (0,-3) width 8: "\x{23D0}"
+layer at (336,191) size 8x14 backgroundClip at (336,190) size 8x10 clip at (336,190) size 8x10 outlineClip at (336,190) size 8x10
+  RenderBlock (relative positioned) {mo} at (0,0) size 8x11
+    RenderText {mo} at (0,-3) size 8x17
+      text run at (0,-3) width 8: "\x{23D0}"
+layer at (336,234) size 8x14 backgroundClip at (336,237) size 8x11 clip at (336,237) size 8x11 outlineClip at (336,237) size 8x11
+  RenderBlock (relative positioned) {mo} at (0,0) size 8x11
+    RenderText {mo} at (0,-3) size 8x17
+      text run at (0,-3) width 8: "\x{23D0}"
+layer at (352,191) size 10x14 backgroundClip at (352,190) size 10x10 clip at (352,190) size 10x10 outlineClip at (352,190) size 10x10
+  RenderBlock (relative positioned) {mo} at (0,0) size 10x11
+    RenderText {mo} at (0,-3) size 10x17
+      text run at (0,-3) width 10: "\x{2320}"
+layer at (352,234) size 10x14 backgroundClip at (352,237) size 10x11 clip at (352,237) size 10x11 outlineClip at (352,237) size 10x11
+  RenderBlock (relative positioned) {mo} at (0,0) size 10x11
+    RenderText {mo} at (0,-3) size 10x17
+      text run at (0,-3) width 10: "\x{2321}"
+layer at (58,265) size 7x14 backgroundClip at (58,264) size 7x10 clip at (58,264) size 7x10 outlineClip at (58,264) size 7x10
+  RenderBlock (relative positioned) {mo} at (0,0) size 7x11
+    RenderText {mo} at (0,-3) size 7x17
+      text run at (0,-3) width 7: "\x{23A7}"
+layer at (58,330) size 7x14 backgroundClip at (58,331) size 7x10 clip at (58,331) size 7x10 outlineClip at (58,331) size 7x10
+  RenderBlock (relative positioned) {mo} at (0,0) size 7x11
+    RenderText {mo} at (0,-3) size 7x17
+      text run at (0,-3) width 7: "\x{23A8}"
+layer at (58,395) size 7x14 backgroundClip at (58,398) size 7x11 clip at (58,398) size 7x11 outlineClip at (58,398) size 7x11
+  RenderBlock (relative positioned) {mo} at (0,0) size 7x11
+    RenderText {mo} at (0,-3) size 7x17
+      text run at (0,-3) width 7: "\x{23A9}"
+layer at (120,265) size 7x14 backgroundClip at (120,264) size 7x10 clip at (120,264) size 7x10 outlineClip at (120,264) size 7x10
+  RenderBlock (relative positioned) {mo} at (0,0) size 7x11
+    RenderText {mo} at (0,-3) size 7x17
+      text run at (0,-3) width 7: "\x{23AB}"
+layer at (120,330) size 7x14 backgroundClip at (120,331) size 7x10 clip at (120,331) size 7x10 outlineClip at (120,331) size 7x10
+  RenderBlock (relative positioned) {mo} at (0,0) size 7x11
+    RenderText {mo} at (0,-3) size 7x17
+      text run at (0,-3) width 7: "\x{23AC}"
+layer at (120,395) size 7x14 backgroundClip at (120,398) size 7x11 clip at (120,398) size 7x11 outlineClip at (120,398) size 7x11
+  RenderBlock (relative positioned) {mo} at (0,0) size 7x11
+    RenderText {mo} at (0,-3) size 7x17
+      text run at (0,-3) width 7: "\x{23AD}"
+layer at (135,265) size 5x14 backgroundClip at (135,264) size 5x10 clip at (135,264) size 5x10 outlineClip at (135,264) size 5x10
+  RenderBlock (relative positioned) {mo} at (0,0) size 5x11
+    RenderText {mo} at (0,-3) size 5x17
+      text run at (0,-3) width 5: "\x{23A1}"
+layer at (135,395) size 5x14 backgroundClip at (135,398) size 5x11 clip at (135,398) size 5x11 outlineClip at (135,398) size 5x11
+  RenderBlock (relative positioned) {mo} at (0,0) size 5x11
+    RenderText {mo} at (0,-3) size 5x17
+      text run at (0,-3) width 5: "\x{23A3}"
+layer at (195,265) size 5x14 backgroundClip at (195,264) size 5x10 clip at (195,264) size 5x10 outlineClip at (195,264) size 5x10
+  RenderBlock (relative positioned) {mo} at (0,0) size 5x11
+    RenderText {mo} at (0,-3) size 5x17
+      text run at (0,-3) width 5: "\x{23A4}"
+layer at (195,395) size 5x14 backgroundClip at (195,398) size 5x11 clip at (195,398) size 5x11 outlineClip at (195,398) size 5x11
+  RenderBlock (relative positioned) {mo} at (0,0) size 5x11
+    RenderText {mo} at (0,-3) size 5x17
+      text run at (0,-3) width 5: "\x{23A6}"
+layer at (208,265) size 5x14 backgroundClip at (208,264) size 5x10 clip at (208,264) size 5x10 outlineClip at (208,264) size 5x10
+  RenderBlock (relative positioned) {mo} at (0,0) size 5x11
+    RenderText {mo} at (0,-3) size 5x17
+      text run at (0,-3) width 5: "\x{239B}"
+layer at (208,395) size 5x14 backgroundClip at (208,398) size 5x11 clip at (208,398) size 5x11 outlineClip at (208,398) size 5x11
+  RenderBlock (relative positioned) {mo} at (0,0) size 5x11
+    RenderText {mo} at (0,-3) size 5x17
+      text run at (0,-3) width 5: "\x{239D}"
+layer at (268,265) size 5x14 backgroundClip at (268,264) size 5x10 clip at (268,264) size 5x10 outlineClip at (268,264) size 5x10
+  RenderBlock (relative positioned) {mo} at (0,0) size 5x11
+    RenderText {mo} at (0,-3) size 5x17
+      text run at (0,-3) width 5: "\x{239E}"
+layer at (268,395) size 5x14 backgroundClip at (268,398) size 5x11 clip at (268,398) size 5x11 outlineClip at (268,398) size 5x11
+  RenderBlock (relative positioned) {mo} at (0,0) size 5x11
+    RenderText {mo} at (0,-3) size 5x17
+      text run at (0,-3) width 5: "\x{23A0}"
+layer at (281,265) size 8x14 backgroundClip at (281,264) size 8x10 clip at (281,264) size 8x10 outlineClip at (281,264) size 8x10
+  RenderBlock (relative positioned) {mo} at (0,0) size 8x11
+    RenderText {mo} at (0,-3) size 8x17
+      text run at (0,-3) width 8: "\x{23D0}"
+layer at (281,395) size 8x14 backgroundClip at (281,398) size 8x11 clip at (281,398) size 8x11 outlineClip at (281,398) size 8x11
+  RenderBlock (relative positioned) {mo} at (0,0) size 8x11
+    RenderText {mo} at (0,-3) size 8x17
+      text run at (0,-3) width 8: "\x{23D0}"
+layer at (344,265) size 8x14 backgroundClip at (344,264) size 8x10 clip at (344,264) size 8x10 outlineClip at (344,264) size 8x10
+  RenderBlock (relative positioned) {mo} at (0,0) size 8x11
+    RenderText {mo} at (0,-3) size 8x17
+      text run at (0,-3) width 8: "\x{23D0}"
+layer at (344,395) size 8x14 backgroundClip at (344,398) size 8x11 clip at (344,398) size 8x11 outlineClip at (344,398) size 8x11
+  RenderBlock (relative positioned) {mo} at (0,0) size 8x11
+    RenderText {mo} at (0,-3) size 8x17
+      text run at (0,-3) width 8: "\x{23D0}"
+layer at (360,265) size 10x14 backgroundClip at (360,264) size 10x10 clip at (360,264) size 10x10 outlineClip at (360,264) size 10x10
+  RenderBlock (relative positioned) {mo} at (0,0) size 10x11
+    RenderText {mo} at (0,-3) size 10x17
+      text run at (0,-3) width 10: "\x{2320}"
+layer at (360,395) size 10x14 backgroundClip at (360,398) size 10x11 clip at (360,398) size 10x11 outlineClip at (360,398) size 10x11
+  RenderBlock (relative positioned) {mo} at (0,0) size 10x11
+    RenderText {mo} at (0,-3) size 10x17
+      text run at (0,-3) width 10: "\x{2321}"
+layer at (10,426) size 5x14 backgroundClip at (10,425) size 5x10 clip at (10,425) size 5x10 outlineClip at (10,425) size 5x10
+  RenderBlock (relative positioned) {mo} at (0,0) size 5x11
+    RenderText {mo} at (0,-3) size 5x17
+      text run at (0,-3) width 5: "\x{239B}"
+layer at (10,460) size 5x14 backgroundClip at (10,463) size 5x11 clip at (10,463) size 5x11 outlineClip at (10,463) size 5x11
+  RenderBlock (relative positioned) {mo} at (0,0) size 5x11
+    RenderText {mo} at (0,-3) size 5x17
+      text run at (0,-3) width 5: "\x{239D}"
+layer at (154,426) size 5x14 backgroundClip at (154,425) size 5x10 clip at (154,425) size 5x10 outlineClip at (154,425) size 5x10
+  RenderBlock (relative positioned) {mo} at (0,0) size 5x11
+    RenderText {mo} at (0,-3) size 5x17
+      text run at (0,-3) width 5: "\x{239E}"
+layer at (154,460) size 5x14 backgroundClip at (154,463) size 5x11 clip at (154,463) size 5x11 outlineClip at (154,463) size 5x11
+  RenderBlock (relative positioned) {mo} at (0,0) size 5x11
+    RenderText {mo} at (0,-3) size 5x17
+      text run at (0,-3) width 5: "\x{23A0}"
index c15823e..00d01c3 100644 (file)
Binary files a/LayoutTests/platform/mac/mathml/presentation/tables-expected.png and b/LayoutTests/platform/mac/mathml/presentation/tables-expected.png differ
index f2760e4..7531c65 100644 (file)
@@ -1,3 +1,33 @@
+2010-08-09  François Sausset  <sausset@gmail.com>
+
+        Reviewed by Kenneth Rohde Christiansen.
+
+        Implement mfenced MathML element
+        Update stretchy operator code to take into account new brackets and to tune layout parameters
+        https://bugs.webkit.org/show_bug.cgi?id=42472
+
+        Test: mathml/presentation/fenced.xhtml
+
+        * WebCore.xcodeproj/project.pbxproj:
+        * mathml/MathMLInlineContainerElement.cpp:
+        (WebCore::MathMLInlineContainerElement::MathMLInlineContainerElement):
+        (WebCore::MathMLInlineContainerElement::createRenderer):
+        * mathml/RenderMathMLFenced.cpp: Added.
+        (WebCore::RenderMathMLFenced::RenderMathMLFenced):
+        (WebCore::RenderMathMLFenced::updateFromElement):
+        (WebCore::RenderMathMLFenced::makeOperatorStyle):
+        (WebCore::RenderMathMLFenced::makeFences):
+        (WebCore::RenderMathMLFenced::addChild):
+        (WebCore::RenderMathMLFenced::layout):
+        * mathml/RenderMathMLFenced.h: Added.
+        * mathml/RenderMathMLOperator.cpp:
+        (WebCore::RenderMathMLOperator::RenderMathMLOperator):
+        (WebCore::RenderMathMLOperator::stretchToHeight):
+        (WebCore::):
+        (WebCore::RenderMathMLOperator::updateFromElement):
+        (WebCore::RenderMathMLOperator::createStackableStyle):
+        (WebCore::RenderMathMLOperator::createGlyph):
+
 2010-08-08  ryuan choi  <ryuan.choi@samsung.com>
 
         Reviewed by Darin Adler.
index 67c9d6b..3791dc9 100644 (file)
                0F580D000F12DE9B0051D689 /* RenderLayerBacking.cpp in Sources */ = {isa = PBXBuildFile; fileRef = 0F580CFC0F12DE9B0051D689 /* RenderLayerBacking.cpp */; };
                0F5B7A5410F65D7A00376302 /* RenderEmbeddedObject.cpp in Sources */ = {isa = PBXBuildFile; fileRef = 0F5B7A5210F65D7A00376302 /* RenderEmbeddedObject.cpp */; };
                0F5B7A5510F65D7A00376302 /* RenderEmbeddedObject.h in Headers */ = {isa = PBXBuildFile; fileRef = 0F5B7A5310F65D7A00376302 /* RenderEmbeddedObject.h */; settings = {ATTRIBUTES = (Private, ); }; };
+               0F69B9C9120FE1D6000E1FC7 /* RenderMathMLFenced.cpp in Sources */ = {isa = PBXBuildFile; fileRef = 0F69B9C7120FE1D6000E1FC7 /* RenderMathMLFenced.cpp */; };
+               0F69B9CA120FE1D6000E1FC7 /* RenderMathMLFenced.h in Headers */ = {isa = PBXBuildFile; fileRef = 0F69B9C8120FE1D6000E1FC7 /* RenderMathMLFenced.h */; };
                0F6ECD450F252F3700BDE271 /* CSSPropertyLonghand.h in Headers */ = {isa = PBXBuildFile; fileRef = 0F6ECD430F252F3700BDE271 /* CSSPropertyLonghand.h */; };
                0F6ECD460F252F3700BDE271 /* CSSPropertyLonghand.cpp in Sources */ = {isa = PBXBuildFile; fileRef = 0F6ECD440F252F3700BDE271 /* CSSPropertyLonghand.cpp */; };
                0FC705210EB1815600B90AD8 /* AtomicStringHash.h in Headers */ = {isa = PBXBuildFile; fileRef = 0FC705200EB1815600B90AD8 /* AtomicStringHash.h */; settings = {ATTRIBUTES = (Private, ); }; };
                0F580CFC0F12DE9B0051D689 /* RenderLayerBacking.cpp */ = {isa = PBXFileReference; fileEncoding = 4; lastKnownFileType = sourcecode.cpp.cpp; path = RenderLayerBacking.cpp; sourceTree = "<group>"; };
                0F5B7A5210F65D7A00376302 /* RenderEmbeddedObject.cpp */ = {isa = PBXFileReference; fileEncoding = 4; lastKnownFileType = sourcecode.cpp.cpp; path = RenderEmbeddedObject.cpp; sourceTree = "<group>"; };
                0F5B7A5310F65D7A00376302 /* RenderEmbeddedObject.h */ = {isa = PBXFileReference; fileEncoding = 4; lastKnownFileType = sourcecode.c.h; path = RenderEmbeddedObject.h; sourceTree = "<group>"; };
+               0F69B9C7120FE1D6000E1FC7 /* RenderMathMLFenced.cpp */ = {isa = PBXFileReference; fileEncoding = 4; lastKnownFileType = sourcecode.cpp.cpp; path = RenderMathMLFenced.cpp; sourceTree = "<group>"; };
+               0F69B9C8120FE1D6000E1FC7 /* RenderMathMLFenced.h */ = {isa = PBXFileReference; fileEncoding = 4; lastKnownFileType = sourcecode.c.h; path = RenderMathMLFenced.h; sourceTree = "<group>"; };
                0F6ECD430F252F3700BDE271 /* CSSPropertyLonghand.h */ = {isa = PBXFileReference; fileEncoding = 4; lastKnownFileType = sourcecode.c.h; path = CSSPropertyLonghand.h; sourceTree = "<group>"; };
                0F6ECD440F252F3700BDE271 /* CSSPropertyLonghand.cpp */ = {isa = PBXFileReference; fileEncoding = 4; lastKnownFileType = sourcecode.cpp.cpp; path = CSSPropertyLonghand.cpp; sourceTree = "<group>"; };
                0FC705200EB1815600B90AD8 /* AtomicStringHash.h */ = {isa = PBXFileReference; fileEncoding = 4; lastKnownFileType = sourcecode.c.h; path = AtomicStringHash.h; sourceTree = "<group>"; };
                                FABE72F31059C1EB00D999DD /* mathtags.in */,
                                FA654A6D1108ABFF002615E0 /* RenderMathMLBlock.cpp */,
                                FA654A6E1108ABFF002615E0 /* RenderMathMLBlock.h */,
+                               0F69B9C7120FE1D6000E1FC7 /* RenderMathMLFenced.cpp */,
+                               0F69B9C8120FE1D6000E1FC7 /* RenderMathMLFenced.h */,
                                FAA1056E114C2DF700940A01 /* RenderMathMLFraction.cpp */,
                                FAA1056F114C2DF700940A01 /* RenderMathMLFraction.h */,
                                FA0B1F8211125CEE007F9839 /* RenderMathMLMath.cpp */,
                                E1BE512E0CF6C512002EA959 /* XSLTUnicodeSort.h in Headers */,
                                97DD4D870FDF4D6E00ECF9A4 /* XSSAuditor.h in Headers */,
                                CE172E011136E8CE0062A533 /* ZoomMode.h in Headers */,
+                               0F69B9CA120FE1D6000E1FC7 /* RenderMathMLFenced.h in Headers */,
                        );
                        runOnlyForDeploymentPostprocessing = 0;
                };
                                93F19B0508245E59001E9ABC /* XSLTProcessorLibxslt.cpp in Sources */,
                                E1BE512D0CF6C512002EA959 /* XSLTUnicodeSort.cpp in Sources */,
                                97DD4D860FDF4D6E00ECF9A4 /* XSSAuditor.cpp in Sources */,
+                               0F69B9C9120FE1D6000E1FC7 /* RenderMathMLFenced.cpp in Sources */,
                        );
                        runOnlyForDeploymentPostprocessing = 0;
                };
index 5a557d0..8b3f43e 100644 (file)
@@ -32,6 +32,7 @@
 
 #include "MathMLNames.h"
 #include "RenderMathMLBlock.h"
+#include "RenderMathMLFenced.h"
 #include "RenderMathMLFraction.h"
 #include "RenderMathMLRoot.h"
 #include "RenderMathMLRow.h"
@@ -75,6 +76,8 @@ RenderObject* MathMLInlineContainerElement::createRenderer(RenderArena* arena, R
         return new (arena) RenderMathMLSquareRoot(this);
     else if (hasLocalName(MathMLNames::mrootTag))
         return new (arena) RenderMathMLRoot(this);
+    else if (hasLocalName(MathMLNames::mfencedTag))
+        return new (arena) RenderMathMLFenced(this);
     else
         return new (arena) RenderMathMLBlock(this);
 }
diff --git a/WebCore/mathml/RenderMathMLFenced.cpp b/WebCore/mathml/RenderMathMLFenced.cpp
new file mode 100644 (file)
index 0000000..6c0bb0b
--- /dev/null
@@ -0,0 +1,164 @@
+/*
+ * Copyright (C) 2009 Alex Milowski (alex@milowski.com). All rights reserved.
+ *
+ * Redistribution and use in source and binary forms, with or without
+ * modification, are permitted provided that the following conditions
+ * are met:
+ * 1. Redistributions of source code must retain the above copyright
+ *    notice, this list of conditions and the following disclaimer.
+ * 2. Redistributions in binary form must reproduce the above copyright
+ *    notice, this list of conditions and the following disclaimer in the
+ *    documentation and/or other materials provided with the distribution.
+ *
+ * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
+ * "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
+ * LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR
+ * A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT
+ * OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
+ * SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT
+ * LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
+ * DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
+ * THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
+ * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
+ * OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
+ */
+
+#include "config.h"
+
+#if ENABLE(MATHML)
+
+#include "RenderMathMLFenced.h"
+
+#include "FontSelector.h"
+#include "MathMLNames.h"
+#include "RenderInline.h"
+#include "RenderMathMLOperator.h"
+#include "RenderText.h"
+
+namespace WebCore {
+    
+using namespace MathMLNames;
+    
+enum Braces { OpeningBraceChar = 0x28, ClosingBraceChar = 0x29 };
+
+RenderMathMLFenced::RenderMathMLFenced(Node* fenced) 
+    : RenderMathMLRow(fenced)
+    , m_open(OpeningBraceChar)
+    , m_close(ClosingBraceChar)
+{
+}
+
+void RenderMathMLFenced::updateFromElement()
+{
+    Element* fenced = static_cast<Element*>(node());
+    // FIXME: Handle open/close values with more than one character (they should be treated like text).
+    AtomicString openValue = fenced->getAttribute(MathMLNames::openAttr);
+    if (openValue.length() > 0)
+        m_open = openValue[0];
+    AtomicString closeValue = fenced->getAttribute(MathMLNames::closeAttr);
+    if (closeValue.length() > 0)
+        m_close = closeValue[0];
+    
+    AtomicString separators = static_cast<Element*>(fenced)->getAttribute(MathMLNames::separatorsAttr);
+    if (!separators.isNull()) {
+        Vector<UChar> characters;
+        for (unsigned int i = 0; i < separators.length(); i++) {
+            if (!isSpaceOrNewline(separators[i]))
+                characters.append(separators[i]);
+        }
+        m_separators = !separators.length() ? 0 : StringImpl::create(characters.data() , characters.size());
+    } else {
+        // The separator defaults to a single comma.
+        m_separators = StringImpl::create(",");
+    }
+    
+    if (isEmpty())
+        makeFences();
+}
+
+RefPtr<RenderStyle> RenderMathMLFenced::makeOperatorStyle() 
+{
+    RefPtr<RenderStyle> newStyle = RenderStyle::create();
+    newStyle->inheritFrom(style());
+    newStyle->setDisplay(INLINE_BLOCK);
+    newStyle->setHeight(Length(100.0, Percent));
+    newStyle->setVerticalAlign(MIDDLE);
+    return newStyle;
+}
+
+void RenderMathMLFenced::makeFences()
+{
+    RenderObject* openFence = new (renderArena()) RenderMathMLOperator(node(), m_open);
+    openFence->setStyle(makeOperatorStyle().release());
+    RenderBlock::addChild(openFence, firstChild());
+    RenderObject* closeFence = new (renderArena()) RenderMathMLOperator(node(), m_close);
+    closeFence->setStyle(makeOperatorStyle().release());
+    RenderBlock::addChild(closeFence);
+}
+
+void RenderMathMLFenced::addChild(RenderObject* child, RenderObject*)
+{
+    // make the fences if the render object is empty
+    if (isEmpty())
+        updateFromElement();
+    
+    if (m_separators.get()) {
+        unsigned int count = 0;
+        for (Node* position = child->node(); position; position = position->previousSibling()) {
+            if (position->nodeType() == Node::ELEMENT_NODE)
+                count++;
+        }
+                
+        if (count > 1) {
+            UChar separator;
+            
+            // Use the last separator if we've run out of specified separators.
+            if ((count - 1) >= m_separators.get()->length())
+                separator = (*m_separators.get())[m_separators.get()->length() - 1];
+            else
+                separator = (*m_separators.get())[count - 1];
+                
+            RenderObject* separatorObj = new (renderArena()) RenderMathMLOperator(node(), separator);
+            separatorObj->setStyle(makeOperatorStyle().release());
+            RenderBlock::addChild(separatorObj, lastChild());
+        }
+    }
+    
+    // If we have a block, we'll wrap it in an inline-block.
+    if (child->isBlockFlow() && child->style()->display() != INLINE_BLOCK) {
+        // Block objects wrapper.
+
+        RenderBlock* block = new (renderArena()) RenderBlock(node());
+        RefPtr<RenderStyle> newStyle = RenderStyle::create();
+        newStyle->inheritFrom(style());
+        newStyle->setDisplay(INLINE_BLOCK);
+        block->setStyle(newStyle.release());
+        
+        RenderBlock::addChild(block, lastChild());
+        block->addChild(child);    
+    } else
+        RenderBlock::addChild(child, lastChild());
+}
+
+void RenderMathMLFenced::layout() 
+{
+    RenderMathMLRow::layout();
+    
+    int width = 0;
+    for (RenderObject* current = firstChild(); current; current = current->nextSibling()) {
+        if (current->isBoxModelObject()) {
+            RenderBoxModelObject* box = toRenderBoxModelObject(current);
+            width += box->offsetWidth();
+        }
+    }
+    width++;
+    style()->setWidth(Length(width, Fixed));
+
+    setNeedsLayoutAndPrefWidthsRecalc();
+    markContainingBlocksForLayout();
+    RenderBlock::layout();
+}
+}    
+
+#endif
diff --git a/WebCore/mathml/RenderMathMLFenced.h b/WebCore/mathml/RenderMathMLFenced.h
new file mode 100644 (file)
index 0000000..63cdaa8
--- /dev/null
@@ -0,0 +1,56 @@
+/*
+ * Copyright (C) 2009 Alex Milowski (alex@milowski.com). All rights reserved.
+ *
+ * Redistribution and use in source and binary forms, with or without
+ * modification, are permitted provided that the following conditions
+ * are met:
+ * 1. Redistributions of source code must retain the above copyright
+ *    notice, this list of conditions and the following disclaimer.
+ * 2. Redistributions in binary form must reproduce the above copyright
+ *    notice, this list of conditions and the following disclaimer in the
+ *    documentation and/or other materials provided with the distribution.
+ *
+ * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
+ * "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
+ * LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR
+ * A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT
+ * OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
+ * SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT
+ * LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
+ * DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
+ * THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
+ * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
+ * OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
+ */
+
+#ifndef RenderMathMLFenced_h
+#define RenderMathMLFenced_h
+
+#if ENABLE(MATHML)
+
+#include "RenderMathMLRow.h"
+
+namespace WebCore {
+    
+class RenderMathMLFenced : public RenderMathMLRow {
+public:
+    RenderMathMLFenced(Node *fraction);
+    virtual void addChild(RenderObject* child, RenderObject* beforeChild = 0);
+    virtual void updateFromElement();
+    
+protected:
+    virtual void layout();
+    
+private:
+    void makeFences();
+    RefPtr<RenderStyle> makeOperatorStyle();
+    UChar m_open;
+    UChar m_close;
+    RefPtr<StringImpl> m_separators;
+};
+    
+}
+
+#endif // ENABLE(MATHML)
+
+#endif // RenderMathMLFenced_h
index a2f9f0a..f9ff630 100644 (file)
@@ -38,19 +38,19 @@ namespace WebCore {
 using namespace MathMLNames;
 
 RenderMathMLOperator::RenderMathMLOperator(Node* container)
-    : RenderMathMLBlock(container),
-      m_stretchHeight(0),
-      m_operator(0)
+    : RenderMathMLBlock(container)
+    , m_stretchHeight(0)
+    , m_operator(0)
 {
 }
-    
+
 RenderMathMLOperator::RenderMathMLOperator(Node* container, UChar operatorChar)
-    : RenderMathMLBlock(container),
-      m_stretchHeight(0),
-      m_operator(operatorChar)
+    : RenderMathMLBlock(container)
+    , m_stretchHeight(0)
+    , m_operator(operatorChar)
 {
 }
-    
+
 bool RenderMathMLOperator::isChildAllowed(RenderObject*, RenderStyle*) const
 {
     return false;
@@ -59,7 +59,7 @@ bool RenderMathMLOperator::isChildAllowed(RenderObject*, RenderStyle*) const
 static const float gOperatorSpacer = 0.1f;
 static const float gOperatorExpansion = 1.2f;
 
-void  RenderMathMLOperator::stretchToHeight(int height)
+void RenderMathMLOperator::stretchToHeight(int height)
 {
     if (height == m_stretchHeight)
         return;
@@ -87,15 +87,20 @@ static struct StretchyCharacter {
     UChar extensionGlyph;
     UChar bottomGlyph;
     UChar middleGlyph;
-} stretchyCharacters[9] = {
-{ 0x28  , 0x239b, 0x239c, 0x239d, 0x0    }, // left parenthesis
-{ 0x29  , 0x239e, 0x239f, 0x23a0, 0x0    }, // right parenthesis
-{ 0x5b  , 0x23a1, 0x23a2, 0x23a3, 0x0    }, // left square bracket
-{ 0x5d  , 0x23a4, 0x23a5, 0x23a6, 0x0    }, // right square bracket
-{ 0x7b  , 0x23a7, 0x23aa, 0x23a9, 0x23a8 }, // left curly bracket
-{ 0x7c  , 0x23d0, 0x23d0, 0x23d0, 0x0    }, // vertical bar
-{ 0x7d  , 0x23ab, 0x23aa, 0x23ad, 0x23ac }, // right curly bracket
-{ 0x222b, 0x2320, 0x23ae, 0x2321, 0x0    } // integral sign
+} stretchyCharacters[13] = {
+    { 0x28  , 0x239b, 0x239c, 0x239d, 0x0    }, // left parenthesis
+    { 0x29  , 0x239e, 0x239f, 0x23a0, 0x0    }, // right parenthesis
+    { 0x5b  , 0x23a1, 0x23a2, 0x23a3, 0x0    }, // left square bracket
+    { 0x2308, 0x23a1, 0x23a2, 0x23a2, 0x0    }, // left ceiling
+    { 0x230a, 0x23a2, 0x23a2, 0x23a3, 0x0    }, // left floor
+    { 0x5d  , 0x23a4, 0x23a5, 0x23a6, 0x0    }, // right square bracket
+    { 0x2309, 0x23a4, 0x23a5, 0x23a5, 0x0    }, // right ceiling
+    { 0x230b, 0x23a5, 0x23a5, 0x23a6, 0x0    }, // right floor
+    { 0x7b  , 0x23a7, 0x23aa, 0x23a9, 0x23a8 }, // left curly bracket
+    { 0x7c  , 0x23d0, 0x23d0, 0x23d0, 0x0    }, // vertical bar
+    { 0x2016, 0x2016, 0x2016, 0x2016, 0x0    }, // double vertical line
+    { 0x7d  , 0x23ab, 0x23aa, 0x23ad, 0x23ac }, // right curly bracket
+    { 0x222b, 0x2320, 0x23ae, 0x2321, 0x0    } // integral sign
 };
 
 // We stack glyphs using a 14px height with a displayed glyph height
@@ -107,12 +112,14 @@ static struct StretchyCharacter {
 //
 // All of these settings are represented in the constants below.
 
+// FIXME: use fractions of style()->fontSize() for proper zooming/resizing.
 static const int gGlyphFontSize = 14;
-static const int gGlyphLineHeight = 12;
+static const int gGlyphLineHeight = 11;
 static const int gMinimumStretchHeight = 24;
 static const int gGlyphHeight = 10;
-static const int gMiddleGlyphTopAdjust = -2;
-static const int gBottomGlyphTopAdjust = -4;
+static const int gTopGlyphTopAdjust = 1;
+static const int gMiddleGlyphTopAdjust = -1;
+static const int gBottomGlyphTopAdjust = -3;
 static const float gMinimumRatioForStretch = 0.10f;
 
 void RenderMathMLOperator::updateFromElement()
@@ -141,7 +148,7 @@ void RenderMathMLOperator::updateFromElement()
                 String opText = mo->textContent();
                 for (unsigned int i = 0; !firstChar && i < opText.length(); i++) {
                     if (!isSpaceOrNewline(opText[i]))
-                       firstChar = opText[i];
+                        firstChar = opText[i];
                 }
             }
         }
@@ -176,7 +183,7 @@ void RenderMathMLOperator::updateFromElement()
         RefPtr<RenderStyle> newStyle = RenderStyle::create();
         newStyle->inheritFrom(style());
         newStyle->setDisplay(INLINE_BLOCK);
-
+        
         // Check for a stretchable character that is under the minimum height and use the
         // font size to adjust the glyph size.
         int currentFontSize = style()->fontSize();
@@ -203,7 +210,7 @@ void RenderMathMLOperator::updateFromElement()
 
         container->setStyle(newStyle.release());
         addChild(container);
-
+        
         // Build the text of the operator.
         RenderText* text = 0;
         if (m_operator) 
@@ -227,12 +234,12 @@ void RenderMathMLOperator::updateFromElement()
             int half = (m_stretchHeight - gGlyphHeight) / 2;
             if (half <= gGlyphHeight) {
                 // We only have enough space for a single middle glyph.
-                createGlyph(stretchyCharacters[index].topGlyph, half);
+                createGlyph(stretchyCharacters[index].topGlyph, half, gTopGlyphTopAdjust);
                 createGlyph(stretchyCharacters[index].middleGlyph, gGlyphHeight, gMiddleGlyphTopAdjust);
                 createGlyph(stretchyCharacters[index].bottomGlyph, 0, gBottomGlyphTopAdjust);
             } else {
                 // We have to extend both the top and bottom to the middle.
-                createGlyph(stretchyCharacters[index].topGlyph, gGlyphHeight);
+                createGlyph(stretchyCharacters[index].topGlyph, gGlyphHeight, gTopGlyphTopAdjust);
                 int remaining = half - gGlyphHeight;
                 while (remaining > 0) {
                     if (remaining < gGlyphHeight) {
@@ -270,7 +277,7 @@ void RenderMathMLOperator::updateFromElement()
         } else {
             // We do not have a middle glyph and so we just extend from the top to the bottom glyph.
             int remaining = m_stretchHeight - 2 * gGlyphHeight;
-            createGlyph(stretchyCharacters[index].topGlyph, gGlyphHeight);
+            createGlyph(stretchyCharacters[index].topGlyph, gGlyphHeight, gTopGlyphTopAdjust);
             while (remaining > 0) {
                 if (remaining < gGlyphHeight) {
                     createGlyph(stretchyCharacters[index].extensionGlyph, remaining);
@@ -290,7 +297,7 @@ RefPtr<RenderStyle> RenderMathMLOperator::createStackableStyle(int size, int top
     RefPtr<RenderStyle> newStyle = RenderStyle::create();
     newStyle->inheritFrom(style());
     newStyle->setDisplay(BLOCK);
-
+    
     FontDescription desc;
     desc.setIsAbsoluteSize(true);
     desc.setSpecifiedSize(gGlyphFontSize);
@@ -302,7 +309,7 @@ RefPtr<RenderStyle> RenderMathMLOperator::createStackableStyle(int size, int top
 
     if (size > 0)
         newStyle->setMaxHeight(Length(size, Fixed));
-
+    
     newStyle->setOverflowY(OHIDDEN);
     newStyle->setOverflowX(OHIDDEN);
     if (topRelative) {
@@ -330,7 +337,7 @@ RenderBlock* RenderMathMLOperator::createGlyph(UChar glyph, int size, int charRe
         parent->addChild(charBlock);
         parent = charBlock;
     }
-     
+    
     RenderText* text = new (renderArena()) RenderText(node(), StringImpl::create(&glyph, 1));
     text->setStyle(container->style());
     parent->addChild(text);
@@ -345,7 +352,7 @@ int RenderMathMLOperator::baselinePosition(bool firstLine, bool isRootLineBox) c
         return firstChild()->baselinePosition(firstLine, isRootLineBox);
     return RenderBlock::baselinePosition(firstLine, isRootLineBox);
 }
-
+    
 }
 
 #endif