<commit_before>/*---Properties-----------------------------------------------------------------------------------*/
html, body {
  margin: 0 auto;
  padding: 0;
  padding-top: 60px;
  width: 100%;
  height: 100%;
  background-color: #fff;
}

html {
  position: relative;
  min-height: 100%;
}

h1, h2, h3, h4, h5, h6, p, a {
    color: #565656;
    font-family: "Helvetica Neue", Helvetica, Arial, sans-serif;
    border-bottom: none;
}

/*---Changes to Default Wiki----------------------------------------------------------------------*/
#globalWrapper, #content, #bodyContent {
    margin: 0 auto;
    padding: 0;
    height: 100%;
    width: 100%;
    border: 0px;
    background-color: transparent;
}

#top_menu_under {
    margin: 0;
    padding: 0;
    height: 0;
    width: 100%;
    border: 0;
    background-color: transparent;
}

#top_menu_14 {
    margin: 0;
    padding: 0;
    width: 100%;
    border: 0;
    padding-bottom: 2px;
    background-color: #373B40;
}

div#top_menu_inside {
    margin: 0 auto;
}


/*---Div Properties-------------------------------------------------------------------------------*/
/* Creates a container that will wrap all of the content inside your wiki pages. */
#mainContainer {
  position: relative;
  width: 965px;
  margin: 0 auto;
  margin-top: 150px; /*-- matches fixed header height --*/
  overflow: hidden;
  background-color: #fff;
  font-family: Helvetica, "Trebuchet MS", sans-serif;
}

/* Creates the container for the content */
#contentContainer {
  padding: 0;
  width: 100%;
  float: left;
  background-color: #fff;
}

/*Change the styling of text for everything inside main container*/
#mainContainer p {
    font-size: 13px;
    color: #000000;
}

/*Style of the links - links are different inside the menu */
#contentContainer a {
    font-weight: bold;
    color: #23b593;
}

/* Styling links on hover- links are different inside the menu */
#contentContainer a:hover {
    color: #59bf92;
}

/*Change the styling of tables */
#contentContainer table {
    border: 1px solid #565656;
    border-collapse: collapse;
    width: 90%
    margin: auto;
    margin-bottom: 15px;
    margin-top: 15px;
    margin-right: 10px;
    margin-left: 10px;
}

/*Change the styling of table cells*/
#contentContainer  td {
    padding: 10px;
    border: 1px solid #565656;
    border-collapse: collapse;
    vertical-align: text-top;
}

/*Change the styling of table headers */
#contentContainer th {
    background-color: #E8E8E9;
    padding: 10px;
    border: 1px solid #565656;
    border-collapse: collapse;
    vertical-align: text-top;
}


/*Clear class for all the pages, adds spacing too*/
.clear{
    clear:both;
    height: 10px;
}

/* highlight box for special messages */
.highlightBox {
    width:500px;
    margin:auto;
    background-color: #E8E8E9;
    margin-bottom: 15px;
    margin-top: 15px;
    padding: 15px;
    padding-top: 5px;
}


/*---Header & Footer------------------------------------------------------------------------------*/
header {
  position: absolute;
  left: 0;
  right: 0;
  top: 16px; /*-- this matches the height of the top_menu_14 bar --*/
  -webkit-box-shadow: 0 0 10px 0 rgba(66,66,66,1);
     -moz-box-shadow: 0 0 10px 0 rgba(66,66,66,1);
      -ms-box-shadow: 0 0 10px 0 rgba(66,66,66,1);
          box-shadow: 0 0 10px 0 rgba(66,66,66,1);
}

header > .navbar-nav {
  text-align: center;
}

/* Styling for upper nav */

nav {
  transition: all 1s !important;
  -webkit-transition: top 0.5s; /* Safari */<commit_msg>Adding margin above navbar<commit_after>/*---Properties-----------------------------------------------------------------------------------*/
html, body {
  margin: 0 auto;
  padding: 0;
  padding-top: 60px;
  width: 100%;
  height: 100%;
  background-color: #fff;
}

html {
  position: relative;
  min-height: 100%;
}

h1, h2, h3, h4, h5, h6, p, a {
    color: #565656;
    font-family: "Helvetica Neue", Helvetica, Arial, sans-serif;
    border-bottom: none;
}

/*---Changes to Default Wiki----------------------------------------------------------------------*/
#globalWrapper, #content, #bodyContent {
    margin: 0 auto;
    padding: 0;
    height: 100%;
    width: 100%;
    border: 0px;
    background-color: transparent;
}

#top_menu_under {
    margin: 0;
    padding: 0;
    height: 0;
    width: 100%;
    border: 0;
    background-color: transparent;
}

#top_menu_14 {
    margin: 0;
    padding: 0;
    width: 100%;
    border: 0;
    padding-bottom: 2px;
    background-color: #373B40;
}

div#top_menu_inside {
    margin: 0 auto;
}


/*---Div Properties-------------------------------------------------------------------------------*/
/* Creates a container that will wrap all of the content inside your wiki pages. */
#mainContainer {
  position: relative;
  width: 965px;
  margin: 0 auto;
  margin-top: 150px; /*-- matches fixed header height --*/
  overflow: hidden;
  background-color: #fff;
  font-family: Helvetica, "Trebuchet MS", sans-serif;
}

/* Creates the container for the content */
#contentContainer {
  padding: 0;
  width: 100%;
  float: left;
  background-color: #fff;
}

/*Change the styling of text for everything inside main container*/
#mainContainer p {
    font-size: 13px;
    color: #000000;
}

/*Style of the links - links are different inside the menu */
#contentContainer a {
    font-weight: bold;
    color: #23b593;
}

/* Styling links on hover- links are different inside the menu */
#contentContainer a:hover {
    color: #59bf92;
}

/*Change the styling of tables */
#contentContainer table {
    border: 1px solid #565656;
    border-collapse: collapse;
    width: 90%
    margin: auto;
    margin-bottom: 15px;
    margin-top: 15px;
    margin-right: 10px;
    margin-left: 10px;
}

/*Change the styling of table cells*/
#contentContainer  td {
    padding: 10px;
    border: 1px solid #565656;
    border-collapse: collapse;
    vertical-align: text-top;
}

/*Change the styling of table headers */
#contentContainer th {
    background-color: #E8E8E9;
    padding: 10px;
    border: 1px solid #565656;
    border-collapse: collapse;
    vertical-align: text-top;
}


/*Clear class for all the pages, adds spacing too*/
.clear{
    clear:both;
    height: 10px;
}

/* highlight box for special messages */
.highlightBox {
    width:500px;
    margin:auto;
    background-color: #E8E8E9;
    margin-bottom: 15px;
    margin-top: 15px;
    padding: 15px;
    padding-top: 5px;
}


/*---Header & Footer------------------------------------------------------------------------------*/
header {
  position: absolute;
  left: 0;
  right: 0;
  top: 16px; /*-- this matches the height of the top_menu_14 bar --*/
  -webkit-box-shadow: 0 0 10px 0 rgba(66,66,66,1);
     -moz-box-shadow: 0 0 10px 0 rgba(66,66,66,1);
      -ms-box-shadow: 0 0 10px 0 rgba(66,66,66,1);
          box-shadow: 0 0 10px 0 rgba(66,66,66,1);
}

header > .navbar-nav {
  text-align: center;
  margin-top: 16px;
}

/* Styling for upper nav */

nav {
  transition: all 1s !important;
  -webkit-transition: top 0.5s; /* Safari */
{'fraction_non_alphanumeric': 0.21105598866052444, 'fraction_numerical': 0.05527994330262225, 'mean_word_length': 2.1015384615384614, 'pattern_counts': {'":': 0, '<': 3, '<?xml version=': 0, '>': 5, 'https://': 0, 'lorem ipsum': 0, 'www.': 0, 'xml': 0}, 'pii_count': 0, 'substrings_counts': 0, 'word_list_counts': {'cursed_substrings.json': 2, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
{'dir': 'git-commits-cleaned', 'id': '3174195', 'n_tokens_mistral': 2613, 'n_tokens_neox': 2261, 'n_words': 691}