// 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: 36px;
@breadcrumb-color: darken(@border_color, 30%);
@blockquote-font-size: inherit;
@modal-inner-padding: 15px;
@grid-float-breakpoint: 540px;

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

