##// END OF EJS Templates
Removing return value of restart_kernel....
Removing return value of restart_kernel. The kernel_id is *always* the same under a restart and there is no need to return it. The restart handler does pass the original kernel_id back to the browser as it currently uses it.

File last commit:

r8053:58574fbf
r9113:9bb3bea0
Show More
elegant.css
10 lines | 593 B | text/css | CssLexer
.cm-s-elegant span.cm-number, .cm-s-elegant span.cm-string, .cm-s-elegant span.cm-atom {color: #762;}
.cm-s-elegant span.cm-comment {color: #262; font-style: italic; line-height: 1em;}
.cm-s-elegant span.cm-meta {color: #555; font-style: italic; line-height: 1em;}
.cm-s-elegant span.cm-variable {color: black;}
.cm-s-elegant span.cm-variable-2 {color: #b11;}
.cm-s-elegant span.cm-qualifier {color: #555;}
.cm-s-elegant span.cm-keyword {color: #730;}
.cm-s-elegant span.cm-builtin {color: #30a;}
.cm-s-elegant span.cm-error {background-color: #fdd;}
.cm-s-elegant span.cm-link {color: #762;}