##// END OF EJS Templates
Use default OS shell to run system commands...
Use default OS shell to run system commands Instead of using os.system which uses /bin/sh, this uses subprocess.call (the replacement of os.system) to run the command using the default shell of the OS. With this, one can use more advanced commands for bash, zsh, ksh, ... I do not have a win32 system to test this modification, so maybe line 2236 can also be changed like 2239.

File last commit:

r11033:fa36e98f
r12217:56bf2f98
Show More
flexbox.less
105 lines | 1.5 KiB | text/x-less | LessCssLexer
Bussonnier Matthias
readd flexible-box-model
r9271
/* Flexible box model classes */
/* Taken from Alex Russell http://infrequently.org/2009/08/css-3-progress/ */
Matthias BUSSONNIER
remove trailing whitespace
r9284
Bussonnier Matthias
readd flexible-box-model
r9271 .hbox {
display: -webkit-box;
-webkit-box-orient: horizontal;
-webkit-box-align: stretch;
Matthias BUSSONNIER
remove trailing whitespace
r9284
Bussonnier Matthias
readd flexible-box-model
r9271 display: -moz-box;
-moz-box-orient: horizontal;
-moz-box-align: stretch;
Matthias BUSSONNIER
remove trailing whitespace
r9284
Bussonnier Matthias
readd flexible-box-model
r9271 display: box;
box-orient: horizontal;
box-align: stretch;
}
Matthias BUSSONNIER
remove trailing whitespace
r9284
Bussonnier Matthias
readd flexible-box-model
r9271 .hbox > * {
-webkit-box-flex: 0;
-moz-box-flex: 0;
box-flex: 0;
}
Matthias BUSSONNIER
remove trailing whitespace
r9284
Bussonnier Matthias
readd flexible-box-model
r9271 .vbox {
display: -webkit-box;
-webkit-box-orient: vertical;
-webkit-box-align: stretch;
Matthias BUSSONNIER
remove trailing whitespace
r9284
Bussonnier Matthias
readd flexible-box-model
r9271 display: -moz-box;
-moz-box-orient: vertical;
-moz-box-align: stretch;
Matthias BUSSONNIER
remove trailing whitespace
r9284
Bussonnier Matthias
readd flexible-box-model
r9271 display: box;
box-orient: vertical;
box-align: stretch;
MinRK
add width:100% to vbox for webkit / FF consistency...
r9981 /* width must be 100% to force FF to behave like webkit */
width: 100%;
Bussonnier Matthias
readd flexible-box-model
r9271 }
Matthias BUSSONNIER
remove trailing whitespace
r9284
Bussonnier Matthias
readd flexible-box-model
r9271 .vbox > * {
-webkit-box-flex: 0;
-moz-box-flex: 0;
box-flex: 0;
}
Matthias BUSSONNIER
remove trailing whitespace
r9284
Bussonnier Matthias
readd flexible-box-model
r9271 .reverse {
-webkit-box-direction: reverse;
-moz-box-direction: reverse;
box-direction: reverse;
}
Matthias BUSSONNIER
remove trailing whitespace
r9284
Bussonnier Matthias
readd flexible-box-model
r9271 .box-flex0 {
-webkit-box-flex: 0;
-moz-box-flex: 0;
box-flex: 0;
}
Matthias BUSSONNIER
remove trailing whitespace
r9284
Matthias BUSSONNIER
merge box-flex1 class into .output-area css definition
r10218 .box-flex1 {
Bussonnier Matthias
readd flexible-box-model
r9271 -webkit-box-flex: 1;
-moz-box-flex: 1;
box-flex: 1;
}
Matthias BUSSONNIER
remove trailing whitespace
r9284
Matthias BUSSONNIER
merge box-flex1 class into .output-area css definition
r10218 .box-flex {
.box-flex1();
}
Bussonnier Matthias
readd flexible-box-model
r9271 .box-flex2 {
-webkit-box-flex: 2;
-moz-box-flex: 2;
box-flex: 2;
}
Matthias BUSSONNIER
remove trailing whitespace
r9284
Bussonnier Matthias
readd flexible-box-model
r9271 .box-group1 {
-webkit-box-flex-group: 1;
-moz-box-flex-group: 1;
box-flex-group: 1;
}
Matthias BUSSONNIER
remove trailing whitespace
r9284
Bussonnier Matthias
readd flexible-box-model
r9271 .box-group2 {
-webkit-box-flex-group: 2;
-moz-box-flex-group: 2;
box-flex-group: 2;
}
Matthias BUSSONNIER
remove trailing whitespace
r9284
Bussonnier Matthias
readd flexible-box-model
r9271 .start {
-webkit-box-pack: start;
-moz-box-pack: start;
box-pack: start;
}
Matthias BUSSONNIER
remove trailing whitespace
r9284
Bussonnier Matthias
readd flexible-box-model
r9271 .end {
-webkit-box-pack: end;
-moz-box-pack: end;
box-pack: end;
}
Matthias BUSSONNIER
remove trailing whitespace
r9284
Bussonnier Matthias
readd flexible-box-model
r9271 .center {
-webkit-box-pack: center;
-moz-box-pack: center;
box-pack: center;
}