| /external/chromium/chrome/browser/resources/file_manager/css/ |
| file_manager.css | 15 margin: 0;
41 margin: 15px;
42 margin-bottom: 4px;
52 margin: 15px;
53 margin-top: 0;
60 margin: 15px;
61 margin-top: 0;
93 -webkit-margin-start: 7px;
94 -webkit-margin-end: 4px;
123 margin-top: 10px
[all...] |
| /external/chromium_org/chrome/browser/resources/chromeos/diagnostics/ |
| main.css | 15 margin: 0;
49 margin: 0;
66 -webkit-margin-end: 20px;
84 -webkit-margin-end: 4px;
119 margin-bottom: 13px;
120 margin-top: -13px;
|
| /external/chromium_org/third_party/WebKit/Source/core/css/ |
| themeWin.css | 51 margin:3px 3px 3px 4px;
55 margin:3px 3px 0 5px;
89 margin-right: 3px;
93 margin: auto 3px auto 2px;
97 margin: auto 3px auto 2px;
101 margin: 0;
|
| html.css | 59 margin: 8px
63 margin: 0px
72 -webkit-margin-before: 1__qem;
73 -webkit-margin-after: 1__qem;
74 -webkit-margin-start: 0;
75 -webkit-margin-end: 0;
100 -webkit-margin-before: 1__qem;
101 -webkit-margin-after: 1em;
102 -webkit-margin-start: 40px;
103 -webkit-margin-end: 40px
[all...] |
| /external/chromium_org/third_party/libjingle/source/talk/base/ |
| gunit.h | 92 // Version with a "soft" timeout and a margin. This logs if the timeout is
94 // margin time passes.
95 #define EXPECT_TRUE_WAIT_MARGIN(ex, timeout, margin) \
103 timeout << "ms; waiting an additional " << margin << "ms"; \
104 WAIT_(ex, margin, res); \
|
| /prebuilts/python/darwin-x86/2.7.5/lib/python2.7/ |
| textwrap.py | 389 margin = None
393 if margin is None:
394 margin = indent
398 elif indent.startswith(margin):
403 elif margin.startswith(indent):
404 margin = indent
407 # there is no margin.
409 margin = ""
413 if 0 and margin:
415 assert not line or line.startswith(margin), \
[all...] |
| /prebuilts/python/linux-x86/2.7.5/lib/python2.7/ |
| textwrap.py | 389 margin = None
393 if margin is None:
394 margin = indent
398 elif indent.startswith(margin):
403 elif margin.startswith(indent):
404 margin = indent
407 # there is no margin.
409 margin = ""
413 if 0 and margin:
415 assert not line or line.startswith(margin), \
[all...] |
| /external/chromium_org/chrome/browser/resources/extensions/ |
| extensions.css | 18 -webkit-margin-end: 20px;
72 margin-top: 0;
82 margin: 5px 0;
87 -webkit-margin-end: 24px;
115 -webkit-margin-start: 42px;
131 margin: 23px 0;
164 margin: 5px 0;
182 -webkit-margin-end: 20px;
188 -webkit-margin-end: 30px;
211 -webkit-margin-end: 2.5em
[all...] |
| /external/chromium_org/chrome/browser/resources/print_preview/ |
| print_preview.css | 13 margin: 0;
40 margin: 0;
67 margin: 0;
99 margin-top: 0;
105 margin: 0;
106 margin-bottom: 10px;
115 -webkit-margin-start: 20px;
153 margin: 0;
163 margin-bottom: -5px;
164 margin-top: 5px
[all...] |
| /external/chromium_org/third_party/WebKit/Tools/GardeningServer/styles/ |
| main.css | 29 margin: 0;
68 margin: 11px 6px;
75 margin-left: 0px;
79 margin-right: 0px;
129 margin-left: 20px;
139 margin: 5px auto;
150 margin: 0;
159 margin: 0px 5px;
222 margin: 0 0 0 3px;
234 margin: 0 0 0 3px
[all...] |
| /external/chromium/chrome/browser/resources/options/chromeos/ |
| internet_options_page.css | 19 margin: 10px 0;
20 -webkit-margin-start: 10px;
25 -webkit-margin-start: 10px;
29 -webkit-margin-start: 15px;
109 margin-right: 5px;
157 margin: 0;
178 margin-bottom: 10px;
179 margin-top: 10px;
181 -webkit-margin-start: 10px;
216 margin-left: 5px
[all...] |
| /external/chromium_org/chrome/browser/resources/ |
| set_as_default_browser.css | 38 margin: 0;
45 margin: 0;
52 margin: 37px 44px 35px;
61 margin: 0;
72 margin-bottom: 84px;
73 margin-top: 15px;
84 -webkit-margin-end: 0.4em;
85 -webkit-margin-start: 0;
93 margin-top: 0;
150 margin: 1px
[all...] |
| about_memory.css | 7 margin: 0;
17 margin: 0;
27 margin: 0;
28 margin-left: -38px;
51 margin-bottom: 0.75em;
62 margin: 0;
71 margin: 0;
99 margin-left: 26px;
107 margin-left: 0;
126 margin-top: 2em
[all...] |
| /external/chromium_org/ppapi/c/documentation/ |
| stylesheet.css | 61 margin-left: -1cm;
70 margin: 4px 8px 4px 2px
77 margin-bottom: 3px;
78 margin-top: 3px
138 margin: 12px 16px 6px auto;
142 margin-left: 16px;
190 margin: 0;
197 margin: 0 auto;
224 margin-left: 0;
225 margin-bottom: 5px
[all...] |
| /external/chromium_org/ppapi/cpp/documentation/ |
| stylesheet.css | 61 margin-left: -1cm;
70 margin: 4px 8px 4px 2px
77 margin-bottom: 3px;
78 margin-top: 3px
138 margin: 12px 16px 6px auto;
142 margin-left: 16px;
190 margin: 0;
197 margin: 0 auto;
224 margin-left: 0;
225 margin-bottom: 5px
[all...] |
| /external/chromium_org/third_party/WebKit/Tools/TestResultServer/static-dashboards/ |
| flakiness_dashboard_tests.css | 34 margin: 0;
97 margin-top: 0;
98 margin-bottom: 5px;
101 margin: 3px 0;
179 margin: 0;
184 margin-bottom: 10px;
207 margin: 0;
223 margin: 0 5px;
245 margin-left: 20px;
254 margin: 5px
[all...] |
| /external/jmonkeyengine/engine/src/terrain/com/jme3/terrain/noise/filter/ |
| PerturbFilter.java | 43 public int getMargin(int size, int margin) {
44 margin = super.getMargin(size, margin);
45 return (int) Math.floor(this.magnitude * (margin + size) + margin);
|
| /external/chromium_org/third_party/WebKit/Source/devtools/front_end/ |
| elementsPanel.css | 40 margin-left: 8px;
46 margin-top: 2px;
88 margin-left: 3px;
99 margin: 3px;
102 .metrics .margin {
109 margin: 3px;
119 margin: 3px;
129 margin: 3px;
140 margin: 3px;
192 margin-left: 0
[all...] |
| indexedDBViews.css | 33 margin-top: 5px;
47 margin-right: 0.5em;
54 margin-top: 1px;
59 margin-top: -1px;
73 margin-top: 3px;
74 margin-left: 3px;
117 margin-top: 1px;
|
| auditsPanel.css | 104 margin: 0 5px 0 0;
114 margin: 0;
123 margin-left: 0;
149 margin-left: -28px;
150 margin-top: 3px;
183 margin-left: 3px;
184 margin-right: 4px;
211 margin: 0;
220 margin: 0;
237 margin-top: 1px
[all...] |
| scriptsPanel.css | 60 margin-top: -1px;
67 margin-top: -1px;
72 margin-top: 2px;
155 margin: 5px 0 5px 1px;
159 margin: 5px 0 5px 20px;
173 margin-left: 20px;
174 margin-right: 36px;
183 margin-left: 10px;
188 margin-bottom: 3px;
219 margin-left: 1em
[all...] |
| panelEnablerView.css | 56 margin: auto;
65 margin-top: 0;
71 margin-bottom: 12px;
72 margin-left: 20px;
86 margin: auto;
103 margin: 0;
113 margin: 0 0 5px 20px;
118 margin: 6px 0 0 0;
150 margin: 0 5px 5px 0;
|
| profilesPanel.css | 47 margin-left: -1px;
117 margin-top: -1px;
168 margin: 0;
173 margin-top: 1px;
174 margin-left: 22px;
179 margin: 0 0 16px;
200 margin-right: 4px;
204 margin: -14px 0 13px 22px;
209 margin: 0 0 0 10px !important;
|
| /external/chromium/chrome/browser/resources/options/ |
| cookies_view.css | 20 margin-bottom: 10px;
26 margin-bottom: 0;
48 margin: 0;
77 /* notice that the width, margin, and padding match up with those above */
78 -webkit-margin-end: 2px;
101 /* notice that the margin and padding match up with those above */
102 -webkit-margin-start: 11em;
128 margin: 2px 4px 2px 0;
158 margin-top: 2px;
|
| /build/tools/droiddoc/templates-pdk/assets/design/ |
| default.css | 14 margin: 0;
31 margin: 0 40px; }
35 margin-bottom: 20px;
59 margin-left: 190px;
60 margin-top: 80px;
68 margin-bottom: 10px; }
73 margin-right: 20px;
103 margin: 0;
130 margin-bottom: 10px; }
142 margin-left: 20px;
[all...] |
