##// END OF EJS Templates
Path to glyphicon fonts (used by Bootstrap) was incorrect. Fixed paths to coincide with where the appropriate Bootstrap resources are when IPython-components is attached. Useful for those using Bootstrap classes in custom themes.
Path to glyphicon fonts (used by Bootstrap) was incorrect. Fixed paths to coincide with where the appropriate Bootstrap resources are when IPython-components is attached. Useful for those using Bootstrap classes in custom themes.

File last commit:

r19953:21dc9b62
r21063:0f77975f
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;