layout/reftests/pixel-rounding/border-width-5.html@ac0c01689b40 (annotated)
layout/reftests/pixel-rounding/border-width-5.html
Thu, 15 Jan 2015 15:59:08 +0100
- author
- Michael Schloh von Bennewitz <michael@schloh.com>
- date
- Thu, 15 Jan 2015 15:59:08 +0100
- branch
- TOR_BUG_9701
- changeset 10
- ac0c01689b40
- permissions
- -rw-r--r--
Implement a real Private Browsing Mode condition by changing the API/ABI;
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> |
| michael@0 | 3 | <head> |
| michael@0 | 4 | <title>Pixel rounding testcase</title> |
| michael@0 | 5 | <style type="text/css"> |
| michael@0 | 6 | |
| michael@0 | 7 | html, body { margin: 0; border: none; padding: 0; } |
| michael@0 | 8 | div { position: absolute; } |
| michael@0 | 9 | |
| michael@0 | 10 | </style> |
| michael@0 | 11 | </head> |
| michael@0 | 12 | <body> |
| michael@0 | 13 | |
| michael@0 | 14 | <!-- one border --> |
| michael@0 | 15 | <div style="top: 10px; left: 10px; width: 10.5px; border-top: 10px solid green"></div> |
| michael@0 | 16 | <div style="top: 10px; left: 30px; height: 10px; border-right: 11.5px solid green"></div> |
| michael@0 | 17 | <div style="top: 10px; left: 50px; width: 10.5px; border-bottom: 10px solid green"></div> |
| michael@0 | 18 | <div style="top: 10px; left: 70px; height: 10px; border-left: 11.5px solid green"></div> |
| michael@0 | 19 | |
| michael@0 | 20 | <!-- two adjacent borders --> |
| michael@0 | 21 | <div style="top: 10px; left: 90px; border-top: 10px solid green; border-right: 11.5px solid green"></div> |
| michael@0 | 22 | <div style="top: 10px; left: 110px; border-bottom: 10px solid green; border-right: 11.5px solid green"></div> |
| michael@0 | 23 | <div style="top: 10px; left: 130px; border-top: 10px solid green; border-left: 11.5px solid green"></div> |
| michael@0 | 24 | <div style="top: 10px; left: 150px; border-bottom: 10px solid green; border-left: 11.5px solid green"></div> |
| michael@0 | 25 | |
| michael@0 | 26 | <!-- two opposite borders --> |
| michael@0 | 27 | <div style="top: 10px; left: 170px; height: 10px; border-left: 6.5px solid green; border-right: 5px solid green;"></div> |
| michael@0 | 28 | <div style="top: 10px; left: 190px; height: 10px; border-left: 5px solid green; border-right: 6.5px solid green;"></div> |
| michael@0 | 29 | <div style="top: 10px; left: 210px; width: 10.5px; border-top: 5px solid green; border-bottom: 5px solid green"></div> |
| michael@0 | 30 | |
| michael@0 | 31 | <!-- three borders --> |
| michael@0 | 32 | <div style="top: 10px; left: 230px; border-top: 5px solid green; border-right: 11.5px solid green; border-bottom: 5px solid green"></div> |
| michael@0 | 33 | <div style="top: 10px; left: 250px; border-top: 5px solid green; border-left: 11.5px solid green; border-bottom: 5px solid green"></div> |
| michael@0 | 34 | <div style="top: 10px; left: 270px; border-left: 5px solid green; border-right: 6.5px solid green; border-bottom: 10px solid green"></div> |
| michael@0 | 35 | <div style="top: 10px; left: 290px; border-left: 6.5px solid green; border-right: 5px solid green; border-bottom: 10px solid green"></div> |
| michael@0 | 36 | <div style="top: 10px; left: 310px; border-left: 5px solid green; border-right: 6.5px solid green; border-top: 10px solid green"></div> |
| michael@0 | 37 | <div style="top: 10px; left: 330px; border-left: 6.5px solid green; border-right: 5px solid green; border-top: 10px solid green"></div> |
| michael@0 | 38 | |
| michael@0 | 39 | <!-- four borders --> |
| michael@0 | 40 | <div style="top: 10px; left: 350px; border-top: 5px solid green; border-right: 6.5px solid green; border-bottom: 5px solid green; border-left: 5px solid green"></div> |
| michael@0 | 41 | <div style="top: 10px; left: 370px; border-top: 5px solid green; border-right: 5px solid green; border-bottom: 5px solid green; border-left: 6.5px solid green"></div> |
| michael@0 | 42 | |
| michael@0 | 43 | <!-- border around space --> |
| michael@0 | 44 | <div style="top: 30px; left: 10px; border: 10px solid green; height: 10px; width: 10.5px"></div> |
| michael@0 | 45 | |
| michael@0 | 46 | </body> |
| michael@0 | 47 | </html> |
