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 | <title>mfrac linethickness</title> |
michael@0 | 5 | </head> |
michael@0 | 6 | <body> |
michael@0 | 7 | <math> |
michael@0 | 8 | <mfrac style="font-size: 300%" linethickness="thick"> |
michael@0 | 9 | <mi> a </mi> |
michael@0 | 10 | <mi> b </mi> |
michael@0 | 11 | </mfrac> |
michael@0 | 12 | </math> |
michael@0 | 13 | </body> |
michael@0 | 14 | </html> |