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.
1 <?xml version="1.0" encoding="utf-8"?>
2 <html xmlns="http://www.w3.org/1999/xhtml">
3 <head>
4 <title>Minimal size for a horizontal arrow stretched by scaling</title>
5 </head>
7 <body>
9 <table style="position: absolute;">
10 <tr align="center">
11 <td><div style="width: 200px; height: 5px; background: black"/></td>
12 </tr>
13 <tr align="center">
14 <td>
15 <math xmlns="http://www.w3.org/1998/Math/MathML">
16 <munder>
17 <mspace width="100px" height="5px" style="background: yellow"/>
18 <mo style="color: blue;">⇛</mo>
19 </munder>
20 </math>
21 </td>
22 </tr>
23 </table>
25 <table style="position: absolute;">
26 <tr align="center">
27 <td><div style="width: 200px; height: 5px; background: black"/></td>
28 </tr>
29 <tr align="center">
30 <td>
31 <math xmlns="http://www.w3.org/1998/Math/MathML">
32 <munder>
33 <mspace width="100px" height="5px" style="background: yellow"/>
34 <mspace width="88px" height="25px" depth="25px"
35 style="background: green;"/>
36 </munder>
37 </math>
38 </td>
39 </tr>
40 </table>
42 </body>
43 </html>