##// END OF EJS Templates
Merge pull request #7601 from takluyver/whatsnew-update-kernels-screenshot...
Merge pull request #7601 from takluyver/whatsnew-update-kernels-screenshot Update kernels dropdown screenshot for whatsnew

File last commit:

r19953:21dc9b62
r20190:411d6eac merge
Show More
variables.less
59 lines | 1.6 KiB | text/x-less | LessCssLexer
// Our customizations to bootstrap go here.
@black: #000;
@text-color: @black;
@font-size-base: 13px;
@font-family-monospace: monospace; // to allow user to customize their fonts
@navbar-height: 30px;
@breadcrumb-color: darken(@border_color, 30%);
@blockquote-font-size: inherit;
@modal-inner-padding: 15px;
@grid-float-breakpoint: 541px;
@screen-xs: 540px;
@logo_height: 28px;
@border-radius-small: 1px;
@border-radius-base: 2px;
@border-radius-large: 3px;;
@grid-gutter-width: 0px;
// Disable modal slide-in from top animation.
.modal {
&.fade .modal-dialog {
.translate(0, 0);
}
}
// Set the default code color.
code {
color: @black; // default code color in bootstrap is #d14 (crimson / amaranth)
}
// Override bootstrap pre element styling.
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;
}
// Disable bold labels in BS3
label {
font-weight: normal;
}
// Our own global variables for all pages go here
@global-shadow: 0px 0px 12px 1px rgba(87, 87, 87, 0.2);
@global-shadow-dark: 0px 0px 12px 1px rgba(87, 87, 87, 0.4);
@page-header-padding: 20px;
/* Make the page background atleast 100% the height of the view port */
@page-backdrop-height: 100vh;
/* Make the page itself atleast 70% the height of the view port */
@page-min-height: 0;
@page-backdrop-color: #EEE;
@page-color: @body-bg;
@page-padding: 15px;
// preven container size to jump from 768px to 720px
// when window width go from 768 to 769+
@container-sm : @screen-sm-min;