| /external/eclipse-windowbuilder/propertysheet/src/org/eclipse/wb/internal/core/model/property/table/ |
| Tooltip.css | 7 body { overflow: auto; margin-top: 0px; margin-bottom: 0px; margin-left: 0.3em; margin-right: 0.3em; }
8 div { margin: 0px; }
9 h1 { margin-top: 0.3em; margin-bottom: 0.04em; }
10 h2 { margin-top: 2em; margin-bottom: 0.25em; }
11 h3 { margin-top: 1.7em; margin-bottom: 0.25em;
[all...] |
| /external/webkit/Source/WebCore/rendering/style/ |
| StyleSurroundData.cpp | 28 : margin(Fixed)
36 , margin(o.margin)
44 return offset == o.offset && margin == o.margin && padding == o.padding && border == o.border;
|
| /external/chromium/chrome/browser/resources/options/ |
| clear_browser_data_overlay.css | 12 margin: 5px 0;
17 margin: 5px 0;
21 margin: 4px 10px;
|
| content_settings.css | 9 -webkit-margin-end: 10px;
10 -webkit-margin-start: 14px;
14 -webkit-margin-end: 20px;
26 margin-top: 1px;
30 -webkit-margin-start: 17px;
32 margin-top: 17px;
52 margin-bottom: 10px;
53 margin-top: 4px;
58 margin: 7px 0px;
|
| advanced_options.css | 8 margin: 10px 0;
12 margin: 10px 0;
26 margin: 10px 0 5px;
31 margin-bottom: 10px;
36 margin-left: 10px;
|
| sync_setup_overlay.css | 4 margin: 10px 0;
20 margin: 10px 0;
24 margin: 0 25px;
32 margin: 10px 0;
36 margin-bottom: 10px;
40 margin-bottom: 30px;
50 margin: 10px 0;
59 margin-bottom: 6px;
60 margin-top: 6px;
95 margin: 4px 10px
[all...] |
| /system/core/init/ |
| watchdogd.c | 34 int margin = 10; local
46 margin = atoi(argv[2]);
48 timeout = interval + margin;
63 if (timeout > margin)
64 interval = timeout - margin;
67 ERROR("watchdogd: Adjusted interval to timeout returned by driver: timeout %d, interval %d, margin %d\n",
68 timeout, interval, margin);
|
| /external/jmonkeyengine/engine/src/terrain/com/jme3/terrain/noise/filter/ |
| IterativeFilter.java | 47 public int getMargin(int size, int margin) {
49 return margin;
52 margin = f.getMargin(size, margin);
54 margin = this.filter.getMargin(size, margin);
56 margin = f.getMargin(size, margin);
58 return this.iterations * margin + super.getMargin(size, margin);
[all...] |
| AbstractFilter.java | 76 public int getMargin(int size, int margin) {
80 return margin;
83 margin = f.getMargin(size, margin);
86 margin = f.getMargin(size, margin);
88 return margin;
|
| /external/jmonkeyengine/engine/src/bullet/com/jme3/bullet/collision/shapes/ |
| CollisionShape.java | 50 protected float margin = 0.0f; field in class:CollisionShape
101 public void setMargin(float margin) {
102 setMargin(objectId, margin);
103 this.margin = margin;
108 private native void setMargin(long objectId, float margin);
113 capsule.write(getMargin(), "margin", 0.0f);
119 this.margin = capsule.readFloat("margin", 0.0f);
|
| /external/chromium/chrome/browser/chromeos/login/ |
| textfield_with_margin.cc | 12 // Holds ratio of the margin to the preferred text height.
15 // Size of each vertical margin (top, bottom).
32 int margin = GetPreferredSize().height() * kTextMarginRate; local
33 SetHorizontalMargins(margin, margin);
|
| /external/skia/src/effects/ |
| SkBlurMask.h | 33 SkIPoint *margin = NULL);
37 SkIPoint* margin = NULL);
40 SkIPoint* margin = NULL);
44 SkIPoint* margin, bool separable);
|
| /sdk/eclipse/plugins/com.android.ide.eclipse.adt/src/com/android/ide/common/layout/grid/ |
| GridMatch.java | 25 * edge, or a margin, or centering, or a gap distance from another edge and so on.
44 /** Amount of margin between the matched edges */
45 public int margin; field in class:GridMatch
57 * @param margin a margin distance to add to the actual location from the matched line
60 boolean createCell, int margin) {
67 this.margin = margin;
98 if (margin != UNDEFINED) {
99 if (cellIndex == 0 && margin != 0)
[all...] |
| /external/jmonkeyengine/engine/src/jbullet/com/jme3/bullet/collision/shapes/ |
| CollisionShape.java | 49 protected float margin = 0.0f; field in class:CollisionShape
91 public void setMargin(float margin) {
92 cShape.setMargin(margin);
93 this.margin = margin;
103 capsule.write(getMargin(), "margin", 0.0f);
109 this.margin = capsule.readFloat("margin", 0.0f);
|
| /external/webkit/Source/WebCore/css/ |
| quirks.css | 26 margin-right: 3px;
29 margin-left: 3px;
50 /* Set margin-bottom for form element in quirks mode. */
53 margin-bottom: 1em
|
| /external/webkit/Source/WebCore/xml/ |
| XMLViewer.css | 32 margin: 10px;
40 margin-top: 1em;
41 margin-left: 20px;
51 margin-left: 1em;
61 margin-left: -10px;
|
| /external/webkit/Tools/BuildSlaveSupport/build.webkit.org-config/public_html/LeaksViewer/ |
| LeaksViewer.css | 44 margin: auto;
55 margin-top: 5px;
60 margin-top: -1px;
64 margin-left: 5px;
73 margin: 0;
|
| /external/webkit/Tools/CSSTestSuiteHarness/harness/ |
| harness.css | 41 margin: 4px;
49 margin: 4px 0;
57 margin-top: 20px;
62 margin-left: 320px;
67 margin-bottom: 8px;
78 margin-left: 5px;
86 margin-left: 320px;
94 margin: 6px 0;
134 margin: 2px;
139 margin: 2px 0 2px 0
[all...] |
| /external/bzip2/ |
| bzip.css | 21 margin-left: 1.5em;
32 #release p { margin-top: 0.4em; }
39 margin: 0px 4px 16px 16px;
44 margin-bottom: 10px;
49 margin-left: 0px;
57 margin-bottom: 0.5em;
73 margin: 4px 0px 4px 0px;
|
| /sdk/templates/docs/ |
| default.css | 37 margin: 48px 64px 48px 320px;
100 margin-left: 16px;
134 margin-bottom: 6px;
141 margin-top: 64px;
142 margin-bottom: 12px;
151 margin-bottom: 12px;
153 margin-top: -16px;
163 margin-bottom: 16px;
167 margin-bottom: 0;
176 margin-top: -16px
[all...] |
| /build/tools/droiddoc/templates-sac/assets/ |
| android-developer-docs.css | 15 margin: 0;
55 margin:0;
65 margin:0 0 1em;
83 margin:0 0 1em 1em;
89 margin:1em 0;
98 margin:0 0 .8em;
107 margin:0 0 1em 0;
112 margin:0;
117 margin:0 0 1em;
122 margin:.5em 0 0
[all...] |
| /build/tools/droiddoc/templates-sdk/assets/ |
| android-developer-docs.css | 15 margin: 0;
55 margin:0;
65 margin:0 0 1em;
83 margin:0 0 1em 1em;
89 margin:1em 0;
98 margin:0 0 .8em;
107 margin:0 0 1em 0;
112 margin:0;
117 margin:0 0 1em;
122 margin:.5em 0 0
[all...] |
| /external/chromium-trace/trace-viewer/src/ |
| unittest.css | 17 margin: auto;
29 margin-bottom: 16px;
30 margin-left: 16px;
|
| /sdk/eclipse/plugins/com.android.ide.eclipse.adt.package/ |
| welcome.css | 7 margin:0;
36 margin: 10px 0 0;
42 margin: 20px 0 20px;
54 margin: 20px 0 0;
73 margin:15px;
78 margin-top:0;
93 margin: 0 auto;
101 margin: 0 -1.533742331288343558282%;
104 margin-bottom: 20px;
116 margin: 0 1.2% 20px 1.7%
[all...] |
| /external/chromium/chrome/browser/resources/ |
| extensions_infobar.css | 10 margin: 0px;
|
