Home
last modified time | relevance | path

Searched refs:sizing (Results 1 – 25 of 237) sorted by relevance

12345678910

/plugin/katex/_assets/
H A Dkatex.min.css1sizing.reset-size1.size1{font-size:1em}.katex .fontsize-ensurer.reset-size1.size2,.katex .sizing.r…
/plugin/abc2/abc-libraries/abcjs/
H A Dabcjs-midi.css11 box-sizing: border-box;
30 box-sizing: border-box;
48 box-sizing: border-box;
58 box-sizing: border-box;
68 box-sizing: border-box;
97 box-sizing: border-box;
110 box-sizing: border-box;
119 box-sizing: border-box;
124 box-sizing: border-box;
132 box-sizing
[all...]
/plugin/abc2/
H A Dstyle.css33 box-sizing: border-box;
53 box-sizing: border-box;
67 box-sizing: border-box;
77 box-sizing: border-box;
87 box-sizing: border-box;
116 box-sizing: border-box;
129 box-sizing: border-box;
138 box-sizing: border-box;
143 box-sizing: border-box;
151 box-sizing
[all...]
/plugin/sequencediagram/bower_components/snap.svg/doc/css/
H A Dmain.css63 -moz-box-sizing: border-box;
64 box-sizing: border-box;
98 -webkit-box-sizing: border-box;
99 -moz-box-sizing: border-box;
100 box-sizing: border-box;
171 box-sizing: border-box;
180 box-sizing: border-box;
272 box-sizing: border-box;
279 box-sizing: border-box;
301 box-sizing: border-box;
[all …]
/plugin/konsole/
H A Dstyle.css29 box-sizing: content-box;
35 box-sizing: content-box;
58 box-sizing: content-box;
117 box-sizing: content-box;
122 box-sizing: content-box;
/plugin/combo/resources/theme/default/components/css/
H A Dminimap.css27 box-sizing: border-box;
31 box-sizing: border-box;
58 box-sizing: border-box;
73 box-sizing: border-box;
102 box-sizing: border-box;
121 box-sizing: border-box;
143 box-sizing: border-box;
/plugin/dirtylittlehelper/mermaid/editor/docs/
H A Dglobal.css16 box-sizing: border-box;
44 box-sizing: border-box;
76 box-sizing: border-box;
108 box-sizing: border-box;
/plugin/minimap/
H A Dstyle.css29 box-sizing: border-box;
33 box-sizing: border-box;
63 box-sizing: border-box;
78 box-sizing: border-box;
109 box-sizing: border-box;
128 box-sizing: border-box;
150 box-sizing: border-box;
/plugin/yuriigantt/3rd/dhtmlxgantt/sources/skins/
H A Ddhtmlxgantt_contrast_black.css245 box-sizing: border-box;
257 box-sizing: border-box;
272 box-sizing: border-box;
342 box-sizing: border-box;
369 box-sizing: border-box;
738 box-sizing: border-box;
815 box-sizing: border-box;
1004 box-sizing: border-box;
1137 box-sizing: border-box;
1176 box-sizing: border-box;
[all …]
H A Ddhtmlxgantt_contrast_white.css256 box-sizing: border-box;
268 box-sizing: border-box;
283 box-sizing: border-box;
353 box-sizing: border-box;
380 box-sizing: border-box;
749 box-sizing: border-box;
826 box-sizing: border-box;
1015 box-sizing: border-box;
1148 box-sizing: border-box;
1187 box-sizing: border-box;
[all …]
H A Ddhtmlxgantt_meadow.css195 box-sizing: border-box;
207 box-sizing: border-box;
222 box-sizing: border-box;
292 box-sizing: border-box;
319 box-sizing: border-box;
580 box-sizing: content-box;
685 box-sizing: border-box;
762 box-sizing: border-box;
951 box-sizing: border-box;
1081 box-sizing: border-box;
[all …]
H A Ddhtmlxgantt_terrace.css194 box-sizing: border-box;
206 box-sizing: border-box;
221 box-sizing: border-box;
291 box-sizing: border-box;
318 box-sizing: border-box;
578 box-sizing: content-box;
683 box-sizing: border-box;
759 box-sizing: border-box;
948 box-sizing: border-box;
1078 box-sizing: border-box;
[all …]
H A Ddhtmlxgantt_broadway.css108 box-sizing: border-box;
292 box-sizing: border-box;
312 box-sizing: border-box;
327 box-sizing: border-box;
398 box-sizing: border-box;
425 box-sizing: border-box;
792 box-sizing: border-box;
869 box-sizing: border-box;
1059 box-sizing: border-box;
1188 box-sizing: border-box;
[all …]
H A Ddhtmlxgantt_skyblue.css113 box-sizing: border-box;
152 box-sizing: border-box;
167 box-sizing: border-box;
244 box-sizing: border-box;
271 box-sizing: border-box;
535 box-sizing: content-box;
645 box-sizing: border-box;
721 box-sizing: border-box;
921 box-sizing: border-box;
1050 box-sizing: border-box;
[all …]
H A Ddhtmlxgantt_material.css273 box-sizing: border-box;
614 box-sizing: border-box;
626 box-sizing: border-box;
641 box-sizing: border-box;
711 box-sizing: border-box;
738 box-sizing: border-box;
1104 box-sizing: border-box;
1181 box-sizing: border-box;
1370 box-sizing: border-box;
1499 box-sizing: border-box;
[all …]
/plugin/yuriigantt/3rd/dhtmlxgantt/sources/
H A Ddhtmlxgantt.css194 box-sizing: border-box;
206 box-sizing: border-box;
221 box-sizing: border-box;
291 box-sizing: border-box;
318 box-sizing: border-box;
578 box-sizing: content-box;
683 box-sizing: border-box;
759 box-sizing: border-box;
948 box-sizing: border-box;
1078 box-sizing: border-box;
[all …]
/plugin/yuriigantt/3rd/dhtmlxgantt/
H A Ddhtmlxgantt.css1sizing:border-box}.gantt_grid_scale,.gantt_task_scale,.gantt_task_vscroll{background-color:#fff}.g…
/plugin/yuriigantt/3rd/dhtmlxgantt/skins/
H A Ddhtmlxgantt_terrace.css1sizing:border-box}.gantt_grid_scale,.gantt_task_scale,.gantt_task_vscroll{background-color:#fff}.g…
H A Ddhtmlxgantt_contrast_white.css1sizing:border-box}.gantt_grid_scale,.gantt_task_scale,.gantt_task_vscroll{background-color:#fff}.g…
H A Ddhtmlxgantt_contrast_black.css1sizing:border-box}.gantt_grid_scale,.gantt_task_scale,.gantt_task_vscroll{background-color:#000}.g…
H A Ddhtmlxgantt_meadow.css1sizing:border-box}.gantt_grid_scale,.gantt_task_scale,.gantt_task_vscroll{background-color:#f4f2ea…
H A Ddhtmlxgantt_skyblue.css1sizing:border-box}.gantt_grid_scale,.gantt_task_scale,.gantt_task_vscroll{box-shadow:inset 0 1px 1…
H A Ddhtmlxgantt_broadway.css1sizing:border-box}.gantt_task_link .gantt_link_arrow_right{border-width:5px;margin-top:-2px}.gantt…
/plugin/dwtimeline/
H A Dprint.css7 box-sizing: border-box;
19 box-sizing: border-box;
102 box-sizing: border-box;
/plugin/combo/ComboStrap/
H A DMarkupRef.php530 $sizing = [];
531 if (preg_match('/^([0-9]+)(?:x([0-9]+))?/', $token, $sizing)) {
532 $this->url->addQueryParameter(Dimension::WIDTH_KEY, $sizing[1]);
533 if (isset($sizing[2])) {
534 $this->url->addQueryParameter(Dimension::HEIGHT_KEY, $sizing[2]);
536 $token = substr($token, strlen($sizing[0]));

12345678910