<commit_before>@font-face {
    font-family: 'Fira Sans';
    font-style: normal;
    font-weight: 300;
    src: local('Fira Sans Light'), url("fonts/FiraSans-Light.woff") format('woff');
}
@font-face {
    font-family: 'Fira Sans';
    font-style: normal;
    font-weight: 400;
    src: local('Fira Sans'), url("fonts/FiraSans-Regular.woff") format('woff');
}
@font-face {
    font-family: 'Fira Sans';
    font-style: normal;
    font-weight: 500;
    src: local('Fira Sans Medium'), url("fonts/FiraSans-Medium.woff") format('woff');
}

@font-face {
    font-family: 'Fira Mono';
    font-style: normal;
    font-weight: 400;
    src: local('Fira Mono'), url("fonts/FiraMono-Regular.ttf") format('truetype');
}

@font-face {
    font-family: 'Work Sans';
    font-style: normal;
    font-weight: 500;
    src: local('Work Sans Medium'), url("fonts/WorkSans-Medium.ttf") format('truetype');
}

body {
    margin-top: 2em;
    background-color: white;
    color: #515151;
    font-family: "Fira Sans","Helvetica Neue",Helvetica,Arial,sans-serif;
    font-weight: 300;
    font-size: 25px;
}

pre {
    font-family: "Fira Mono", ui-monospace, SFMono-Regular, Menlo, Monaco, Consolas, "Liberation Mono", "Courier New", monospace;
    font-weight: 400;
}

body#idx #pitch > a {
    font-weight: 500;
    line-height: 2em;
}

a {
    color: #428bca;
    text-decoration: none;
}

a:hover {
    color: rgb(42, 100, 150);
}

body#idx > * {
    margin-left: auto;
    margin-right: auto;
    text-align: center;
    width: 35em;
}

body#idx > #pitch {
    width: 35rem;
}

#pitch em {
    font-style: normal;
    font-weight: 400;
}

body#idx p {
    margin-top: 2em;
    margin-bottom: 2em;
}

body#idx p.other-platforms-help {
    font-size: 0.6em;
}

.instructions {
    background-color: rgb(250, 250, 250);
    margin-left: auto;
    margin-right: auto;
    text-align: center;
    border-radius: 3px;
    border: 1px solid rgb(204, 204, 204);
    box-shadow: 0px 1px 4px 0px rgb(204, 204, 204);
}

.instructions > * {
    width: 45rem;
    margin-left: auto;
    margin-right: auto;
}

hr {
    margin-top: 2em;
    margin-bottom: 2em;
}

#platform-instructions-unix > p,
#platform-instructions-win32 > p,
#platform-instructions-win64 > p,
#platform-instructions-default > p,
#platform-instructions-unknown > p {
    width: 40rem;
}

.rustup-command::before {
    color: #999;
    content: " $ ";
	margin-left: 15px;
}

.rustup-command {
    background-color: #515151;
    color: white;
    padding: 1rem 1rem 1rem 0;
    width: 45rem;
    text-align: center;
    border-radius: 3px;
    box-shadow: inset 0px 0px 20px 0px #333333;
    overflow: auto;
    font-size: 0.6em;
    white-space: nowrap;
    height: 26px;
    line-height: 26px;
}

#platform-instructions-unix div.copy-container,
#platform-instructions-win32 div.copy-container,
#platform-instructions-win64 div.copy-container,
#platform-instructions-default div.copy-container,
#platform-instructions-unknown div.copy-container {
    display: flex;
    align-items: center;
}

#platform-instructions-unix button.copy-button,
#platform-instructions-win32 button.copy-button,
#platform-instructions-win64 button.copy-button,
#platform-instructions-default button.copy-button,
#platform-instructions-unknown button.copy-button {
    height: 58px;
    margin: 1px;
    padding-right: 5px;
    border-radius: 3px;
}

#platform-instructions-unix div.copy-icon,
#platform-instructions-win32 div.copy-icon,
#platform-instructions-win64 div.copy-icon,
#platform-instructions-default div.copy-icon,
#platform-instructions-unknown div.copy-icon {
    margin-top: 12px;
}

#platform-instructions-unix div.copy-button-text,
#platform-instructions-win32 div.copy-button-text,
#platform-instructions-win64 div.copy-button-text,
#platform-instructions-default div.copy-button-text,
#platform-instructions-unknown div.copy-button-text {
    font-size: 10px;
    color: green;
    width: 41px;
    height: 15px;
}

#platform-instructions-win32 a.windows-download,
#platform-instructions-win64 a.windows-download,
#platform-instructions-default a.windows-download,
#platform-instructions-unknown a.windows-download {
    display: block;
    padding-top: 0.4rem;
    padding-bottom: 0.6rem;
    font-family: "Work Sans", "Fira Sans","Helvetica Neue",Helvetica,Arial,sans-serif;
    font-weight: 500;
    letter-spacing: 0.1rem;
}

/* This is the box that prints navigator.platform, navigator.appVersion values */
#platform-instructions-unknown > div:first-of-type {
    font-size: 16px;
    line-height: 2rem;
}

#about {
    font-size: 16px;
    line-height: 2em;
}

#about > img {<commit_msg>www: Improve Copy Button<commit_after>@font-face {
    font-family: 'Fira Sans';
    font-style: normal;
    font-weight: 300;
    src: local('Fira Sans Light'), url("fonts/FiraSans-Light.woff") format('woff');
}
@font-face {
    font-family: 'Fira Sans';
    font-style: normal;
    font-weight: 400;
    src: local('Fira Sans'), url("fonts/FiraSans-Regular.woff") format('woff');
}
@font-face {
    font-family: 'Fira Sans';
    font-style: normal;
    font-weight: 500;
    src: local('Fira Sans Medium'), url("fonts/FiraSans-Medium.woff") format('woff');
}

@font-face {
    font-family: 'Fira Mono';
    font-style: normal;
    font-weight: 400;
    src: local('Fira Mono'), url("fonts/FiraMono-Regular.ttf") format('truetype');
}

@font-face {
    font-family: 'Work Sans';
    font-style: normal;
    font-weight: 500;
    src: local('Work Sans Medium'), url("fonts/WorkSans-Medium.ttf") format('truetype');
}

body {
    margin-top: 2em;
    background-color: white;
    color: #515151;
    font-family: "Fira Sans","Helvetica Neue",Helvetica,Arial,sans-serif;
    font-weight: 300;
    font-size: 25px;
}

pre {
    font-family: "Fira Mono", ui-monospace, SFMono-Regular, Menlo, Monaco, Consolas, "Liberation Mono", "Courier New", monospace;
    font-weight: 400;
}

body#idx #pitch > a {
    font-weight: 500;
    line-height: 2em;
}

a {
    color: #428bca;
    text-decoration: none;
}

a:hover {
    color: rgb(42, 100, 150);
}

body#idx > * {
    margin-left: auto;
    margin-right: auto;
    text-align: center;
    width: 35em;
}

body#idx > #pitch {
    width: 35rem;
}

#pitch em {
    font-style: normal;
    font-weight: 400;
}

body#idx p {
    margin-top: 2em;
    margin-bottom: 2em;
}

body#idx p.other-platforms-help {
    font-size: 0.6em;
}

.instructions {
    background-color: rgb(250, 250, 250);
    margin-left: auto;
    margin-right: auto;
    text-align: center;
    border-radius: 3px;
    border: 1px solid rgb(204, 204, 204);
    box-shadow: 0px 1px 4px 0px rgb(204, 204, 204);
}

.instructions > * {
    width: 45rem;
    margin-left: auto;
    margin-right: auto;
}

hr {
    margin-top: 2em;
    margin-bottom: 2em;
}

#platform-instructions-unix > p,
#platform-instructions-win32 > p,
#platform-instructions-win64 > p,
#platform-instructions-default > p,
#platform-instructions-unknown > p {
    width: 40rem;
}

.rustup-command::before {
    color: #999;
    content: " $ ";
	margin-left: 15px;
}

.rustup-command {
    background-color: #515151;
    color: white;
    padding: 1rem 1rem 1rem 0;
    width: 45rem;
    height: auto;
    text-align: center;
    border-radius: 3px 0 0 3px;
    box-shadow: inset 0px 0px 20px 0px #333333;
    overflow: hidden;
    font-size: 0.6em;
    white-space: nowrap;
    height: 26px;
    line-height: 26px;
}

#platform-instructions-unix div.copy-container,
#platform-instructions-win32 div.copy-container,
#platform-instructions-win64 div.copy-container,
#platform-instructions-default div.copy-container,
#platform-instructions-unknown div.copy-container {
    display: flex;
    align-items: center;
}

#platform-instructions-unix button.copy-button,
#platform-instructions-win32 button.copy-button,
#platform-instructions-win64 button.copy-button,
#platform-instructions-default button.copy-button,
#platform-instructions-unknown button.copy-button {
    height: 58px;
    margin: 0;
    padding: 0 5px 0 5px;
    border-radius: 0 3px 3px 0;
    border-left-width: 0px;
    border-left-style: solid;
}

#platform-instructions-unix div.copy-icon,
#platform-instructions-win32 div.copy-icon,
#platform-instructions-win64 div.copy-icon,
#platform-instructions-default div.copy-icon,
#platform-instructions-unknown div.copy-icon {
    position: relative;
    width: fit-content;
    height: fit-content;
    top: 50%;
    left: 50%;
    transform: translate(-50%, -50%);
}

#platform-instructions-unix div.copy-button-text,
#platform-instructions-win32 div.copy-button-text,
#platform-instructions-win64 div.copy-button-text,
#platform-instructions-default div.copy-button-text,
#platform-instructions-unknown div.copy-button-text {
    font-size: 10px;
    color: green;
    width: 41px;
    height: 15px;
    position: relative;
    top: 5px;
}

#platform-instructions-win32 a.windows-download,
#platform-instructions-win64 a.windows-download,
#platform-instructions-default a.windows-download,
#platform-instructions-unknown a.windows-download {
    display: block;
    padding-top: 0.4rem;
    padding-bottom: 0.6rem;
    font-family: "Work Sans", "Fira Sans","Helvetica Neue",Helvetica,Arial,sans-serif;
    font-weight: 500;
    letter-spacing: 0.1rem;
}

/* This is the box that prints navigator.platform, navigator.appVersion values */
#platform-instructions-unknown > div:first-of-type {
    font-size: 16px;
    line-height: 2rem;
}

#about {
    font-size: 16px;
    line-height: 2em;
}

#about > img {
{'fraction_non_alphanumeric': 0.14751862343930333, 'fraction_numerical': 0.03997481901164621, 'mean_word_length': 3.4542056074766356, 'pattern_counts': {'":': 0, '<': 3, '<?xml version=': 0, '>': 25, 'https://': 0, 'lorem ipsum': 0, 'www.': 1, 'xml': 0}, 'pii_count': 0, 'substrings_counts': 0, 'word_list_counts': {'cursed_substrings.json': 8, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
{'dir': 'git-commits-cleaned', 'id': '6909604', 'n_tokens_mistral': 3851, 'n_tokens_neox': 3447, 'n_words': 719}