<commit_before>/************** OVEERIDE BOOTSTRAP *******************/
.popover {
    width: auto;
    khtml-user-select: all;
    -moz-user-select: all;
    -webkit-user-select: all;
    -o-user-select: all;
    user-select: all;
}

/*.navbar-inner {
    padding-left: 20px;
    padding-right: 20px;
}*/

/******************* tooltiplabel - BASED ON TOOLTIP BUT DOES NOT HAVE DIFFERENT Z-INDEX *****************/

.tooltiplabel {
    position: absolute;
    display: block;
    padding: 5px;
    font-size: 11px;
    opacity: 0;
    filter: alpha(opacity=0);
    visibility: visible;
}

.tooltiplabel.in {
    opacity: 0.8;
    filter: alpha(opacity=80);
}

.tooltiplabel.top {
    margin-top: -3px;
}

.tooltiplabel.right {
    margin-left: 3px;
}

.tooltiplabel.bottom {
    margin-top: 3px;
}

.tooltiplabel.left {
    margin-left: -3px;
}

.tooltiplabel-inner {
    max-width: 200px;
    /*padding: 3px 8px;*/
    padding: 0px 5px;
    color: #ffffff;
    text-align: center;
    text-decoration: none;
    background-color: #000000;
    -webkit-border-radius: 4px;
    -moz-border-radius: 4px;
    border-radius: 4px;
}

.tooltiplabel-arrow {
    position: absolute;
    width: 0;
    height: 0;
    border-color: transparent;
    border-style: solid;
}

.tooltiplabel.top .tooltiplabel-arrow {
    bottom: 0;
    left: 50%;
    margin-left: -5px;
    border-top-color: #000000;
    border-width: 5px 5px 0;
}

.tooltiplabel.right .tooltiplabel-arrow {
    top: 50%;
    left: 0;
    margin-top: -5px;
    border-right-color: #000000;
    border-width: 5px 5px 5px 0;
}

.tooltiplabel.left .tooltiplabel-arrow {
    top: 50%;
    right: 0;
    margin-top: -5px;
    border-left-color: #000000;
    border-width: 5px 0 5px 5px;
}

.tooltiplabel.bottom .tooltiplabel-arrow {
    top: 0;
    left: 50%;
    margin-left: -5px;
    border-bottom-color: #000000;
    border-width: 0 5px 5px;
}

/******************* MICRO BUTTON DEFINITION *******************/

.btn-micro {
    padding: 2px 6px;
    font-size: 11px;
    line-height: 9px; /* 17px;*/
}

.nowrap {
    white-space: nowrap;
}

button.btn.btn-micro,
input[type="submit"].btn.btn-micro {
    *padding-top: 1px;
    *padding-bottom: 1px;
}

.btn-group > .btn-micro {
    font-size: 11px;
}

.btn-group > .btn-micro + .dropdown-toggle {
    *padding-top: 2px;
    padding-right: 5px;
    *padding-bottom: 2px;
    padding-left: 5px;
}

.btn-micro .caret {
    margin-top: 3px; /*6px;*/
}

.btn-micro .tooltiplabel,
.btn-micro .badge {
    top: 0;
}

/******************* GRAY BUTTON DEFINITION *******************/
.btn-gray.active
{
    color: rgba(255, 255, 255, 0.75);
}

.btn-gray {
    color: #ffffff;
    text-shadow: 0 -1px 0 rgba(0, 0, 0, 0.25);
    background-color: #919191;
    *background-color: #818181;
    background-image: -webkit-gradient(linear, 0 0, 0 100%, from(#9b9b9b), to(#818181));
    background-image: -webkit-linear-gradient(top, #9b9b9b, #818181);
    background-image: -o-linear-gradient(top, #9b9b9b, #818181);
    background-image: linear-gradient(to bottom, #9b9b9b, #818181);
    background-image: -moz-linear-gradient(top, #9b9b9b, #818181);
    background-repeat: repeat-x;
    border-color: #818181 #818181 #595959;
    border-color: rgba(0, 0, 0, 0.1) rgba(0, 0, 0, 0.1) rgba(0, 0, 0, 0.25);
    filter: progid:dximagetransform.microsoft.gradient(startColorstr='#ff9b9b9b', endColorstr='#ff818181', GradientType=0);
    filter: progid:dximagetransform.microsoft.gradient(enabled=false);
}

.btn-gray:hover,
.btn-gray:active,
.btn-gray.active,
.btn-gray.disabled,
.btn-gray[disabled] {
    color: #ffffff;
    background-color: #818181;
    *background-color: #747474;
}

.btn-gray:active,
.btn-gray.active {
    background-color: #666666 \9;
}

.btn-group.open .btn-gray.dropdown-toggle {
    background-color: #818181;
}

.btn-gray .caret {
    border-top-color: #ffffff;
    border-bottom-color: #ffffff;
}

/**************** additional icons */
.icon-progress {
    background-image: url("../img/progress.gif");
    width: 16px;
    height: 16px;
    margin-top: 0px;
    background-position: 0px 0px;
}
<commit_msg>new class for setting cursor to pointer on element hover<commit_after>/************** OVEERIDE BOOTSTRAP *******************/
.popover {
    width: auto;
    khtml-user-select: all;
    -moz-user-select: all;
    -webkit-user-select: all;
    -o-user-select: all;
    user-select: all;
}

/*.navbar-inner {
    padding-left: 20px;
    padding-right: 20px;
}*/

/******************* tooltiplabel - BASED ON TOOLTIP BUT DOES NOT HAVE DIFFERENT Z-INDEX *****************/

.tooltiplabel {
    position: absolute;
    display: block;
    padding: 5px;
    font-size: 11px;
    opacity: 0;
    filter: alpha(opacity=0);
    visibility: visible;
}

.tooltiplabel.in {
    opacity: 0.8;
    filter: alpha(opacity=80);
}

.tooltiplabel.top {
    margin-top: -3px;
}

.tooltiplabel.right {
    margin-left: 3px;
}

.tooltiplabel.bottom {
    margin-top: 3px;
}

.tooltiplabel.left {
    margin-left: -3px;
}

.tooltiplabel-inner {
    max-width: 200px;
    /*padding: 3px 8px;*/
    padding: 0px 5px;
    color: #ffffff;
    text-align: center;
    text-decoration: none;
    background-color: #000000;
    -webkit-border-radius: 4px;
    -moz-border-radius: 4px;
    border-radius: 4px;
}

.tooltiplabel-arrow {
    position: absolute;
    width: 0;
    height: 0;
    border-color: transparent;
    border-style: solid;
}

.tooltiplabel.top .tooltiplabel-arrow {
    bottom: 0;
    left: 50%;
    margin-left: -5px;
    border-top-color: #000000;
    border-width: 5px 5px 0;
}

.tooltiplabel.right .tooltiplabel-arrow {
    top: 50%;
    left: 0;
    margin-top: -5px;
    border-right-color: #000000;
    border-width: 5px 5px 5px 0;
}

.tooltiplabel.left .tooltiplabel-arrow {
    top: 50%;
    right: 0;
    margin-top: -5px;
    border-left-color: #000000;
    border-width: 5px 0 5px 5px;
}

.tooltiplabel.bottom .tooltiplabel-arrow {
    top: 0;
    left: 50%;
    margin-left: -5px;
    border-bottom-color: #000000;
    border-width: 0 5px 5px;
}

/******************* MICRO BUTTON DEFINITION *******************/

.btn-micro {
    padding: 2px 6px;
    font-size: 11px;
    line-height: 9px; /* 17px;*/
}

.nowrap {
    white-space: nowrap;
}

button.btn.btn-micro,
input[type="submit"].btn.btn-micro {
    *padding-top: 1px;
    *padding-bottom: 1px;
}

.btn-group > .btn-micro {
    font-size: 11px;
}

.btn-group > .btn-micro + .dropdown-toggle {
    *padding-top: 2px;
    padding-right: 5px;
    *padding-bottom: 2px;
    padding-left: 5px;
}

.btn-micro .caret {
    margin-top: 3px; /*6px;*/
}

.btn-micro .tooltiplabel,
.btn-micro .badge {
    top: 0;
}

/******************* GRAY BUTTON DEFINITION *******************/
.btn-gray.active
{
    color: rgba(255, 255, 255, 0.75);
}

.btn-gray {
    color: #ffffff;
    text-shadow: 0 -1px 0 rgba(0, 0, 0, 0.25);
    background-color: #919191;
    *background-color: #818181;
    background-image: -webkit-gradient(linear, 0 0, 0 100%, from(#9b9b9b), to(#818181));
    background-image: -webkit-linear-gradient(top, #9b9b9b, #818181);
    background-image: -o-linear-gradient(top, #9b9b9b, #818181);
    background-image: linear-gradient(to bottom, #9b9b9b, #818181);
    background-image: -moz-linear-gradient(top, #9b9b9b, #818181);
    background-repeat: repeat-x;
    border-color: #818181 #818181 #595959;
    border-color: rgba(0, 0, 0, 0.1) rgba(0, 0, 0, 0.1) rgba(0, 0, 0, 0.25);
    filter: progid:dximagetransform.microsoft.gradient(startColorstr='#ff9b9b9b', endColorstr='#ff818181', GradientType=0);
    filter: progid:dximagetransform.microsoft.gradient(enabled=false);
}

.btn-gray:hover,
.btn-gray:active,
.btn-gray.active,
.btn-gray.disabled,
.btn-gray[disabled] {
    color: #ffffff;
    background-color: #818181;
    *background-color: #747474;
}

.btn-gray:active,
.btn-gray.active {
    background-color: #666666 \9;
}

.btn-group.open .btn-gray.dropdown-toggle {
    background-color: #818181;
}

.btn-gray .caret {
    border-top-color: #ffffff;
    border-bottom-color: #ffffff;
}

/**************** additional icons */
.icon-progress {
    background-image: url("../img/progress.gif");
    width: 16px;
    height: 16px;
    margin-top: 0px;
    background-position: 0px 0px;
}

/************** pointer on hover ******************/
.pointer:hover {
    cursor: pointer;
}

{'fraction_non_alphanumeric': 0.1947198662047545, 'fraction_numerical': 0.06379166168916497, 'mean_word_length': 3.0019120458891013, 'pattern_counts': {'":': 0, '<': 3, '<?xml version=': 0, '>': 7, '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': '5389710', 'n_tokens_mistral': 3700, 'n_tokens_neox': 3235, 'n_words': 647}