<commit_before>body {
    font-family: 'Droid Sans', Helvetica, Arial, sans-serif;
    overflow-y: scroll;
}

textarea, input {
    font-family: 'Droid Sans', Helvetica, Arial, sans-serif;
}


/* Override Bootstrap's fixed sizes for various elements */

textarea, label {
    font-size:   inherit;
    line-height: inherit;
}

/* List of text-like input types taken from Bootstrap */
input[type="text"],
input[type="password"],
input[type="datetime"],
input[type="datetime-local"],
input[type="date"],
input[type="month"],
input[type="time"],
input[type="week"],
input[type="number"],
input[type="email"],
input[type="url"],
input[type="search"],
input[type="tel"],
input[type="color"]
{
    font-size: inherit;
    height:    1.4em;
}

li, .table th, .table td {
    line-height: inherit;
}

.btn {
    font-size:  inherit;
    height:     auto;
    min-height: 2.2em;
}

.btn-large {
    font-size: 115%;
}

.navbar .brand {
    font-size: 140%;
}


/* Inline and block code */

code {
    /* 12/14 em, so bootstrap's default 12 px,
       when body is the default 14 px */
    font-size: 0.857em;

    white-space: nowrap;
}

pre {
    /* 13/14 em, so bootstrap's default 13 px,
       when body is the default 14 px */
    font-size: 0.929em;
    line-height: inherit;
}

pre code {
    white-space: pre;
}

/* Style inline code inside a link
   to look more like a normal link */
a code {
    color:        #08C;
    border-color: #08C;
}

a:hover code {
    color:        #005580;
    border-color: #005580;
}

.preserve_spaces {
    white-space: pre-wrap;
}

.sidebar-nav {
    background-color: white;
    padding: 0.5em;
    margin-top: 1em;
    overflow: hidden;
    text-overflow: ellipsis;
}
@media (max-width: 767px) {
    .sidebar-nav {
        background-color: white;
        padding: 0.5em;
        margin: 0px;
        border: 1px solid black;
    }
}

#my_information {
    cursor: pointer;
}

.my_fullname {
    font-weight: bold;
    font-size: 150%;
    white-space: nowrap;
}
.my_email {
    color: grey;
}
@media (max-width: 767px) {
    .my_fullname {
        font-size: 100%;
    }
    .my_email {
        font-size: 80%;
    }
}

.logout {
    white-space: nowrap;
}

.new_message_button {
    padding-top: 1em;
}

.bottom_sidebar {
    margin-top: 1em;
}

#stream_filters {
    overflow-y: hidden;
}
#stream_filters:hover {
    overflow-y: auto;
}

#user_presences {
    /* Pad so the bullets are visible */
    padding-left: 20px;

    margin-top:  1em;
    margin-left: 0;
    overflow-y:  hidden;
}
#user_presences:hover {
    overflow-y: auto;
}

#user_presences li.user_active {
    list-style-image: url(/static/images/presence/user-active.png);
}

#user_presences li.user_away {
    list-style-image: url(/static/images/presence/user-away.png);
}

#user_presences li.user_idle {
    list-style-image: url(/static/images/presence/user-idle.png);
}

ul.filters {
    list-style-type: none;
    padding-right: 1em;
}<commit_msg>Make presence links black, like stream filter links.<commit_after>body {
    font-family: 'Droid Sans', Helvetica, Arial, sans-serif;
    overflow-y: scroll;
}

textarea, input {
    font-family: 'Droid Sans', Helvetica, Arial, sans-serif;
}


/* Override Bootstrap's fixed sizes for various elements */

textarea, label {
    font-size:   inherit;
    line-height: inherit;
}

/* List of text-like input types taken from Bootstrap */
input[type="text"],
input[type="password"],
input[type="datetime"],
input[type="datetime-local"],
input[type="date"],
input[type="month"],
input[type="time"],
input[type="week"],
input[type="number"],
input[type="email"],
input[type="url"],
input[type="search"],
input[type="tel"],
input[type="color"]
{
    font-size: inherit;
    height:    1.4em;
}

li, .table th, .table td {
    line-height: inherit;
}

.btn {
    font-size:  inherit;
    height:     auto;
    min-height: 2.2em;
}

.btn-large {
    font-size: 115%;
}

.navbar .brand {
    font-size: 140%;
}


/* Inline and block code */

code {
    /* 12/14 em, so bootstrap's default 12 px,
       when body is the default 14 px */
    font-size: 0.857em;

    white-space: nowrap;
}

pre {
    /* 13/14 em, so bootstrap's default 13 px,
       when body is the default 14 px */
    font-size: 0.929em;
    line-height: inherit;
}

pre code {
    white-space: pre;
}

/* Style inline code inside a link
   to look more like a normal link */
a code {
    color:        #08C;
    border-color: #08C;
}

a:hover code {
    color:        #005580;
    border-color: #005580;
}

.preserve_spaces {
    white-space: pre-wrap;
}

.sidebar-nav {
    background-color: white;
    padding: 0.5em;
    margin-top: 1em;
    overflow: hidden;
    text-overflow: ellipsis;
}
@media (max-width: 767px) {
    .sidebar-nav {
        background-color: white;
        padding: 0.5em;
        margin: 0px;
        border: 1px solid black;
    }
}

#my_information {
    cursor: pointer;
}

.my_fullname {
    font-weight: bold;
    font-size: 150%;
    white-space: nowrap;
}
.my_email {
    color: grey;
}
@media (max-width: 767px) {
    .my_fullname {
        font-size: 100%;
    }
    .my_email {
        font-size: 80%;
    }
}

.logout {
    white-space: nowrap;
}

.new_message_button {
    padding-top: 1em;
}

.bottom_sidebar {
    margin-top: 1em;
}

#stream_filters {
    overflow-y: hidden;
}
#stream_filters:hover {
    overflow-y: auto;
}

#user_presences {
    /* Pad so the bullets are visible */
    padding-left: 20px;

    margin-top:  1em;
    margin-left: 0;
    overflow-y:  hidden;
}
#user_presences:hover {
    overflow-y: auto;
}

#user_presences li.user_active {
    list-style-image: url(/static/images/presence/user-active.png);
}

#user_presences li.user_away {
    list-style-image: url(/static/images/presence/user-away.png);
}

#user_presences li.user_idle {
    list-style-image: url(/static/images/presence/user-idle.png);
}

#user_presences a {
    color: black;
}

ul.filters {
    list-style-type: none;
    padding-right: 1em;
}
{'fraction_non_alphanumeric': 0.1505, 'fraction_numerical': 0.026, 'mean_word_length': 2.7227047146401984, 'pattern_counts': {'":': 0, '<': 3, '<?xml version=': 0, '>': 3, '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': '3690754', 'n_tokens_mistral': 2352, 'n_tokens_neox': 2204, 'n_words': 507}