<commit_before>html {
    height: 100%;
    width:100%;
    position: relative;
}
body {
    position: fixed;
    height: 100%;
    width: 100%;
    padding:0px;
    margin:0px;
    overflow:hidden;
}
/*Angular.ui definition needed to change the cursor to pointer when over a button*/
.nav, .pagination, .carousel, .panel-title a {
    cursor: pointer;
}

/* Everything but the jumbotron gets side spacing for mobile first views */
.header,
.marketing,
.footer {
    padding-left: 15px;
    padding-right: 15px;
}

.navbar .navbar-brand {
    list-style-type: none;
}

.navbar .navbar-brand #home {
    color: gray;
    text-decoration: none;
}

.navbar .navbar-brand #home:hover {
    color: black;
    text-decoration: none;
}

/* Custom page header */
.header {
    border-bottom: 1px solid #e5e5e5;
    position: fixed;
}
/* Make the masthead heading the same height as the navigation */
.header h3 {
    margin-top: 0;
    margin-bottom: 0;
    line-height: 40px;
    padding-bottom: 19px;
}

/* Custom page footer */
.footer {
    background-color: #f5f5f5;
    bottom: 0;
    padding-top: 10px;
    height: 50px;
    position: fixed;
    width: 100%;
    border-top: 1px solid #e5e5e5;
}

/* Customize container */
/*
@media (min-width: 768px) {
  .container {
    max-width: 730px;
  }
}
*/
.container-narrow > hr {
    margin: 30px 0;
}

/* Main marketing message and sign up button */
.jumbotron {
    text-align: center;
    border-bottom: 1px solid #e5e5e5;
}
.jumbotron .btn {
    font-size: 21px;
    padding: 14px 24px;
}

/* Supporting marketing content */
.marketing {
    margin: 40px 0;
}
.marketing p + h4 {
    margin-top: 28px;
}

.floorplan {
    border: 1px solid #e5e5e5;
}

.mousetooltip {
    margin-top: 19px;
    border: 1px solid #e5e5e5;
    border-radius: 5px;
    background: #A3CCCC;
    z-index: 10;
    position: absolute;
    visibility: hidden;
}

.home-navs > li {
    display:inline;
    list-style-type: none;
    margin: 20px;
    font-size: 32px;
}

ul.nav {
    font-family: "Helvetica Neue",Helvetica,Arial,sans-serif;
    font-size: 14px;
}

#searchContainer {
    margin-bottom:10px;
}

#searchContent {
    width: 80%;
    display:inline;<commit_msg>Also fix brand font inheritance for 3dview.<commit_after>html {
    height: 100%;
    width:100%;
    position: relative;
}
body {
    position: fixed;
    height: 100%;
    width: 100%;
    padding:0px;
    margin:0px;
    overflow:hidden;
}
/*Angular.ui definition needed to change the cursor to pointer when over a button*/
.nav, .pagination, .carousel, .panel-title a {
    cursor: pointer;
}

/* Everything but the jumbotron gets side spacing for mobile first views */
.header,
.marketing,
.footer {
    padding-left: 15px;
    padding-right: 15px;
}

.navbar .navbar-brand {
    list-style-type: none;
}

.navbar .navbar-brand #home {
    color: gray;
    text-decoration: none;
}

.navbar .navbar-brand #home:hover {
    color: black;
    text-decoration: none;
}

/* Custom page header */
.header {
    border-bottom: 1px solid #e5e5e5;
    position: fixed;
}
/* Make the masthead heading the same height as the navigation */
.header h3 {
    margin-top: 0;
    margin-bottom: 0;
    line-height: 40px;
    padding-bottom: 19px;
}

/* Custom page footer */
.footer {
    background-color: #f5f5f5;
    bottom: 0;
    padding-top: 10px;
    height: 50px;
    position: fixed;
    width: 100%;
    border-top: 1px solid #e5e5e5;
}

/* Customize container */
/*
@media (min-width: 768px) {
  .container {
    max-width: 730px;
  }
}
*/
.container-narrow > hr {
    margin: 30px 0;
}

/* Main marketing message and sign up button */
.jumbotron {
    text-align: center;
    border-bottom: 1px solid #e5e5e5;
}
.jumbotron .btn {
    font-size: 21px;
    padding: 14px 24px;
}

/* Supporting marketing content */
.marketing {
    margin: 40px 0;
}
.marketing p + h4 {
    margin-top: 28px;
}

.floorplan {
    border: 1px solid #e5e5e5;
}

.mousetooltip {
    margin-top: 19px;
    border: 1px solid #e5e5e5;
    border-radius: 5px;
    background: #A3CCCC;
    z-index: 10;
    position: absolute;
    visibility: hidden;
}

.home-navs > li {
    display:inline;
    list-style-type: none;
    margin: 20px;
    font-size: 32px;
}

ul.nav {
    font-family: "Helvetica Neue",Helvetica,Arial,sans-serif;
    font-size: 14px;
}

.navbar-header {
    font-family: "Helvetica Neue",Helvetica,Arial,sans-serif;
}
#searchContainer {
    margin-bottom:10px;
}

#searchContent {
    width: 80%;
    display:inline;
{'fraction_non_alphanumeric': 0.13312624805857554, 'fraction_numerical': 0.041491013978256046, 'mean_word_length': 2.7194719471947195, 'pattern_counts': {'":': 0, '<': 3, '<?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': '2086209', 'n_tokens_mistral': 1829, 'n_tokens_neox': 1662, 'n_words': 431}