layout/reftests/mathml/menclose-2-roundedbox-ref.html@97036ab72558 (annotated)
layout/reftests/mathml/menclose-2-roundedbox-ref.html
Tue, 06 Jan 2015 21:39:09 +0100
- author
- Michael Schloh von Bennewitz <michael@schloh.com>
- date
- Tue, 06 Jan 2015 21:39:09 +0100
- branch
- TOR_BUG_9701
- changeset 8
- 97036ab72558
- permissions
- -rw-r--r--
Conditionally force memory storage according to privacy.thirdparty.isolate;
This solves Tor bug #9701, complying with disk avoidance documented in
https://www.torproject.org/projects/torbrowser/design/#disk-avoidance.
| michael@0 | 1 | <!doctype html> |
| michael@0 | 2 | <html class="reftest-wait"> |
| michael@0 | 3 | <head> |
| michael@0 | 4 | <meta charset="utf-8"/> |
| michael@0 | 5 | <title>menclose roundedbox</title> |
| michael@0 | 6 | |
| michael@0 | 7 | <script type="text/javascript"> |
| michael@0 | 8 | function doTest() |
| michael@0 | 9 | { |
| michael@0 | 10 | var box = document.getElementById("roundedbox").getBoundingClientRect(); |
| michael@0 | 11 | r = document.getElementById("box"); |
| michael@0 | 12 | r.style.left = (box.left - 6) + "px"; |
| michael@0 | 13 | r.style.top = (box.top - 6) + "px"; |
| michael@0 | 14 | r.style.width = (box.width - 6) + "px"; |
| michael@0 | 15 | r.style.height = (box.height - 6) + "px"; |
| michael@0 | 16 | document.documentElement.removeAttribute("class"); |
| michael@0 | 17 | } |
| michael@0 | 18 | window.addEventListener("MozReftestInvalidate",doTest, false); |
| michael@0 | 19 | </script> |
| michael@0 | 20 | </head> |
| michael@0 | 21 | <body> |
| michael@0 | 22 | <div style="position: absolute; left: 20px; top: 20px;"> |
| michael@0 | 23 | <math> |
| michael@0 | 24 | <mphantom> |
| michael@0 | 25 | <menclose id="roundedbox" notation="roundedbox"> |
| michael@0 | 26 | <mspace width="200px" height="100px"></mspace> |
| michael@0 | 27 | </menclose> |
| michael@0 | 28 | </mphantom> |
| michael@0 | 29 | </math> |
| michael@0 | 30 | </div> |
| michael@0 | 31 | |
| michael@0 | 32 | <div id="box" style="position: absolute; border:10px solid #000; border-radius:10px 10px 10px 10px;" > |
| michael@0 | 33 | </div> |
| michael@0 | 34 | |
| michael@0 | 35 | </body> |
| michael@0 | 36 | </html> |
