Searched refs:margin (Results 1 – 17 of 17) sorted by relevance
19 margin-left: auto;20 margin-right: auto;35 margin: 20px 0 0 10px;74 margin: 0px auto;104 margin: 0px auto;114 margin-bottom: 0px;119 margin: 40px 0;130 margin-bottom: 20px;151 margin: 12px 0;242 margin-top: 30px;[all …]
75 margin-right: 10px;90 margin-top: -8px;110 margin-top: -7px;118 margin-top: 2px;125 margin: 1px 0;148 margin-right: 10px;218 margin-bottom: 20px;234 margin-top: -6px;289 margin: 40px 40px 0 0;305 margin-bottom: 0;[all …]
2 margin: -5px 0;17 margin: 0;44 margin-bottom: 20px;47 margin-left: auto;48 margin-right: auto;52 margin-right: 20px;76 margin: -10px -10px 10px -10px;101 margin: -10px -20px 10px -20px;
3 margin-top: 60px;13 margin-top: 60px;29 margin-top: 0;38 margin-left: auto;39 margin-right: auto;
6 margin: -10px 0;24 margin: 0 -2px;35 margin-top: 20px;45 margin-top: 20px;
27 margin-right: 10px;42 margin-left: auto;50 margin: 0 -10px;90 margin: 0 -0.4em;
9 margin: 0 auto;24 margin: -10px;36 margin: 10px;
17 margin: 0 -20px;49 margin-right: 10px;77 margin-left: auto;
4 margin-bottom: 20px;27 margin: 0 -10px;
37 margin: 0;43 margin: 3px 5px;
80 margin: 20px 0;102 margin-right: 10px;
6 margin: 20px 0;
14 margin: 0;
103 {: style="display: block; margin-left: auto; margin-right: auto; width: 80%"}109 {: style="display: block; margin-left: auto; margin-right: auto; width: 80%"}132 {: style="display: block; margin-left: auto; margin-right: auto; width: 70%"}
135 margin-left: 0.2em;
5389 const double margin = options.files_size_error_margin; in ApproximateSize() local5390 if (margin > 0 && total_intersecting_size < in ApproximateSize()5391 static_cast<uint64_t>(total_full_size * margin)) { in ApproximateSize()
198 …margin of up to total_files_size * files_size_error_margin. This allows to take some shortcuts in …