Tue, 06 Jan 2015 21:39:09 +0100
Conditionally force memory storage according to privacy.thirdparty.isolate;
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>src local with postscript names</title> |
michael@0 | 5 | <meta http-equiv="Content-Type" content="text/html; charset=utf-8" /> |
michael@0 | 6 | |
michael@0 | 7 | <style type="text/css"> |
michael@0 | 8 | |
michael@0 | 9 | body { |
michael@0 | 10 | margin: 50px; |
michael@0 | 11 | font-size: 24pt; |
michael@0 | 12 | } |
michael@0 | 13 | |
michael@0 | 14 | /* use full names */ |
michael@0 | 15 | |
michael@0 | 16 | @font-face { |
michael@0 | 17 | font-family: test-regular; |
michael@0 | 18 | src: local(HelveticaNeue), local(BitstreamVeraSans-Roman), local(FreeSans), |
michael@0 | 19 | local(SwissA), local(DejaVuSans), local(ArialMT); |
michael@0 | 20 | } |
michael@0 | 21 | |
michael@0 | 22 | /* use Helvetica on the Mac, since Futura has no bold face on 10.4, 10.5 */ |
michael@0 | 23 | @font-face { |
michael@0 | 24 | font-family: test-bold; |
michael@0 | 25 | src: local(HelveticaNeue-Bold), local(BitstreamVeraSans-Bold), |
michael@0 | 26 | local(FreeSansBold), local(SwissA-Bold), local(DejaVuSans-Bold), |
michael@0 | 27 | local(Arial-BoldMT); |
michael@0 | 28 | } |
michael@0 | 29 | |
michael@0 | 30 | @font-face { |
michael@0 | 31 | font-family: test-italic; |
michael@0 | 32 | src: local(HelveticaNeue-Italic), local(BitstreamVeraSans-Oblique), |
michael@0 | 33 | local(FreeSansOblique), local(SwissA-Italic), |
michael@0 | 34 | local(DejaVuSans-Oblique), local(Arial-ItalicMT); |
michael@0 | 35 | } |
michael@0 | 36 | |
michael@0 | 37 | .regular { font-family: test-regular, serif; } |
michael@0 | 38 | .bold { font-family: test-bold, serif; } |
michael@0 | 39 | .italic { font-family: test-italic, serif; } |
michael@0 | 40 | |
michael@0 | 41 | </style> |
michael@0 | 42 | |
michael@0 | 43 | <script type="text/javascript"> |
michael@0 | 44 | |
michael@0 | 45 | </script> |
michael@0 | 46 | |
michael@0 | 47 | </head> |
michael@0 | 48 | <body> |
michael@0 | 49 | |
michael@0 | 50 | <p class="regular">This should be a sans-serif face</p> |
michael@0 | 51 | |
michael@0 | 52 | <p class="bold">This should be a bold sans-serif face</p> |
michael@0 | 53 | |
michael@0 | 54 | <p class="italic">This should be an italic sans-serif face</p> |
michael@0 | 55 | |
michael@0 | 56 | </body> |
michael@0 | 57 | </html> |