Thu, 15 Jan 2015 15:59:08 +0100
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 | <style> |
michael@0 | 5 | div:empty { background: yellow; border: 1px solid black; |
michael@0 | 6 | padding: 0; margin: 0; } |
michael@0 | 7 | body > div:not(:empty) { height: 20px; } |
michael@0 | 8 | </style> |
michael@0 | 9 | </head> |
michael@0 | 10 | <body> |
michael@0 | 11 | <div style="height: 10px; min-height: 5px;"></div> |
michael@0 | 12 | <div style="height: 10px; min-height: 15px;"></div> |
michael@0 | 13 | <div> |
michael@0 | 14 | <div style="height: 50%;"></div> |
michael@0 | 15 | </div> |
michael@0 | 16 | <div> |
michael@0 | 17 | <div style="height: 50%; min-height: 5px;"></div> |
michael@0 | 18 | </div> |
michael@0 | 19 | <div> |
michael@0 | 20 | <div style="height: 50%; min-height: 15px;"></div> |
michael@0 | 21 | </div> |
michael@0 | 22 | <div> |
michael@0 | 23 | <div style="height: 50%; min-height: 10%;"></div> |
michael@0 | 24 | </div> |
michael@0 | 25 | <div> |
michael@0 | 26 | <div style="height: 50%; min-height: 75%;"></div> |
michael@0 | 27 | </div> |
michael@0 | 28 | <div style="padding: 10px 0"> |
michael@0 | 29 | <div style="height: 50%; min-height: 10%;"></div> |
michael@0 | 30 | </div> |
michael@0 | 31 | <div style="padding: 10px 0;"> |
michael@0 | 32 | <div style="height: 50%; min-height: 75%;"></div> |
michael@0 | 33 | </div> |
michael@0 | 34 | <div style="border-width: 10px 0; border-style: solid; |
michael@0 | 35 | border-color: transparent;"> |
michael@0 | 36 | <div style="height: 50%; min-height: 10%;"></div> |
michael@0 | 37 | </div> |
michael@0 | 38 | <div style="border-width: 10px 0; border-style: solid; |
michael@0 | 39 | border-color: transparent;"> |
michael@0 | 40 | <div style="height: 50%; min-height: 75%;"></div> |
michael@0 | 41 | </div> |
michael@0 | 42 | </body> |
michael@0 | 43 | </html> |