<commit_before>@font-face {
  font-family: 'MuseoSans';
  src: url('fonts/MuseoSans_300-webfont.eot');
  src: url('fonts/MuseoSans_300-webfont.eot?#iefix') format('embedded-opentype'),
       url('fonts/MuseoSans_300-webfont.woff') format('woff'),
       url('fonts/MuseoSans_300-webfont.ttf') format('truetype'),
       url('fonts/MuseoSans_300-webfont.svg#MuseoSans300') format('svg');
  font-weight: normal;
  font-style: normal;
}

@font-face {
  font-family: 'MuseoSans';
  src: url('fonts/MuseoSans_300_Italic-webfont.eot');
  src: url('fonts/MuseoSans_300_Italic-webfont.eot?#iefix') format('embedded-opentype'),
       url('fonts/MuseoSans_300_Italic-webfont.woff') format('woff'),
       url('fonts/MuseoSans_300_Italic-webfont.ttf') format('truetype'),
       url('fonts/MuseoSans_300_Italic-webfont.svg#MuseoSans300Italic') format('svg');
  font-weight: normal;
  font-style: italic;
}

@font-face {
  font-family: 'MuseoSans';
  src: url('fonts/MuseoSans_500-webfont.eot');
  src: url('fonts/MuseoSans_500-webfont.eot?#iefix') format('embedded-opentype'),
       url('fonts/MuseoSans_500-webfont.woff') format('woff'),
       url('fonts/MuseoSans_500-webfont.ttf') format('truetype'),
       url('fonts/MuseoSans_500-webfont.svg#MuseoSans500') format('svg');
  font-weight: bold;
  font-style: normal;
}

@font-face {
  font-family: 'MuseoSans';
  src: url('fonts/MuseoSans_500_Italic-webfont.eot');
  src: url('fonts/MuseoSans_500_Italic-webfont.eot?#iefix') format('embedded-opentype'),
       url('fonts/MuseoSans_500_Italic-webfont.woff') format('woff'),
       url('fonts/MuseoSans_500_Italic-webfont.ttf') format('truetype'),
       url('fonts/MuseoSans_500_Italic-webfont.svg#MuseoSans500Italic') format('svg');
  font-weight: bold;
  font-style: italic;
}

@font-face {
  font-family: 'Museo300-display';
  src: url('fonts/Museo300-Regular-webfont.eot');
  src: url('fonts/Museo300-Regular-webfont.eot?#iefix') format('embedded-opentype'),
       url('fonts/Museo300-Regular-webfont.woff') format('woff'),
       url('fonts/Museo300-Regular-webfont.ttf') format('truetype'),
       url('fonts/Museo300-Regular-webfont.svg#Museo300') format('svg');
  font-weight: normal;
  font-style: normal;
}

/* Opera has a bug (from around 10.5 upwards to current 11.6) with showing the
 * table caption *at all* if the header is set to a font-face :( */
noindex:-o-prefocus, #site-header {
  font-family: sans-serif;
}

h3, h4 {
    font-weight: bold;
}

@import "_colours";
@import "../sass/layout";

// Tiled background stripe, not plain colour
#front-main {
    background: $primary url(images/tile-y.jpg);
}
#main-nav {
    ul#main-menu {
        li {
            a:hover {
                @include background(linear-gradient(#000, #444 10%, #444 95%, #111));
            }
        }
    }
    ul#mysoc-menu {
        background: $primary url(images/tile-y.jpg);
    }
}
.nav-wrapper {
    .nav-wrapper-2 {
        @include border-image(url(images/tile-y-border.jpg) 4 0 0 0);
    }
}
body.mappage {
    .nav-wrapper {
        .nav-wrapper-2 {
              @include background(linear-gradient(#000, #222 10%, #222 90%, #000));
        }
    }
}
body.twothirdswidthpage,
body.fullwidthpage {
    #front-main {
        padding-bottom: 4em;
    }

    .container {
        .content {
            box-shadow: none;
            padding: 1em 1em 0em;
            margin-bottom: 0em;
            footer {
                margin-top: 0em;
                .tablewrapper {
                    padding-top: 2em;
                    padding-bottom: 3em;
                    background: #1a1a1a url(images/tile.jpg) 0 0 repeat;
                    color: $base_fg;
                }
            }
        }
    }<commit_msg>tweak display of footer content<commit_after>@font-face {
  font-family: 'MuseoSans';
  src: url('fonts/MuseoSans_300-webfont.eot');
  src: url('fonts/MuseoSans_300-webfont.eot?#iefix') format('embedded-opentype'),
       url('fonts/MuseoSans_300-webfont.woff') format('woff'),
       url('fonts/MuseoSans_300-webfont.ttf') format('truetype'),
       url('fonts/MuseoSans_300-webfont.svg#MuseoSans300') format('svg');
  font-weight: normal;
  font-style: normal;
}

@font-face {
  font-family: 'MuseoSans';
  src: url('fonts/MuseoSans_300_Italic-webfont.eot');
  src: url('fonts/MuseoSans_300_Italic-webfont.eot?#iefix') format('embedded-opentype'),
       url('fonts/MuseoSans_300_Italic-webfont.woff') format('woff'),
       url('fonts/MuseoSans_300_Italic-webfont.ttf') format('truetype'),
       url('fonts/MuseoSans_300_Italic-webfont.svg#MuseoSans300Italic') format('svg');
  font-weight: normal;
  font-style: italic;
}

@font-face {
  font-family: 'MuseoSans';
  src: url('fonts/MuseoSans_500-webfont.eot');
  src: url('fonts/MuseoSans_500-webfont.eot?#iefix') format('embedded-opentype'),
       url('fonts/MuseoSans_500-webfont.woff') format('woff'),
       url('fonts/MuseoSans_500-webfont.ttf') format('truetype'),
       url('fonts/MuseoSans_500-webfont.svg#MuseoSans500') format('svg');
  font-weight: bold;
  font-style: normal;
}

@font-face {
  font-family: 'MuseoSans';
  src: url('fonts/MuseoSans_500_Italic-webfont.eot');
  src: url('fonts/MuseoSans_500_Italic-webfont.eot?#iefix') format('embedded-opentype'),
       url('fonts/MuseoSans_500_Italic-webfont.woff') format('woff'),
       url('fonts/MuseoSans_500_Italic-webfont.ttf') format('truetype'),
       url('fonts/MuseoSans_500_Italic-webfont.svg#MuseoSans500Italic') format('svg');
  font-weight: bold;
  font-style: italic;
}

@font-face {
  font-family: 'Museo300-display';
  src: url('fonts/Museo300-Regular-webfont.eot');
  src: url('fonts/Museo300-Regular-webfont.eot?#iefix') format('embedded-opentype'),
       url('fonts/Museo300-Regular-webfont.woff') format('woff'),
       url('fonts/Museo300-Regular-webfont.ttf') format('truetype'),
       url('fonts/Museo300-Regular-webfont.svg#Museo300') format('svg');
  font-weight: normal;
  font-style: normal;
}

/* Opera has a bug (from around 10.5 upwards to current 11.6) with showing the
 * table caption *at all* if the header is set to a font-face :( */
noindex:-o-prefocus, #site-header {
  font-family: sans-serif;
}

h3, h4 {
    font-weight: bold;
}

@import "_colours";
@import "../sass/layout";

// Tiled background stripe, not plain colour
#front-main {
    background: $primary url(images/tile-y.jpg);
}
#main-nav {
    ul#main-menu {
        li {
            a:hover {
                @include background(linear-gradient(#000, #444 10%, #444 95%, #111));
            }
        }
    }
    ul#mysoc-menu {
        background: $primary url(images/tile-y.jpg);
    }
}
.nav-wrapper {
    .nav-wrapper-2 {
        @include border-image(url(images/tile-y-border.jpg) 4 0 0 0);
    }
}
body.mappage {
    .nav-wrapper {
        .nav-wrapper-2 {
              @include background(linear-gradient(#000, #222 10%, #222 90%, #000));
        }
    }
}
body.twothirdswidthpage,
body.fullwidthpage {
    #front-main {
        padding-bottom: 4em;
    }

    .container {
        .content {
            box-shadow: none;
            padding: 1em 1em 0em;
            margin-bottom: 0em;
            footer {
                margin-top: 0em;
                .tablewrapper {
                    padding-top: 2em;
                    padding-bottom: 3em;
                    background: #1a1a1a url(images/tile.jpg) 0 0 repeat;
                    color: $base_fg;
                    a:link,
                    a:visited {
                        color: $primary;
                    }
                    #footer-mobileapps {
                        a {
                            padding-left: 0.5em;
                        }
                    }
                    h4 {
                        font-weight: normal;
                        padding-bottom: 0.5em;
                    }
                }

                a.platform-logo {
                    vertical-align: baseline;
                    display: inline-block;
                    background-position: top left;
                    background-repeat: no-repeat;
                    background-size: auto 1.5em;
                    background-image: url("images/fms-platform-logo.svg");
                    text-indent: -1000%;
                    height: 1.7em;
                    width: 16em;
                    padding-right: 0.25em;
                }
            }
        }
    }
{'fraction_non_alphanumeric': 0.14913844325609033, 'fraction_numerical': 0.03826500297088532, 'mean_word_length': 2.357000398883127, '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': '5269735', 'n_tokens_mistral': 3414, 'n_tokens_neox': 2993, 'n_words': 444}