##// END OF EJS Templates
Merge pull request #7121 from takluyver/windows-int-parent-handle...
Merge pull request #7121 from takluyver/windows-int-parent-handle Convert parent handle to an int before setting environment variable

File last commit:

r17382:e6233f8e
r19295:abab15a2 merge
Show More
kernelselector.less
14 lines | 223 B | text/x-less | LessCssLexer
#kernel_selector_widget {
margin-right: 1em;
float:right;
& > button {
.btn();
.btn-default();
.btn-sm();
& > span.caret {
margin-top:0px;
}
}
}