##// 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:

r13942:cb2aacad
r19295:abab15a2 merge
Show More
error.less
20 lines | 271 B | text/x-less | LessCssLexer
div.error {
margin: 2em;
text-align: center;
}
div.error > h1 {
font-size: 500%;
line-height: normal;
}
div.error > p {
font-size: 200%;
line-height: normal;
}
div.traceback-wrapper {
text-align: left;
max-width: 800px;
margin: auto;
}