<commit_before>/*!
* Jenkins Design Language CSS Theme
*
* Licensed under MIT
*/
//
// Load core variables and mixins
// --------------------------------------------------
@import "variables.less";
@import "mixins.less";
@import "icons.less";
@import "components.less";

//
// Base font stuffs
// --------------------------------------------------

html {
    font-size: 62.5%; // Make 1rem == 10px
}

#root {
    font-size: 1.4rem;
}

body {
    text-rendering: optimizeSpeed;
    font-feature-settings: "kern" on, "liga" off;
    -moz-font-feature-settings: "kern" on, "liga" off;
    //TODO: Do we really want this for everything? -webkit-font-smoothing: antialiased;
}

//
// Some basics
// --------------------------------------------------

* {
    box-sizing: border-box;
}

// Default All headings to basically "bold and display:block"
h1, h2, h3, h4, h5 h6 {
    font-size: 100%;
    margin: 0;
    padding: 0;
}

// Make h1 slightly bigger :)
h1 {
    font-size: 1.8rem;
    font-family: @font-family-nav;
    letter-spacing: 1.1px;
}

main {
    color: @text-color;
}

.label-danger {
    background-color: @brand-danger;
}

.label-warning {
    background-color: @brand-warning;
}

.label-info {
    background-color: @brand-info;
}

.label-success {
    background-color: @brand-success;
}

.label-primary {
    background-color: @brand-primary;
}

.btn-link {
    color: @link-color;
}

a {
    text-decoration: none;
}

.list-group-item.active > .badge,
.nav-pills > .active > a > .badge,
a {
    color: @link-color;
}

.list-group-item.active .list-group-item-text,
.list-group-item.active:focus .list-group-item-text,
.list-group-item.active:hover .list-group-item-text {
    color: white;
}

a:hover {
    color: @link-hover-color;
    text-decoration: @link-hover-decoration;
}

.nav-pills > li.active > a,
.nav-pills > li.active > a:focus {
    background-color: @link-color;
}

.nav-pills > li.active > a:hover {
    background-color: @link-hover-color;
}

.progress-bar {
    background-color: @progress-bar-bg;
}

body {
    font-family: @font-family-base;
    background-color: @body-bg;
}

code, pre, kbd {
    font-family: @font-family-monospace;
}

//
// Buttons
// --------------------------------------------------

// Mixin for generating btn styles
.btn-styles(@btn-color; @btn-border; @btn-text) {

    display:inline-block;
    padding:0.5rem 1rem;
    font-family: @font-family-btn;

    border: solid 1px  @btn-border;
    border-radius:3px;

    text-decoration: none;

    background-color: @btn-color;
    color: @btn-text;

    &:hover,
    &:focus,
    &:active,
    &.active {
        background-color: @btn-color;
        border-color: darken(@btn-border, 12%);
        color: @btn-text;
        text-decoration:none;
    }

    &.disabled,
    &[disabled],
    fieldset[disabled] & {
        &,
        &:hover,
        &:focus,
        &.focus,
        &:active,
        &.active {
            background-color: darken(@btn-color, 12%);
        }
    }
}

// Apply the mixin to the buttons
.btn-default, .btn, button {
    .btn-styles(@btn-default-bg, @btn-default-border, @btn-default-color);
}

.btn-primary {
    .btn-styles(@btn-primary-bg, @btn-primary-border, @btn-primary-color);
}

.btn-inverse {
    .btn-styles(transparent, white, white);
}

.btn-success {
    .btn-styles(@btn-success-bg, @btn-success-border, @btn-success-color);
}

.btn-info {
    .btn-styles(@btn-info-bg, @btn-info-border, @btn-info-color);
}

.btn-warning {
    .btn-styles(@btn-warning-bg, @btn-warning-border, @btn-warning-color);
}

.btn-danger {
    .btn-styles(@btn-danger-bg, @btn-danger-border, @btn-danger-color);
}

.btn-ghost {
    .btn-styles(@btn-ghost-bg, @btn-ghost-border, @btn-ghost-color);
}

//
// Images
// --------------------------------------------------

.thumbnail,
.img-thumbnail {
    .box-shadow(0 1px 2px rgba(0, 0, 0, .075));
}

//
// Dropdowns
// --------------------------------------------------

.dropdown-menu > li > a:hover,
.dropdown-menu > li > a:focus {
    #gradient > .vertical(@start-color: @dropdown-link-hover-bg; @end-color: darken(@dropdown-link-hover-bg, 5%));
    background-color: darken(@dropdown-link-hover-bg, 5%);
}

.dropdown-menu > .active > a,
.dropdown-menu > .active > a:hover,
.dropdown-menu > .active > a:focus {
    #gradient > .vertical(@start-color: @dropdown-link-active-bg; @end-color: darken(@dropdown-link-active-bg, 5%));
    background-color: darken(@dropdown-link-active-bg, 5%);
}

// Fix active state of dropdown items in collapsed mode
@media (max-width: @grid-float-breakpoint-max) {
    .navbar .navbar-nav .open .dropdown-menu > .active > a {
        &,
        &:hover,
        &:focus {
            color: #fff;
            #gradient > .vertical(@start-color: @dropdown-link-active-bg; @end-color: darken(@dropdown-link-active-bg, 5%));
        }
    }
}

//
// Alerts
// --------------------------------------------------

// Common styles
.alert {
    border: none;
}

// Mixin for generating new styles
.alert-styles(@color; @text-color; @border-color) {
    background-color: @color;
    color: @text-color;
    border-radius: 3px;
}

// Apply the mixin to the alerts
.alert-success {
    .alert-styles(@alert-success-bg, @alert-success-text, @alert-success-border);
}

.alert-info {
    .alert-styles(@alert-info-bg, @alert-info-text, @alert-info-border);
}

.alert-warning {
    .alert-styles(@alert-warning-bg, @alert-warning-text, @alert-warning-border);
}

.alert-danger {
    .alert-styles(@alert-danger-bg, @alert-danger-text, @alert-danger-border);
}

//
// Progress bars
// --------------------------------------------------

// Give the progress background some depth
.progress {
    #gradient > .vertical(@start-color: darken(@progress-bg, 4%); @end-color: @progress-bg)
}

// Mixin for generating new styles
.progress-bar-styles(@color) {
    #gradient > .vertical(@start-color: @color; @end-color: darken(@color, 10%));
}

// Apply the mixin to the progress bars
.progress-bar {
    .progress-bar-styles(@progress-bar-bg);
}

.progress-bar-success {
    .progress-bar-styles(@progress-bar-success-bg);
}

.progress-bar-info {
    .progress-bar-styles(@progress-bar-info-bg);
}

.progress-bar-warning {
    .progress-bar-styles(@progress-bar-warning-bg);
}

.progress-bar-danger {
    .progress-bar-styles(@progress-bar-danger-bg);
}

// Reset the striped class because our mixins don't do multiple gradients and
// the above custom styles override the new `.progress-bar-striped` in v3.2.0.
.progress-bar-striped {
    #gradient > .striped();
}

//
// List groups
// --------------------------------------------------

.list-group {
    border-radius: @border-radius-base;
    .box-shadow(0 1px 2px rgba(0, 0, 0, .075));
}

.list-group-item.active,
.list-group-item.active:hover,
.list-group-item.active:focus {
    text-shadow: 0 -1px 0 darken(@list-group-active-bg, 10%);
    #gradient > .vertical(@start-color: @list-group-active-bg; @end-color: darken(@list-group-active-bg, 7.5%));
    border-color: darken(@list-group-active-border, 7.5%);

    .badge {
        text-shadow: none;
    }
}

//
// Panels
// --------------------------------------------------

// Common styles
.panel {
    .box-shadow(0 1px 2px rgba(0, 0, 0, .05));
}

// Mixin for generating new styles
.panel-heading-styles(@color) {
    background-color: @color;
    #gradient > .vertical(@start-color: @color; @end-color: darken(@color, 5%));
    color: white;
    border: inherit;
}

// Apply the mixin to the panel headings only
.panel-default > .panel-heading {
    .panel-heading-styles(@panel-default-heading-bg);
}

.panel-primary > .panel-heading {
    .panel-heading-styles(@panel-primary-heading-bg);
}

.panel-success > .panel-heading {
    .panel-heading-styles(@panel-success-heading-bg);
}

.panel-info > .panel-heading {
    .panel-heading-styles(@panel-info-heading-bg);
}

.panel-warning > .panel-heading {
    .panel-heading-styles(@panel-warning-heading-bg);
}

.panel-danger > .panel-heading {
    .panel-heading-styles(@panel-danger-heading-bg);
}

// Fix all the hardcoded borders set in bootstrap.css
.panel-default {
    border-color: @panel-default-border;
}

.panel-primary {
    border-color: @panel-primary-border;
}

.panel-success {
    border-color: @panel-success-border;
}

.panel-info {
    border-color: @panel-info-border;
}

.panel-warning {
    border-color: @panel-warning-border;
}

.panel-danger {
    border-color: @panel-danger-border;
}

//
// Wells
// --------------------------------------------------

.well {
    #gradient > .vertical(@start-color: darken(@well-bg, 5%); @end-color: @well-bg);
    border-color: darken(@well-bg, 10%);
    @shadow: inset 0 1px 3px rgba(0, 0, 0, .05), 0 1px 0 rgba(255, 255, 255, .1);
    .box-shadow(@shadow);
}

//
// Tables
// --------------------------------------------------

table {
    color: @gray-light;
    width: 100%;

    a {
        color: @gray-light;
    }
}

thead tr:last-child {
    border-bottom: solid 1px;
    th {
        padding-bottom: 1.5rem;
    }
}

tbody tr:first-child td {
    padding-top: 1rem;
}

th {
    font-family: @font-family-headings;
    font-weight: normal;
}

td, th {
    padding: 0.5em 0;
    text-align: left;
}

th:first-child,
td:first-child {
    padding-left: 1em;
}

//
// Code / Logs
// --------------------------------------------------

code {
    font-family: @font-family-monospace;
    width: 100%;
    min-height: 12px;
    white-space: normal;
    border: 1px solid @pre-border-color;
    border-radius: 4px;
    position: relative;
    counter-reset: line-numbering;
    overflow-x: auto;
    font-size: 1.1rem;
}
code p:hover{
    background-color: @pre-color-hover;
}
code p {
  margin: 0;
}
code p::nth-line {
  color: yellow !important;
}
code a {
    margin: 0;
    padding: 0 15px 0 20px;
    word-wrap:break-word;
    display: inline;
    color: @pre-color;
}
code a:hover {
    color: @pre-color;
    text-decoration: none;
}

code p a::before {
    opacity: 0.4;
    content: counter(line-numbering);
    counter-increment: line-numbering;
    float: left;
    min-width: 20px;
    white-space: nowrap;
    padding-right: 1em;
    padding-left:10px;
    text-align: right;
}

code.block {
    background-color: @pre-bg;
    color: @pre-color;
    display: block;
    padding: 0.5rem;
    white-space: pre;
    //max-height: @pre-scrollable-max-height;
    border: solid 1px darken(@pre-bg, 20%);;
}

code.inline {
    display: inline-block;
    padding: inherit;
    white-space: pre-wrap;
}

code.hash {
    border: none;
}

//
// Mono Icons
// --------------------------------------------------

.material-icons {
    color: @brand-primary;
}

.material-icons.selected {
    color: @brand-warning;
}

//
// Layout elements
// --------------------------------------------------

.content-width {
    min-width: 70rem;
    margin-left: 100px;
    margin-right: 100px;

    @media screen and (max-width: 1000px) {
        width: 80%;
        margin-left: auto;
        margin-right: auto;
    }
}

.global-header {
    font-size: 1.8rem;
    background-color: @header-bg;
    color: white;
}

.global-header a {
    color: white;
}

.global-header nav {
    text-align: center;
    padding: 1.5rem 0;
}

.global-header nav a {
    color: white;
    font-weight: normal;
    text-decoration: none;
    display: inline-block;
    padding: 0.5rem 2rem;
    font-family: @font-family-nav;
    letter-spacing: 1.12px;
}

.global-header a:hover {
    color: black;
}

.sub-header {
    background-color: @sub-header-bg;
    color: @text-color;
    padding: 0;
}

.sub-header nav.page-title {
    .content-width;
    color: white;
    display: flex;
    height: 6rem;
    align-items: center;

    // Put some spacing between children
    > * {
        margin-right: 1rem;

        &:last-child {
            margin-right: 0;
        }
    }
}

.sub-header nav.page-tabs {
    .content-width;
}

.page-tabs a {
    color: white;
    display: inline-block;
    min-width: 133px;
    padding: 1rem 1rem 0;
    height: 40px;
    font-family: @font-family-nav;
    text-align: center;
    text-decoration: none;

    // For transforming underline
    position: relative;
    overflow: hidden;
    transform: translateZ(0);
    margin-bottom: -3px;
}

.page-tabs a:before {
    // For transforming underline
    content: "";
    position: absolute;
    z-index: -1;
    left: 0;
    right: 0;
    bottom: 0;
    background: white;
    height: 3px;
    transition-timing-function: ease-out;
    transition-duration: 0.2s;
    transform: translateY(3px);
    transition-property: transform;
}

.page-tabs a.selected:before,
.page-tabs:hover a.selected:hover:before,
.page-tabs a:hover:before {
    // For transforming underline
    transform: translateY(0);
}

.page-tabs:hover a.selected:before {
    // For transforming underline
    transform: translateY(3px);
}

main article {
    .content-width;
    padding: 4rem 0 1rem 0;
}

.container-fluid {
    padding: 0;
}

footer {
    text-align: center;
    margin: 1em;
}

// Modal css
.overlayStyles {
    position: fixed;
    display: block;
    top: 0;
    left: 0;
    width: 100%;
    height: 100%;
    zIndex: 99;
    background-color: rgba(0,0,0,0.3);
}

.dialog {
    width: 100%;
    display: block;
    height: 100%;
    position: fixed;
    top: 0;
    left: 0;
    background-color: #fff;
    border-radius: 2px;
    z-index: 100;
    box-shadow: 0 0 4px rgba(0,0,0,.14),0 4px 8px rgba(0,0,0,.28);
}

.dialog .header {
    padding: 25px 20px 25px 50px;
    color: #ffffff;
    font-weight: normal;
    line-height: 20px;
    overflow-y: auto;
    max-height: 20%;
    min-height: 5%;
}
.dialog section h4 {
    padding-bottom: 5px;
}

.dialog section .times span {
  vertical-align: top;
}

.dialog section .times svg{
    padding-right: 25px;
}

.dialog section.left svg{
    padding-right: 20px;
    padding-left: 20px;
    margin-top: -20px;
}

.dialog .result {
    width: 100%;
    margin: 20px auto;
    font-family: @font-family-panel;
    color: #ffffff;
}

.dialog .result .row {
    display: flex;
    flex-direction: row;
    flex-wrap: wrap;
}

.dialog .result .times {
    margin-left: auto;
    width: 25%;
}

.dialog .result .commons {
    min-width: 0;
    flex-basis: 75%;
}

.dialog .result .commons div {
    text-overflow: ellipsis;
    overflow: hidden;
    white-space: nowrap;
}

.dialog .result .value {
    font-family: @font-family-monospace;
}

.dialog .header.info{
    background-color: @header-bg;
}

.dialog .header.success{
    padding: 0;
    background-color: @brand-success;
}

.dialog .header.failure{
    padding: 0;
    background-color: @brand-danger;
}

.dialog .content {
    background-color: @modal-content-bg;
    color: #000;
    overflow-y: auto;
    max-height: 90%;
    min-height: 75%;
    padding: 25px 20px 25px 50px;
}

.header .title {
    margin-top: 0
}

.header .closeButton {
    cursor: pointer;
    position: absolute;
    font-size: 3em;
    color: #ffffff;
    right: 10px;
    top: 10px
}
.spin {
    -webkit-animation-name: spin;
    -webkit-animation-duration: 4000ms;
    -webkit-animation-iteration-count: infinite;
    -webkit-animation-timing-function: linear;
    -moz-animation-name: spin;
    -moz-animation-duration: 4000ms;
    -moz-animation-iteration-count: infinite;
    -moz-animation-timing-function: linear;
    -ms-animation-name: spin;
    -ms-animation-duration: 4000ms;
    -ms-animation-iteration-count: infinite;
    -ms-animation-timing-function: linear;

    animation-name: spin;
    animation-duration: 4000ms;
    animation-iteration-count: infinite;
    animation-timing-function: linear;
}
@-ms-keyframes spin {
    from { -ms-transform: rotate(0deg); }
    to { -ms-transform: rotate(360deg); }
}
@-moz-keyframes spin {
    from { -moz-transform: rotate(0deg); }
    to { -moz-transform: rotate(360deg); }
}
@-webkit-keyframes spin {
    from { -webkit-transform: rotate(0deg); }
    to { -webkit-transform: rotate(360deg); }
}
@keyframes spin {
    from { transform:rotate(0deg); }
    to { transform:rotate(360deg); }
}
circle.success {
    fill: @brand-success;
}
circle.failure {
    fill: @brand-danger;
}
.left {
    float: left;
}
.right {
    float: right;
}
<commit_msg>UX-261: use letter-spacing 1.1px for all global/subheader children<commit_after>/*!
* Jenkins Design Language CSS Theme
*
* Licensed under MIT
*/
//
// Load core variables and mixins
// --------------------------------------------------
@import "variables.less";
@import "mixins.less";
@import "icons.less";
@import "components.less";

//
// Base font stuffs
// --------------------------------------------------

html {
    font-size: 62.5%; // Make 1rem == 10px
}

#root {
    font-size: 1.4rem;
}

body {
    text-rendering: optimizeSpeed;
    font-feature-settings: "kern" on, "liga" off;
    -moz-font-feature-settings: "kern" on, "liga" off;
    //TODO: Do we really want this for everything? -webkit-font-smoothing: antialiased;
}

//
// Some basics
// --------------------------------------------------

* {
    box-sizing: border-box;
}

// Default All headings to basically "bold and display:block"
h1, h2, h3, h4, h5 h6 {
    font-size: 100%;
    margin: 0;
    padding: 0;
}

// Make h1 slightly bigger :)
h1 {
    font-size: 1.8rem;
    font-family: @font-family-nav;
    letter-spacing: 1.1px;
}

main {
    color: @text-color;
}

.label-danger {
    background-color: @brand-danger;
}

.label-warning {
    background-color: @brand-warning;
}

.label-info {
    background-color: @brand-info;
}

.label-success {
    background-color: @brand-success;
}

.label-primary {
    background-color: @brand-primary;
}

.btn-link {
    color: @link-color;
}

a {
    text-decoration: none;
}

.list-group-item.active > .badge,
.nav-pills > .active > a > .badge,
a {
    color: @link-color;
}

.list-group-item.active .list-group-item-text,
.list-group-item.active:focus .list-group-item-text,
.list-group-item.active:hover .list-group-item-text {
    color: white;
}

a:hover {
    color: @link-hover-color;
    text-decoration: @link-hover-decoration;
}

.nav-pills > li.active > a,
.nav-pills > li.active > a:focus {
    background-color: @link-color;
}

.nav-pills > li.active > a:hover {
    background-color: @link-hover-color;
}

.progress-bar {
    background-color: @progress-bar-bg;
}

body {
    font-family: @font-family-base;
    background-color: @body-bg;
}

code, pre, kbd {
    font-family: @font-family-monospace;
}

//
// Buttons
// --------------------------------------------------

// Mixin for generating btn styles
.btn-styles(@btn-color; @btn-border; @btn-text) {

    display:inline-block;
    padding:0.5rem 1rem;
    font-family: @font-family-btn;

    border: solid 1px  @btn-border;
    border-radius:3px;

    text-decoration: none;

    background-color: @btn-color;
    color: @btn-text;

    &:hover,
    &:focus,
    &:active,
    &.active {
        background-color: @btn-color;
        border-color: darken(@btn-border, 12%);
        color: @btn-text;
        text-decoration:none;
    }

    &.disabled,
    &[disabled],
    fieldset[disabled] & {
        &,
        &:hover,
        &:focus,
        &.focus,
        &:active,
        &.active {
            background-color: darken(@btn-color, 12%);
        }
    }
}

// Apply the mixin to the buttons
.btn-default, .btn, button {
    .btn-styles(@btn-default-bg, @btn-default-border, @btn-default-color);
}

.btn-primary {
    .btn-styles(@btn-primary-bg, @btn-primary-border, @btn-primary-color);
}

.btn-inverse {
    .btn-styles(transparent, white, white);
}

.btn-success {
    .btn-styles(@btn-success-bg, @btn-success-border, @btn-success-color);
}

.btn-info {
    .btn-styles(@btn-info-bg, @btn-info-border, @btn-info-color);
}

.btn-warning {
    .btn-styles(@btn-warning-bg, @btn-warning-border, @btn-warning-color);
}

.btn-danger {
    .btn-styles(@btn-danger-bg, @btn-danger-border, @btn-danger-color);
}

.btn-ghost {
    .btn-styles(@btn-ghost-bg, @btn-ghost-border, @btn-ghost-color);
}

//
// Images
// --------------------------------------------------

.thumbnail,
.img-thumbnail {
    .box-shadow(0 1px 2px rgba(0, 0, 0, .075));
}

//
// Dropdowns
// --------------------------------------------------

.dropdown-menu > li > a:hover,
.dropdown-menu > li > a:focus {
    #gradient > .vertical(@start-color: @dropdown-link-hover-bg; @end-color: darken(@dropdown-link-hover-bg, 5%));
    background-color: darken(@dropdown-link-hover-bg, 5%);
}

.dropdown-menu > .active > a,
.dropdown-menu > .active > a:hover,
.dropdown-menu > .active > a:focus {
    #gradient > .vertical(@start-color: @dropdown-link-active-bg; @end-color: darken(@dropdown-link-active-bg, 5%));
    background-color: darken(@dropdown-link-active-bg, 5%);
}

// Fix active state of dropdown items in collapsed mode
@media (max-width: @grid-float-breakpoint-max) {
    .navbar .navbar-nav .open .dropdown-menu > .active > a {
        &,
        &:hover,
        &:focus {
            color: #fff;
            #gradient > .vertical(@start-color: @dropdown-link-active-bg; @end-color: darken(@dropdown-link-active-bg, 5%));
        }
    }
}

//
// Alerts
// --------------------------------------------------

// Common styles
.alert {
    border: none;
}

// Mixin for generating new styles
.alert-styles(@color; @text-color; @border-color) {
    background-color: @color;
    color: @text-color;
    border-radius: 3px;
}

// Apply the mixin to the alerts
.alert-success {
    .alert-styles(@alert-success-bg, @alert-success-text, @alert-success-border);
}

.alert-info {
    .alert-styles(@alert-info-bg, @alert-info-text, @alert-info-border);
}

.alert-warning {
    .alert-styles(@alert-warning-bg, @alert-warning-text, @alert-warning-border);
}

.alert-danger {
    .alert-styles(@alert-danger-bg, @alert-danger-text, @alert-danger-border);
}

//
// Progress bars
// --------------------------------------------------

// Give the progress background some depth
.progress {
    #gradient > .vertical(@start-color: darken(@progress-bg, 4%); @end-color: @progress-bg)
}

// Mixin for generating new styles
.progress-bar-styles(@color) {
    #gradient > .vertical(@start-color: @color; @end-color: darken(@color, 10%));
}

// Apply the mixin to the progress bars
.progress-bar {
    .progress-bar-styles(@progress-bar-bg);
}

.progress-bar-success {
    .progress-bar-styles(@progress-bar-success-bg);
}

.progress-bar-info {
    .progress-bar-styles(@progress-bar-info-bg);
}

.progress-bar-warning {
    .progress-bar-styles(@progress-bar-warning-bg);
}

.progress-bar-danger {
    .progress-bar-styles(@progress-bar-danger-bg);
}

// Reset the striped class because our mixins don't do multiple gradients and
// the above custom styles override the new `.progress-bar-striped` in v3.2.0.
.progress-bar-striped {
    #gradient > .striped();
}

//
// List groups
// --------------------------------------------------

.list-group {
    border-radius: @border-radius-base;
    .box-shadow(0 1px 2px rgba(0, 0, 0, .075));
}

.list-group-item.active,
.list-group-item.active:hover,
.list-group-item.active:focus {
    text-shadow: 0 -1px 0 darken(@list-group-active-bg, 10%);
    #gradient > .vertical(@start-color: @list-group-active-bg; @end-color: darken(@list-group-active-bg, 7.5%));
    border-color: darken(@list-group-active-border, 7.5%);

    .badge {
        text-shadow: none;
    }
}

//
// Panels
// --------------------------------------------------

// Common styles
.panel {
    .box-shadow(0 1px 2px rgba(0, 0, 0, .05));
}

// Mixin for generating new styles
.panel-heading-styles(@color) {
    background-color: @color;
    #gradient > .vertical(@start-color: @color; @end-color: darken(@color, 5%));
    color: white;
    border: inherit;
}

// Apply the mixin to the panel headings only
.panel-default > .panel-heading {
    .panel-heading-styles(@panel-default-heading-bg);
}

.panel-primary > .panel-heading {
    .panel-heading-styles(@panel-primary-heading-bg);
}

.panel-success > .panel-heading {
    .panel-heading-styles(@panel-success-heading-bg);
}

.panel-info > .panel-heading {
    .panel-heading-styles(@panel-info-heading-bg);
}

.panel-warning > .panel-heading {
    .panel-heading-styles(@panel-warning-heading-bg);
}

.panel-danger > .panel-heading {
    .panel-heading-styles(@panel-danger-heading-bg);
}

// Fix all the hardcoded borders set in bootstrap.css
.panel-default {
    border-color: @panel-default-border;
}

.panel-primary {
    border-color: @panel-primary-border;
}

.panel-success {
    border-color: @panel-success-border;
}

.panel-info {
    border-color: @panel-info-border;
}

.panel-warning {
    border-color: @panel-warning-border;
}

.panel-danger {
    border-color: @panel-danger-border;
}

//
// Wells
// --------------------------------------------------

.well {
    #gradient > .vertical(@start-color: darken(@well-bg, 5%); @end-color: @well-bg);
    border-color: darken(@well-bg, 10%);
    @shadow: inset 0 1px 3px rgba(0, 0, 0, .05), 0 1px 0 rgba(255, 255, 255, .1);
    .box-shadow(@shadow);
}

//
// Tables
// --------------------------------------------------

table {
    color: @gray-light;
    width: 100%;

    a {
        color: @gray-light;
    }
}

thead tr:last-child {
    border-bottom: solid 1px;
    th {
        padding-bottom: 1.5rem;
    }
}

tbody tr:first-child td {
    padding-top: 1rem;
}

th {
    font-family: @font-family-headings;
    font-weight: normal;
}

td, th {
    padding: 0.5em 0;
    text-align: left;
}

th:first-child,
td:first-child {
    padding-left: 1em;
}

//
// Code / Logs
// --------------------------------------------------

code {
    font-family: @font-family-monospace;
    width: 100%;
    min-height: 12px;
    white-space: normal;
    border: 1px solid @pre-border-color;
    border-radius: 4px;
    position: relative;
    counter-reset: line-numbering;
    overflow-x: auto;
    font-size: 1.1rem;
}
code p:hover{
    background-color: @pre-color-hover;
}
code p {
  margin: 0;
}
code p::nth-line {
  color: yellow !important;
}
code a {
    margin: 0;
    padding: 0 15px 0 20px;
    word-wrap:break-word;
    display: inline;
    color: @pre-color;
}
code a:hover {
    color: @pre-color;
    text-decoration: none;
}

code p a::before {
    opacity: 0.4;
    content: counter(line-numbering);
    counter-increment: line-numbering;
    float: left;
    min-width: 20px;
    white-space: nowrap;
    padding-right: 1em;
    padding-left:10px;
    text-align: right;
}

code.block {
    background-color: @pre-bg;
    color: @pre-color;
    display: block;
    padding: 0.5rem;
    white-space: pre;
    //max-height: @pre-scrollable-max-height;
    border: solid 1px darken(@pre-bg, 20%);;
}

code.inline {
    display: inline-block;
    padding: inherit;
    white-space: pre-wrap;
}

code.hash {
    border: none;
}

//
// Mono Icons
// --------------------------------------------------

.material-icons {
    color: @brand-primary;
}

.material-icons.selected {
    color: @brand-warning;
}

//
// Layout elements
// --------------------------------------------------

.content-width {
    min-width: 70rem;
    margin-left: 100px;
    margin-right: 100px;

    @media screen and (max-width: 1000px) {
        width: 80%;
        margin-left: auto;
        margin-right: auto;
    }
}

.global-header {
    font-size: 1.8rem;
    letter-spacing: 1.1px;
    background-color: @header-bg;
    color: white;
}

.global-header a {
    color: white;
}

.global-header nav {
    text-align: center;
    padding: 1.5rem 0;
}

.global-header nav a {
    color: white;
    font-weight: normal;
    text-decoration: none;
    display: inline-block;
    padding: 0.5rem 2rem;
    font-family: @font-family-nav;
}

.global-header a:hover {
    color: black;
}

.sub-header {
    background-color: @sub-header-bg;
    color: @text-color;
    padding: 0;
    letter-spacing: 1.1px;
}

.sub-header nav.page-title {
    .content-width;
    color: white;
    display: flex;
    height: 6rem;
    align-items: center;

    // Put some spacing between children
    > * {
        margin-right: 1rem;

        &:last-child {
            margin-right: 0;
        }
    }
}

.sub-header nav.page-tabs {
    .content-width;
}

.page-tabs a {
    color: white;
    display: inline-block;
    min-width: 133px;
    padding: 1rem 1rem 0;
    height: 40px;
    font-family: @font-family-nav;
    text-align: center;
    text-decoration: none;

    // For transforming underline
    position: relative;
    overflow: hidden;
    transform: translateZ(0);
    margin-bottom: -3px;
}

.page-tabs a:before {
    // For transforming underline
    content: "";
    position: absolute;
    z-index: -1;
    left: 0;
    right: 0;
    bottom: 0;
    background: white;
    height: 3px;
    transition-timing-function: ease-out;
    transition-duration: 0.2s;
    transform: translateY(3px);
    transition-property: transform;
}

.page-tabs a.selected:before,
.page-tabs:hover a.selected:hover:before,
.page-tabs a:hover:before {
    // For transforming underline
    transform: translateY(0);
}

.page-tabs:hover a.selected:before {
    // For transforming underline
    transform: translateY(3px);
}

main article {
    .content-width;
    padding: 4rem 0 1rem 0;
}

.container-fluid {
    padding: 0;
}

footer {
    text-align: center;
    margin: 1em;
}

// Modal css
.overlayStyles {
    position: fixed;
    display: block;
    top: 0;
    left: 0;
    width: 100%;
    height: 100%;
    zIndex: 99;
    background-color: rgba(0,0,0,0.3);
}

.dialog {
    width: 100%;
    display: block;
    height: 100%;
    position: fixed;
    top: 0;
    left: 0;
    background-color: #fff;
    border-radius: 2px;
    z-index: 100;
    box-shadow: 0 0 4px rgba(0,0,0,.14),0 4px 8px rgba(0,0,0,.28);
}

.dialog .header {
    padding: 25px 20px 25px 50px;
    color: #ffffff;
    font-weight: normal;
    line-height: 20px;
    overflow-y: auto;
    max-height: 20%;
    min-height: 5%;
}
.dialog section h4 {
    padding-bottom: 5px;
}

.dialog section .times span {
  vertical-align: top;
}

.dialog section .times svg{
    padding-right: 25px;
}

.dialog section.left svg{
    padding-right: 20px;
    padding-left: 20px;
    margin-top: -20px;
}

.dialog .result {
    width: 100%;
    margin: 20px auto;
    font-family: @font-family-panel;
    color: #ffffff;
}

.dialog .result .row {
    display: flex;
    flex-direction: row;
    flex-wrap: wrap;
}

.dialog .result .times {
    margin-left: auto;
    width: 25%;
}

.dialog .result .commons {
    min-width: 0;
    flex-basis: 75%;
}

.dialog .result .commons div {
    text-overflow: ellipsis;
    overflow: hidden;
    white-space: nowrap;
}

.dialog .result .value {
    font-family: @font-family-monospace;
}

.dialog .header.info{
    background-color: @header-bg;
}

.dialog .header.success{
    padding: 0;
    background-color: @brand-success;
}

.dialog .header.failure{
    padding: 0;
    background-color: @brand-danger;
}

.dialog .content {
    background-color: @modal-content-bg;
    color: #000;
    overflow-y: auto;
    max-height: 90%;
    min-height: 75%;
    padding: 25px 20px 25px 50px;
}

.header .title {
    margin-top: 0
}

.header .closeButton {
    cursor: pointer;
    position: absolute;
    font-size: 3em;
    color: #ffffff;
    right: 10px;
    top: 10px
}
.spin {
    -webkit-animation-name: spin;
    -webkit-animation-duration: 4000ms;
    -webkit-animation-iteration-count: infinite;
    -webkit-animation-timing-function: linear;
    -moz-animation-name: spin;
    -moz-animation-duration: 4000ms;
    -moz-animation-iteration-count: infinite;
    -moz-animation-timing-function: linear;
    -ms-animation-name: spin;
    -ms-animation-duration: 4000ms;
    -ms-animation-iteration-count: infinite;
    -ms-animation-timing-function: linear;

    animation-name: spin;
    animation-duration: 4000ms;
    animation-iteration-count: infinite;
    animation-timing-function: linear;
}
@-ms-keyframes spin {
    from { -ms-transform: rotate(0deg); }
    to { -ms-transform: rotate(360deg); }
}
@-moz-keyframes spin {
    from { -moz-transform: rotate(0deg); }
    to { -moz-transform: rotate(360deg); }
}
@-webkit-keyframes spin {
    from { -webkit-transform: rotate(0deg); }
    to { -webkit-transform: rotate(360deg); }
}
@keyframes spin {
    from { transform:rotate(0deg); }
    to { transform:rotate(360deg); }
}
circle.success {
    fill: @brand-success;
}
circle.failure {
    fill: @brand-danger;
}
.left {
    float: left;
}
.right {
    float: right;
}

{'fraction_non_alphanumeric': 0.20242877733141157, 'fraction_numerical': 0.020546474899567603, 'mean_word_length': 2.2325535289452816, 'pattern_counts': {'":': 0, '<': 3, '<?xml version=': 0, '>': 79, 'https://': 0, 'lorem ipsum': 0, 'www.': 0, 'xml': 0}, 'pii_count': 0, 'substrings_counts': 0, 'word_list_counts': {'cursed_substrings.json': 0, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
{'dir': 'git-commits-cleaned', 'id': '4774842', 'n_tokens_mistral': 12117, 'n_tokens_neox': 11363, 'n_words': 2367}