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 <!DOCTYPE HTML>
2 <style>
3 body { width: 450px }
4 body, select { font-size: 34px }
5 </style>
6 <!--
7 In a 450px container, the minimum font size at 15em per line is 30px.
8 This means we map 0px-45px into 30px-45px, so 12px gets mapped to 34px.
9 -->
10 <select size="3">
11 <optgroup label="Counties">
12 <option>Arlington
13 <option>Fairfax
14 <option>Loudon
15 <option>Prince William
16 <optgroup label="Cities">
17 <option>Alexandria
18 <option>Falls Church
19 <option>Manassas
20 <option>Manassas Park
21 </select>