<commit_before>/* This file controls the elements common to all monarch pages. Every webpage
 * references this file. Use it to style the navbar, buttons, colors. */

/* General Styles */

html, body {
    height: 100%;
}
p {
    font-family: Helvetica, Arial, sans-serif;
}
.clear {
    clear: both;
}

/* Navbar */
/* These are navbar styles that depend heavily on media queries to determine the
 * width of the user's browser window. Make sure that you are adding styles to the
 * correct media query section.
 *
 * The default Bootstrap behavior makes the navbar quite different from regular
 * browser width to smaller (e.g. smartphone browsers). */

@media (min-width: 815px) {
    .monarch-navbar-container {
        padding: 0px 10px;
    }
}
@media (min-width: 768px) {
    .navbar {
        min-height: 30px;
    }
    .nav>li>a {
        padding: 0px;
    }
    .dropdown-toggle {
        margin: 5px 10px 5px 10px;
    }
    .dropdown {
        padding: 4px 0px 0px;
    }
    .navbar-brand {
        padding: 8px 20px 0px 20px;
    }
    .navbar-link {
        font-size: 14px;
    }
    .navbar-text {
        margin-top: 2px;
        margin-bottom: 2px;
        font-weight: 400;
        margin-right: 5px;
    }
    .searchspace {
        float: right;
    }
    .input-group {
        margin-bottom: 0px;
    }
    .form-control {
        padding: 0px 10px;
        height: 28px;
        border-radius: 2px;
    }
    .input-group-btn .btn {
        padding: 0px 10px;
        height: 28px;
        border-radius: 2px;
    }
    #search {
        width: 180px;
        font-size: 13px;
    }
}
@media (max-width: 800px) {
    .monarch-navbar-container {
        margin: 0px -3px;
    }
    .navbar-brand {
        padding: 8px 5px 0px 20px;
    }
}
@media (max-width: 768px) {
    .navbar-brand {
        padding: 15px;
    }
    .nav.navbar-nav {
        margin: 0px 0 10px;
    }
    .nav>li>a {
        padding: 5px 10px;
        margin: 0 10px;
        border-radius: 0px;
    }
    .navbar-nav>li>.dropdown-menu {
        margin-top: 0px;
        margin-left: 10px;
    }
    .navbar-form {
        margin-top: 0px;
    }
    .searchspace {
        float:none;
    }
    #search_form{
        width:90%;
    }
    #search {
        margin: 0 20px;
        font-size: 13px;
    }
}

/* Content Containers */

@media (min-width: 768px) {
    .monarch-container {
        padding: 40px 0px 0px;
        height: 100%;
    }
}
@media (max-width: 768px) {
    .monarch-container {
        padding: 50px 0px 0px;
        height: 100%;
    }
    <commit_msg>attempting to fix search button for mobile<commit_after>/* This file controls the elements common to all monarch pages. Every webpage
 * references this file. Use it to style the navbar, buttons, colors. */

/* General Styles */

html, body {
    height: 100%;
}
p {
    font-family: Helvetica, Arial, sans-serif;
}
.clear {
    clear: both;
}

/* Navbar */
/* These are navbar styles that depend heavily on media queries to determine the
 * width of the user's browser window. Make sure that you are adding styles to the
 * correct media query section.
 *
 * The default Bootstrap behavior makes the navbar quite different from regular
 * browser width to smaller (e.g. smartphone browsers). */

@media (min-width: 815px) {
    .monarch-navbar-container {
        padding: 0px 10px;
    }
}
@media (min-width: 768px) {
    .navbar {
        min-height: 30px;
    }
    .nav>li>a {
        padding: 0px;
    }
    .dropdown-toggle {
        margin: 5px 10px 5px 10px;
    }
    .dropdown {
        padding: 4px 0px 0px;
    }
    .navbar-brand {
        padding: 8px 20px 0px 20px;
    }
    .navbar-link {
        font-size: 14px;
    }
    .navbar-text {
        margin-top: 2px;
        margin-bottom: 2px;
        font-weight: 400;
        margin-right: 5px;
    }
    .searchspace {
        float: right;
    }
    .input-group {
        margin-bottom: 0px;
    }
    .form-control {
        padding: 0px 10px;
        height: 28px;
        border-radius: 2px;
    }
    .input-group-btn .btn {
        padding: 0px 10px;
        height: 28px;
        border-radius: 2px;
    }
    #search {
        width: 180px;
        font-size: 13px;
    }
}
@media (max-width: 800px) {
    .monarch-navbar-container {
        margin: 0px -3px;
    }
    .navbar-brand {
        padding: 8px 5px 0px 20px;
    }
}
@media (max-width: 768px) {
    .navbar-brand {
        padding: 15px;
    }
    .nav.navbar-nav {
        margin: 0px 0 10px;
    }
    .nav>li>a {
        padding: 5px 10px;
        margin: 0 10px;
        border-radius: 0px;
    }
    .navbar-nav>li>.dropdown-menu {
        margin-top: 0px;
        margin-left: 10px;
    }
    .navbar-form {
        margin-top: 0px;
    }
    .input-group{
        width:90%; 
    }
    #search {
        margin: 0 20px;
        font-size: 13px;
    }
}

/* Content Containers */

@media (min-width: 768px) {
    .monarch-container {
        padding: 40px 0px 0px;
        height: 100%;
    }
}
@media (max-width: 768px) {
    .monarch-container {
        padding: 50px 0px 0px;
        height: 100%;
    }
    
{'fraction_non_alphanumeric': 0.11737180736985767, 'fraction_numerical': 0.044063170208617664, 'mean_word_length': 1.7330847096430475, 'pattern_counts': {'":': 0, '<': 3, '<?xml version=': 0, '>': 15, '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': '6574908', 'n_tokens_mistral': 2003, 'n_tokens_neox': 1744, 'n_words': 474}