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 | display: flex; |
michael@0 | 21 | flex-direction: row; |
michael@0 | 22 | background: teal; |
michael@0 | 23 | /* border-width is 0 by default; some sub-testcases will increase it. */ |
michael@0 | 24 | border: 0 dashed black; |
michael@0 | 25 | } |
michael@0 | 26 | </style> |
michael@0 | 27 | </head> |
michael@0 | 28 | <body> |
michael@0 | 29 | <!-- MARGIN LARGER THAN AVAILABLE HEIGHT --> |
michael@0 | 30 | <!-- =================================== --> |
michael@0 | 31 | <!-- margin-top is the available height: --> |
michael@0 | 32 | <div class="multicol"> |
michael@0 | 33 | <div class="flexContainer" style="height: 8px; |
michael@0 | 34 | margin-top: 10px"></div> |
michael@0 | 35 | </div> |
michael@0 | 36 | |
michael@0 | 37 | <!-- margin-top is larger than available height: --> |
michael@0 | 38 | <div class="multicol"> |
michael@0 | 39 | <div class="flexContainer" style="height: 8px; |
michael@0 | 40 | margin-top: 11px"></div> |
michael@0 | 41 | </div> |
michael@0 | 42 | |
michael@0 | 43 | <!-- margin-bottom is exactly the available height: --> |
michael@0 | 44 | <div class="multicol"> |
michael@0 | 45 | <div class="flexContainer" style="height: 8px; |
michael@0 | 46 | margin-bottom: 10px"></div> |
michael@0 | 47 | </div> |
michael@0 | 48 | |
michael@0 | 49 | <!-- margin-bottom is larger than available height: --> |
michael@0 | 50 | <div class="multicol"> |
michael@0 | 51 | <div class="flexContainer" style="height: 8px; |
michael@0 | 52 | margin-bottom: 11px"></div> |
michael@0 | 53 | </div> |
michael@0 | 54 | |
michael@0 | 55 | <!-- BORDER LARGER THAN AVAILABLE HEIGHT --> |
michael@0 | 56 | <!-- =================================== --> |
michael@0 | 57 | <!-- border-top-width is the available height: --> |
michael@0 | 58 | <div class="multicol"> |
michael@0 | 59 | <div class="flexContainer" style="height: 8px; |
michael@0 | 60 | border-top-width: 10px"></div> |
michael@0 | 61 | </div> |
michael@0 | 62 | |
michael@0 | 63 | <!-- border-top-width is larger than available height: --> |
michael@0 | 64 | <div class="multicol"> |
michael@0 | 65 | <div class="flexContainer" style="height: 8px; |
michael@0 | 66 | border-top-width: 11px"></div> |
michael@0 | 67 | </div> |
michael@0 | 68 | |
michael@0 | 69 | <!-- border-bottom-width is exactly the available height: --> |
michael@0 | 70 | <div class="multicol"> |
michael@0 | 71 | <div class="flexContainer" style="height: 8px; |
michael@0 | 72 | border-bottom-width: 10px"></div> |
michael@0 | 73 | </div> |
michael@0 | 74 | |
michael@0 | 75 | <!-- border-bottom-width is larger than available height: --> |
michael@0 | 76 | <div class="multicol"> |
michael@0 | 77 | <div class="flexContainer" style="height: 8px; |
michael@0 | 78 | border-bottom-width: 11px"></div> |
michael@0 | 79 | </div> |
michael@0 | 80 | |
michael@0 | 81 | <!-- PADDING LARGER THAN AVAILABLE HEIGHT --> |
michael@0 | 82 | <!-- ==================================== --> |
michael@0 | 83 | <!-- padding-top is the available height: --> |
michael@0 | 84 | <div class="multicol"> |
michael@0 | 85 | <div class="flexContainer" style="height: 8px; |
michael@0 | 86 | padding-top: 10px"></div> |
michael@0 | 87 | </div> |
michael@0 | 88 | |
michael@0 | 89 | <!-- padding-top is larger than available height: --> |
michael@0 | 90 | <div class="multicol"> |
michael@0 | 91 | <div class="flexContainer" style="height: 8px; |
michael@0 | 92 | padding-top: 11px"></div> |
michael@0 | 93 | </div> |
michael@0 | 94 | |
michael@0 | 95 | <!-- padding-bottom is exactly the available height: --> |
michael@0 | 96 | <div class="multicol"> |
michael@0 | 97 | <div class="flexContainer" style="height: 8px; |
michael@0 | 98 | padding-bottom: 10px"></div> |
michael@0 | 99 | </div> |
michael@0 | 100 | |
michael@0 | 101 | <!-- padding-bottom is larger than available height: --> |
michael@0 | 102 | <div class="multicol"> |
michael@0 | 103 | <div class="flexContainer" style="height: 8px; |
michael@0 | 104 | padding-bottom: 11px"></div> |
michael@0 | 105 | </div> |
michael@0 | 106 | |
michael@0 | 107 | <!-- BORDER+PADDING LARGER THAN AVAILABLE HEIGHT --> |
michael@0 | 108 | <!-- =========================================== --> |
michael@0 | 109 | <!-- border+padding-top is the available height: --> |
michael@0 | 110 | <div class="multicol"> |
michael@0 | 111 | <div class="flexContainer" style="height: 8px; |
michael@0 | 112 | border-top: 5px; |
michael@0 | 113 | padding-top: 5px"></div> |
michael@0 | 114 | </div> |
michael@0 | 115 | |
michael@0 | 116 | <!-- padding-top is larger than available height: --> |
michael@0 | 117 | <div class="multicol"> |
michael@0 | 118 | <div class="flexContainer" style="height: 8px; |
michael@0 | 119 | border-top: 6px; |
michael@0 | 120 | padding-top: 6px"></div> |
michael@0 | 121 | </div> |
michael@0 | 122 | |
michael@0 | 123 | <!-- padding-bottom is exactly the available height: --> |
michael@0 | 124 | <div class="multicol"> |
michael@0 | 125 | <div class="flexContainer" style="height: 8px; |
michael@0 | 126 | border-bottom: 5px; |
michael@0 | 127 | padding-bottom: 5px"></div> |
michael@0 | 128 | </div> |
michael@0 | 129 | |
michael@0 | 130 | <!-- padding-bottom is larger than available height: --> |
michael@0 | 131 | <div class="multicol"> |
michael@0 | 132 | <div class="flexContainer" style="height: 8px; |
michael@0 | 133 | border-bottom: 6px; |
michael@0 | 134 | padding-bottom: 6px"></div> |
michael@0 | 135 | </div> |
michael@0 | 136 | |
michael@0 | 137 | </body> |
michael@0 | 138 | </html> |