##// END OF EJS Templates
Backport PR #2270: SSHLauncher tweaks...
Backport PR #2270: SSHLauncher tweaks * use pipes.quote on SSH commands * default SSHEngineSetLauncher to `ipengine` instead of import-based command. This is actually the intended behavior, and only brings EngineSet inline with SSHEngine and SSHController, which both use the simplified command. * Should be backported to 0.13.1 * Must be not be merged before #2269

File last commit:

r4657:88fabb9a
r8377:25ab8ce5
Show More
prettify.css
47 lines | 689 B | text/css | CssLexer
Stefan van der Walt
Try to match CodeMirror theme.
r4657 .pln{
color:#000
}
@media screen{
.str{
color:#BA2121;
}.kwd{
color:#008000;
font-weight: bold;
}.com{
color:#408080;
font-style: italic;
}.typ{
color:#606
}.lit{
color:#666666;
}.pun,.opn,.clo{
}.tag{
color:#008
}.atn{
color:#606
}.atv{
color:#080
}.dec,.var{
color:#606
}.fun{
color:red
}
}
pre.prettyprint{
padding:2px;
border:1px solid #888
}
ol.linenums{
margin-top:0;
margin-bottom:0
}
li.L0,li.L1,li.L2,li.L3,li.L5,li.L6,li.L7,li.L8{
list-style-type:none
}
li.L1,li.L3,li.L5,li.L7,li.L9{
background:#eee
}