##// END OF EJS Templates
Merge pull request #5844 from jdfreder/scrollmanager...
Merge pull request #5844 from jdfreder/scrollmanager 'Paul' scroll feature

File last commit:

r16970:5020129d
r17935:f3f0886e merge
Show More
variables.less
38 lines | 890 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
Jonathan Frederic
Review comments
r16957 @black: #000;
Jonathan Frederic
Get notebook running with Bootstrap3
r16912 @text-color: @black;
@font-size-base: 13px;
@font-family-monospace: monospace; // to allow user to customize their fonts
Jonathan Frederic
Re-enabled nav bar height
r16917 @navbar-height: 36px;
Jonathan Frederic
Review comments
r16957 @breadcrumb-color: darken(@border_color, 30%);
@blockquote-font-size: inherit;
Jonathan Frederic
Review #2
r16970 @modal-inner-padding: 15px;
Jonathan Frederic
Review comments
r16957
// Disable modal slide-in from top animation.
.modal {
&.fade .modal-dialog {
.translate(0, 0);
}
}
// Set the default code color.
Paul Ivanov
don't color code in crimson...
r15841 code {
color: @black; // default code color in bootstrap is #d14 (crimson / amaranth)
}
Jonathan Frederic
Review comments
r16957 // Override bootstrap pre element styling.
MinRK
cleanup some `pre` css inheritance...
r16205 pre {
// bootstrap has pre defaults that we don't want to inherit.
// start pre tag defaults based on the surrounding context instead.
font-size: inherit;
line-height: inherit;
}
Jonathan Frederic
Review comments
r16957 // Disable bold labels in BS3
label {
font-weight: normal;
}
Brian E. Granger
Adding files that I mised in the last commit.
r10713 // Our own global variables for all pages go here