##// END OF EJS Templates
Merge pull request #4498 from takluyver/daemon-streamcapturer...
Merge pull request #4498 from takluyver/daemon-streamcapturer Daemon StreamCapturer The StreamCapturer should die if the main thread crashes. On Shiningpanda, a failure in another nose plugin has been causing the tests to hang, because the main thread exits, but the StreamCapturer thread is still alive. Under normal conditions, the thread will still be shut down cleanly - it will only die a messy death if the main thread does.

File last commit:

r11033:fa36e98f
r13524:b1976c99 merge
Show More
variables.less
11 lines | 329 B | text/x-less | LessCssLexer
Brian E. Granger
Adding files that I mised in the last commit.
r10713 // Our customizations to bootstrap go here.
Brian E. Granger
Working on cleaning up our less files.
r10700
@textColor: @black;
Brian E. Granger
Fixing styles by overriding bootstrap.
r10724 @baseFontSize: 13px;
MinRK
overriding baseLineHeight is not a good idea
r10886 @monoFontFamily: monospace; // to allow user to customize their fonts
MinRK
shrink navbars a little
r10912 @navbarHeight: 36px;
Brian E. Granger
Adding files that I mised in the last commit.
r10713
// Our own global variables for all pages go here
MinRK
overriding baseLineHeight is not a good idea
r10886 @corner_radius: 4px;
@code_line_height: 1.231em;