$text-color: $gl-text-color; $brand-primary: $blue-500; $brand-success: $green-500; $brand-info: $blue-500; $brand-warning: $orange-500; $brand-danger: $red-500; $border-radius-base: 3px !default; $modal-body-bg: $white-light; $input-border: $border-color; $padding-base-vertical: $gl-vert-padding; $padding-base-horizontal: $gl-padding; /* * Scss to help with bootstrap 3 to 4 migration */ body, .form-control, .search form { // Override default font size used in non-csslab UI // Use rem to keep default font-size at 14px on body so 1rem still // fits 8px grid, but also allow users to change browser font size font-size: .875rem; } legend { border-bottom: 1px solid $border-color; margin-bottom: 20px; } button, html [type="button"], [type="reset"], [type="submit"], [role="button"] { // Override bootstrap reboot -webkit-appearance: inherit; cursor: pointer; } h1, h2, h3, h4, h5, h6 { color: $gl-text-color; font-weight: 600; } h1, .h1, h2, .h2, h3, .h3 { margin-top: 20px; margin-bottom: 10px; } h4, .h4, h5, .h5, h6, .h6 { margin-top: 10px; margin-bottom: 10px; } /* Our adjustments to hx & .hx above add unnecessary margins to modal-title and page-title in modals, so we set them to 0 in order to have properly formatted modal headers. */ .modal-header { .modal-title, .page-title { margin-top: 0; margin-bottom: 0; } } h5, .h5 { font-size: $gl-font-size; } input[type="file"] { // Bootstrap 4 file input height is taller by default // which makes them look ugly line-height: 1; } b, strong { font-weight: bold; } a { color: $blue-600; } hr { overflow: hidden; } .form-group.row .col-form-label { // Bootstrap 4 aligns labels to the left // for horizontal forms @include media-breakpoint-up(md) { text-align: right; } } kbd { display: inline-block; } code { padding: 2px 4px; color: $red-600; background-color: $red-100; border-radius: $border-radius-default; .code > & { background-color: inherit; padding: unset; } .build-trace & { background-color: inherit; padding: inherit; } } table { // Remove any table border lines border-spacing: 0; } .tooltip, .no-pointer-events { // Fix bootstrap4 bug whereby tooltips flicker when they are hovered over their borders pointer-events: none; } @each $breakpoint in map-keys($grid-breakpoints) { @include media-breakpoint-up($breakpoint) { $infix: breakpoint-infix($breakpoint, $grid-breakpoints); .d#{$infix}-table-header-group { display: table-header-group !important; } } } .text-secondary { // Override Bootstrap's light secondary color // We have to use !important because bootstrap has that set as well color: $gl-text-color-secondary !important; } .bg-success, .bg-primary, .bg-info, .bg-danger, .bg-warning { .card-header { color: $white-light; } } // Polyfill deprecated selectors .hidden { display: none !important; visibility: hidden !important; } .hide { display: none; } .dropdown-toggle::after, .dropright .dropdown-menu-toggle::after { // Remove bootstrap's dropdown caret display: none; } h3.popover-header { // Default bootstrap popovers use