<commit_before>body {
    color: #777;
}

/* Add transition to containers so they can push in and out */
#layout,
#menu,
.pure-menu-link {
    -webkit-transition: all 0.2s ease-out;
    -moz-transition: all 0.2s ease-out;
    -ms-transition: all 0.2s ease-out;
    -o-transition: all 0.2s ease-out;
    transition: all 0.2s ease-out;
}

/* This is the parent div that contains the menu and the content area */
#layout {
    padding-left: 150px; /* left col width "#menu" */
    left: 0;
}

/* The content div is where all your content goes */
.content {
    margin: 0 auto;
    padding: 0 2em;
    max-width: 800px;
    margin-bottom: 50px;
    line-height: 1.6em;
}

/* The content-subhead just applies some styles to headers within the content div */
.content-subhead {
    margin: 50px 0 20px 0;
    font-weight: 300;
    color: #888;
}
/* This is the header for the page, and has the title and subtitle of the page */
.header {
     margin: 0;
     color: #333;
     text-align: center;
     padding: 1em 2em;
     border-bottom: 1px solid #eee;
 }
    .header h1 {
        margin: 0.2em 0;
        font-size: 3em;
        font-weight: 300;
    }
     .header h2 {
        font-weight: 300;
        color: #ccc;
    }

/* The #menu div is the parent div that contains the pure-menu that appears on the left side of the page.

By using the combination of "position: fixed, top: 0; bottom:0;", we can make the menu have 100% height and be fixed on the page as the rest of it scrolls.
 */
#menu {
    margin-left: -150px; /* this should be "#menu" width */
    width: 150px;
    position: fixed;
    top: 0;
    left: 150px; /* this should be "#menu" width */
    bottom: 0;
    z-index: 1; /* so the menu or its navicon stays above all content */
    background: #191818;
    overflow-y: auto;
    -webkit-overflow-scroll: touch; /* for smooth scrolling on mobile */
}
    /* All anchors inside the menu should be styled like this */
    #menu a {
        color: #999;
        border: none;
        padding: 0.6em 0 0.6em 0.6em;
    }

    /* Remove all background/borders, since we are applying them to #menu */
     #menu .pure-menu,
     #menu .pure-menu ul {
        border: none;
        background: transparent;
    }

    /* Add that light border to separate items into groups */
    #menu .pure-menu ul,
    #menu .pure-menu .menu-item-divided {
        border-top: 1px solid #333;
    }
        /* Change color of the anchor links on hover/focus */
        #menu .pure-menu li a:hover,
        #menu .pure-menu li a:focus {
            background: #333;
        }

    /* This styles the selected menu item <li> */
    #menu .pure-menu-selected {
        background: #1f8dd6;
    }
        /* This styles a link within a selected menu item <li> */
        #menu .pure-menu-selected a {
            color: #fff;
        }

    /* This styles the menu heading */
    #menu .pure-menu-heading {
        font-size: 110%;
        color: #fff;
        background: rgb(0, 163, 255);
        margin: 0;
    }

/* ---------------------------------- *
 * Dynamic Button For Responsive Menu *
 * ---------------------------------- */

/* The button to open/close the Menu is custom-made and not part of Pure. Here's how it works */

/* pure-menu-link represents the responsive button that shows/hides on small screens */
.pure-menu-link {
    display: none; /* show this only on small screens */
    top: 0;
    left: 150px; /* "#menu width" */
    background: #000;
    font-size: 10px; /* change this value to increase/decrease button size */
    z-index: 10;
    width: 2em;
    height: auto;
    padding: 2.1em 1.6em;
}

    .pure-menu-link:hover,<commit_msg>update some margins/paddings to make things look nicer<commit_after>body {
    color: #777;
}

/* Add transition to containers so they can push in and out */
#layout,
#menu,
.pure-menu-link {
    -webkit-transition: all 0.2s ease-out;
    -moz-transition: all 0.2s ease-out;
    -ms-transition: all 0.2s ease-out;
    -o-transition: all 0.2s ease-out;
    transition: all 0.2s ease-out;
}

/* This is the parent div that contains the menu and the content area */
#layout {
    padding-left: 150px; /* left col width "#menu" */
    left: 0;
}

/* The content div is where all your content goes */
.content {
    margin: 0 auto;
    padding: 0 2em;
    max-width: 800px;
    margin-bottom: 50px;
    line-height: 1.6em;
}

/* The content-subhead just applies some styles to headers within the content div */
.content-subhead {
    margin: 50px 0 20px 0;
    font-weight: 300;
    color: #888;
}
/* This is the header for the page, and has the title and subtitle of the page */
.header {
     margin: 0;
     color: #333;
     text-align: center;
     padding: 2.5em 2em 0;
     border-bottom: 1px solid #eee;
 }
    .header h1 {
        margin: 0.2em 0;
        font-size: 3em;
        font-weight: 300;
    }
     .header h2 {
        font-weight: 300;
        color: #ccc;
        padding: 0;
        margin-top: 0;
    }

/* The #menu div is the parent div that contains the pure-menu that appears on the left side of the page.

By using the combination of "position: fixed, top: 0; bottom:0;", we can make the menu have 100% height and be fixed on the page as the rest of it scrolls.
 */
#menu {
    margin-left: -150px; /* this should be "#menu" width */
    width: 150px;
    position: fixed;
    top: 0;
    left: 150px; /* this should be "#menu" width */
    bottom: 0;
    z-index: 1; /* so the menu or its navicon stays above all content */
    background: #191818;
    overflow-y: auto;
    -webkit-overflow-scroll: touch; /* for smooth scrolling on mobile */
}
    /* All anchors inside the menu should be styled like this */
    #menu a {
        color: #999;
        border: none;
        padding: 0.6em 0 0.6em 0.6em;
    }

    /* Remove all background/borders, since we are applying them to #menu */
     #menu .pure-menu,
     #menu .pure-menu ul {
        border: none;
        background: transparent;
    }

    /* Add that light border to separate items into groups */
    #menu .pure-menu ul,
    #menu .pure-menu .menu-item-divided {
        border-top: 1px solid #333;
    }
        /* Change color of the anchor links on hover/focus */
        #menu .pure-menu li a:hover,
        #menu .pure-menu li a:focus {
            background: #333;
        }

    /* This styles the selected menu item <li> */
    #menu .pure-menu-selected {
        background: #1f8dd6;
    }
        /* This styles a link within a selected menu item <li> */
        #menu .pure-menu-selected a {
            color: #fff;
        }

    /* This styles the menu heading */
    #menu .pure-menu-heading {
        font-size: 110%;
        color: #fff;
        background: rgb(0, 163, 255);
        margin: 0;
    }

/* ---------------------------------- *
 * Dynamic Button For Responsive Menu *
 * ---------------------------------- */

/* The button to open/close the Menu is custom-made and not part of Pure. Here's how it works */

/* pure-menu-link represents the responsive button that shows/hides on small screens */
.pure-menu-link {
    display: none; /* show this only on small screens */
    top: 0;
    left: 150px; /* "#menu width" */
    background: #000;
    font-size: 10px; /* change this value to increase/decrease button size */
    z-index: 10;
    width: 2em;
    height: auto;
    padding: 2.2em 1.6em;
}

    .pure-menu-link:hover,
{'fraction_non_alphanumeric': 0.13339627731319126, 'fraction_numerical': 0.03506878877798759, 'mean_word_length': 2.011779041429732, 'pattern_counts': {'":': 0, '<': 7, '<?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': '6697306', 'n_tokens_mistral': 2576, 'n_tokens_neox': 2314, 'n_words': 875}