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 | <!-- Any copyright is dedicated to the Public Domain. |
michael@0 | 3 | http://creativecommons.org/publicdomain/zero/1.0/ --> |
michael@0 | 4 | <!-- Testcase for how we fragment an empty fixed-height flex container, with |
michael@0 | 5 | margin/border/padding that are larger than the available height, |
michael@0 | 6 | and with the flex container having "flex-direction: row". |
michael@0 | 7 | --> |
michael@0 | 8 | <html> |
michael@0 | 9 | <head> |
michael@0 | 10 | <style> |
michael@0 | 11 | .multicol { |
michael@0 | 12 | height: 10px; |
michael@0 | 13 | width: 100px; |
michael@0 | 14 | -moz-column-width: 20px; |
michael@0 | 15 | -moz-column-fill: auto; |
michael@0 | 16 | border: 2px solid orange; |
michael@0 | 17 | margin-bottom: 2px; |
michael@0 | 18 | } |
michael@0 | 19 | .flexContainer { |
michael@0 | 20 | background: teal; |
michael@0 | 21 | /* border-width is 0 by default; some sub-testcases will increase it. */ |
michael@0 | 22 | border: 0 dashed black; |
michael@0 | 23 | } |
michael@0 | 24 | </style> |
michael@0 | 25 | </head> |
michael@0 | 26 | <body> |
michael@0 | 27 | <!-- MARGIN LARGER THAN AVAILABLE HEIGHT --> |
michael@0 | 28 | <!-- =================================== --> |
michael@0 | 29 | <!-- margin-top is the available height: --> |
michael@0 | 30 | <div class="multicol"> |
michael@0 | 31 | <div class="flexContainer" style="height: 8px; |
michael@0 | 32 | margin-top: 10px"></div> |
michael@0 | 33 | </div> |
michael@0 | 34 | |
michael@0 | 35 | <!-- margin-top is larger than available height: --> |
michael@0 | 36 | <div class="multicol"> |
michael@0 | 37 | <div class="flexContainer" style="height: 8px; |
michael@0 | 38 | margin-top: 11px"></div> |
michael@0 | 39 | </div> |
michael@0 | 40 | |
michael@0 | 41 | <!-- margin-bottom is exactly the available height: --> |
michael@0 | 42 | <div class="multicol"> |
michael@0 | 43 | <div class="flexContainer" style="height: 8px; |
michael@0 | 44 | margin-bottom: 10px"></div> |
michael@0 | 45 | </div> |
michael@0 | 46 | |
michael@0 | 47 | <!-- margin-bottom is larger than available height: --> |
michael@0 | 48 | <div class="multicol"> |
michael@0 | 49 | <div class="flexContainer" style="height: 8px; |
michael@0 | 50 | margin-bottom: 11px"></div> |
michael@0 | 51 | </div> |
michael@0 | 52 | |
michael@0 | 53 | <!-- BORDER LARGER THAN AVAILABLE HEIGHT --> |
michael@0 | 54 | <!-- =================================== --> |
michael@0 | 55 | <!-- border-top-width is the available height: --> |
michael@0 | 56 | <div class="multicol"> |
michael@0 | 57 | <div class="flexContainer" style="height: 8px; |
michael@0 | 58 | border-top-width: 10px"></div> |
michael@0 | 59 | </div> |
michael@0 | 60 | |
michael@0 | 61 | <!-- border-top-width is larger than available height: --> |
michael@0 | 62 | <div class="multicol"> |
michael@0 | 63 | <div class="flexContainer" style="height: 8px; |
michael@0 | 64 | border-top-width: 11px"></div> |
michael@0 | 65 | </div> |
michael@0 | 66 | |
michael@0 | 67 | <!-- border-bottom-width is exactly the available height: --> |
michael@0 | 68 | <div class="multicol"> |
michael@0 | 69 | <div class="flexContainer" style="height: 8px; |
michael@0 | 70 | border-bottom-width: 10px"></div> |
michael@0 | 71 | </div> |
michael@0 | 72 | |
michael@0 | 73 | <!-- border-bottom-width is larger than available height: --> |
michael@0 | 74 | <div class="multicol"> |
michael@0 | 75 | <div class="flexContainer" style="height: 8px; |
michael@0 | 76 | border-bottom-width: 11px"></div> |
michael@0 | 77 | </div> |
michael@0 | 78 | |
michael@0 | 79 | <!-- PADDING LARGER THAN AVAILABLE HEIGHT --> |
michael@0 | 80 | <!-- ==================================== --> |
michael@0 | 81 | <!-- padding-top is the available height: --> |
michael@0 | 82 | <div class="multicol"> |
michael@0 | 83 | <div class="flexContainer" style="height: 8px; |
michael@0 | 84 | padding-top: 10px"></div> |
michael@0 | 85 | </div> |
michael@0 | 86 | |
michael@0 | 87 | <!-- padding-top is larger than available height: --> |
michael@0 | 88 | <div class="multicol"> |
michael@0 | 89 | <div class="flexContainer" style="height: 8px; |
michael@0 | 90 | padding-top: 11px"></div> |
michael@0 | 91 | </div> |
michael@0 | 92 | |
michael@0 | 93 | <!-- padding-bottom is exactly the available height: --> |
michael@0 | 94 | <div class="multicol"> |
michael@0 | 95 | <div class="flexContainer" style="height: 8px; |
michael@0 | 96 | padding-bottom: 10px"></div> |
michael@0 | 97 | </div> |
michael@0 | 98 | |
michael@0 | 99 | <!-- padding-bottom is larger than available height: --> |
michael@0 | 100 | <div class="multicol"> |
michael@0 | 101 | <div class="flexContainer" style="height: 8px; |
michael@0 | 102 | padding-bottom: 11px"></div> |
michael@0 | 103 | </div> |
michael@0 | 104 | |
michael@0 | 105 | <!-- BORDER+PADDING LARGER THAN AVAILABLE HEIGHT --> |
michael@0 | 106 | <!-- =========================================== --> |
michael@0 | 107 | <!-- border+padding-top is the available height: --> |
michael@0 | 108 | <div class="multicol"> |
michael@0 | 109 | <div class="flexContainer" style="height: 8px; |
michael@0 | 110 | border-top: 5px; |
michael@0 | 111 | padding-top: 5px"></div> |
michael@0 | 112 | </div> |
michael@0 | 113 | |
michael@0 | 114 | <!-- padding-top is larger than available height: --> |
michael@0 | 115 | <div class="multicol"> |
michael@0 | 116 | <div class="flexContainer" style="height: 8px; |
michael@0 | 117 | border-top: 6px; |
michael@0 | 118 | padding-top: 6px"></div> |
michael@0 | 119 | </div> |
michael@0 | 120 | |
michael@0 | 121 | <!-- padding-bottom is exactly the available height: --> |
michael@0 | 122 | <div class="multicol"> |
michael@0 | 123 | <div class="flexContainer" style="height: 8px; |
michael@0 | 124 | border-bottom: 5px; |
michael@0 | 125 | padding-bottom: 5px"></div> |
michael@0 | 126 | </div> |
michael@0 | 127 | |
michael@0 | 128 | <!-- padding-bottom is larger than available height: --> |
michael@0 | 129 | <div class="multicol"> |
michael@0 | 130 | <div class="flexContainer" style="height: 8px; |
michael@0 | 131 | border-bottom: 6px; |
michael@0 | 132 | padding-bottom: 6px"></div> |
michael@0 | 133 | </div> |
michael@0 | 134 | |
michael@0 | 135 | </body> |
michael@0 | 136 | </html> |