<commit_before>.navbar-btn {
    margin-right: 5px;
}

.close-button-x {
    position: relative;
}

.close-button-x:hover {
    color: #fff;
}

.navbar-big {
    font-size:18px;
}

.nav-projects-placeholder {
    /* No more box shadow */
}

.nav.projects li.ui-sortable-helper {
    color: #555555;
    text-decoration: none;
    background-color: #ffffff;
}

.nav.pull-right {
    float: right;
}

.nav.projects {
    float: none !important; /* override Bootstrap 3 */
    overflow: hidden;
}

.navbar .divider-vertical {
    height: 42px;
    margin: 0 9px;
    border-right: 1px solid #ffffff;
    border-left: 1px solid #f2f2f2;
}

.salvus-connection-status {
    width       : 6.5em;
    font-size   : 10pt;
    line-height : 10pt;
    cursor      : default;
    margin-top  : 2ex;
    margin-right: 1ex;
}

.salvus-connection-status-protocol-bad {
    color : #f55;
}

.salvus-top_navbar {
    font-size: 14px;
    margin-bottom: 0;
    min-height: 0;
}

.salvus-fullscreen-activate {
    position:fixed;
    z-index:100000;
    right:0;
    top:0;
    font-size: 12pt;
    padding:4px;
    color: #999;
    font-weight: bold;
}

.salvus-fullscreen-activate:hover {
    color: #222;
}

.salvus-fullscreen-deactivate {
    position:fixed;
    z-index:100000;
    right:0;
    top:0;
    font-size:12pt;
    padding:4px;
    color: #999;
    font-weight: bold;
    background-color: #eee;
}
<commit_msg>possibly clever UI idea: make the top navbar slightly transparent, so user knows to scroll to get back the project tools.<commit_after>.navbar-btn {
    margin-right: 5px;
}

.close-button-x {
    position: relative;
}

.close-button-x:hover {
    color: #fff;
}

.navbar-big {
    font-size:18px;
}

.nav-projects-placeholder {
    /* No more box shadow */
}

.nav.projects li.ui-sortable-helper {
    color: #555555;
    text-decoration: none;
    background-color: #ffffff;
}

.nav.pull-right {
    float: right;
}

.nav.projects {
    float: none !important; /* override Bootstrap 3 */
    overflow: hidden;
}

.navbar .divider-vertical {
    height: 42px;
    margin: 0 9px;
    border-right: 1px solid #ffffff;
    border-left: 1px solid #f2f2f2;
}

.salvus-connection-status {
    width       : 6.5em;
    font-size   : 10pt;
    line-height : 10pt;
    cursor      : default;
    margin-top  : 2ex;
    margin-right: 1ex;
}

.salvus-connection-status-protocol-bad {
    color : #f55;
}

.salvus-top_navbar {
    font-size: 14px;
    margin-bottom: 0;
    min-height: 0;
    opacity: .9;   /* avoid confusion when project scrolls up and is covered by top bar */
}

.salvus-fullscreen-activate {
    position:fixed;
    z-index:100000;
    right:0;
    top:0;
    font-size: 12pt;
    padding:4px;
    color: #999;
    font-weight: bold;
}

.salvus-fullscreen-activate:hover {
    color: #222;
}

.salvus-fullscreen-deactivate {
    position:fixed;
    z-index:100000;
    right:0;
    top:0;
    font-size:12pt;
    padding:4px;
    color: #999;
    font-weight: bold;
    background-color: #eee;
}

{'fraction_non_alphanumeric': 0.13873216063723864, 'fraction_numerical': 0.04281447062728178, 'mean_word_length': 2.460390355912744, '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': '7629000', 'n_tokens_mistral': 1248, 'n_tokens_neox': 1142, 'n_words': 238}