Fix error index display
This commit is contained in:
Guillaume Gomez
parent
72176cf96c
commit
265b234dd6
2 changed files with 324 additions and 223 deletions
487
src/doc/rust.css
487
src/doc/rust.css
|
|
@ -11,181 +11,181 @@
|
||||||
* except according to those terms.
|
* except according to those terms.
|
||||||
*/
|
*/
|
||||||
@font-face {
|
@font-face {
|
||||||
font-family: 'Fira Sans';
|
font-family: 'Fira Sans';
|
||||||
font-style: normal;
|
font-style: normal;
|
||||||
font-weight: 400;
|
font-weight: 400;
|
||||||
src: local('Fira Sans'), url("FiraSans-Regular.woff") format('woff');
|
src: local('Fira Sans'), url("FiraSans-Regular.woff") format('woff');
|
||||||
}
|
}
|
||||||
@font-face {
|
@font-face {
|
||||||
font-family: 'Fira Sans';
|
font-family: 'Fira Sans';
|
||||||
font-style: normal;
|
font-style: normal;
|
||||||
font-weight: 500;
|
font-weight: 500;
|
||||||
src: local('Fira Sans Medium'), url("FiraSans-Medium.woff") format('woff');
|
src: local('Fira Sans Medium'), url("FiraSans-Medium.woff") format('woff');
|
||||||
}
|
}
|
||||||
@font-face {
|
@font-face {
|
||||||
font-family: 'Source Serif Pro';
|
font-family: 'Source Serif Pro';
|
||||||
font-style: normal;
|
font-style: normal;
|
||||||
font-weight: 400;
|
font-weight: 400;
|
||||||
src: local('Source Serif Pro'), url("SourceSerifPro-Regular.woff") format('woff');
|
src: local('Source Serif Pro'), url("SourceSerifPro-Regular.woff") format('woff');
|
||||||
}
|
}
|
||||||
@font-face {
|
@font-face {
|
||||||
font-family: 'Source Serif Pro';
|
font-family: 'Source Serif Pro';
|
||||||
font-style: italic;
|
font-style: italic;
|
||||||
font-weight: 400;
|
font-weight: 400;
|
||||||
src: url("Heuristica-Italic.woff") format('woff');
|
src: url("Heuristica-Italic.woff") format('woff');
|
||||||
}
|
}
|
||||||
@font-face {
|
@font-face {
|
||||||
font-family: 'Source Serif Pro';
|
font-family: 'Source Serif Pro';
|
||||||
font-style: normal;
|
font-style: normal;
|
||||||
font-weight: 700;
|
font-weight: 700;
|
||||||
src: local('Source Serif Pro Bold'), url("SourceSerifPro-Bold.woff") format('woff');
|
src: local('Source Serif Pro Bold'), url("SourceSerifPro-Bold.woff") format('woff');
|
||||||
}
|
}
|
||||||
@font-face {
|
@font-face {
|
||||||
font-family: 'Source Code Pro';
|
font-family: 'Source Code Pro';
|
||||||
font-style: normal;
|
font-style: normal;
|
||||||
font-weight: 400;
|
font-weight: 400;
|
||||||
/* Avoid using locally installed font because bad versions are in circulation:
|
/* Avoid using locally installed font because bad versions are in circulation:
|
||||||
* see https://github.com/rust-lang/rust/issues/24355 */
|
* see https://github.com/rust-lang/rust/issues/24355 */
|
||||||
src: url("SourceCodePro-Regular.woff") format('woff');
|
src: url("SourceCodePro-Regular.woff") format('woff');
|
||||||
}
|
}
|
||||||
|
|
||||||
*:not(body) {
|
*:not(body) {
|
||||||
-webkit-box-sizing: border-box;
|
-webkit-box-sizing: border-box;
|
||||||
-moz-box-sizing: border-box;
|
-moz-box-sizing: border-box;
|
||||||
box-sizing: border-box;
|
box-sizing: border-box;
|
||||||
}
|
}
|
||||||
|
|
||||||
/* General structure */
|
/* General structure */
|
||||||
|
|
||||||
body {
|
body {
|
||||||
background-color: white;
|
background-color: white;
|
||||||
margin: 0 auto;
|
margin: 0 auto;
|
||||||
padding: 0 15px;
|
padding: 0 15px;
|
||||||
font-family: "Source Serif Pro", Georgia, Times, "Times New Roman", serif;
|
font-family: "Source Serif Pro", Georgia, Times, "Times New Roman", serif;
|
||||||
font-size: 18px;
|
font-size: 18px;
|
||||||
color: #333;
|
color: #333;
|
||||||
line-height: 1.428571429;
|
line-height: 1.428571429;
|
||||||
|
|
||||||
-webkit-font-feature-settings: "kern", "liga";
|
-webkit-font-feature-settings: "kern", "liga";
|
||||||
-moz-font-feature-settings: "kern", "liga";
|
-moz-font-feature-settings: "kern", "liga";
|
||||||
font-feature-settings: "kern", "liga";
|
font-feature-settings: "kern", "liga";
|
||||||
}
|
}
|
||||||
@media (min-width: 768px) {
|
@media (min-width: 768px) {
|
||||||
body {
|
body {
|
||||||
max-width: 750px;
|
max-width: 750px;
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
h1, h2, h3, h4, h5, h6, nav, #versioninfo {
|
h1, h2, h3, h4, h5, h6, nav, #versioninfo {
|
||||||
font-family: "Fira Sans", "Helvetica Neue", Helvetica, Arial, sans-serif;
|
font-family: "Fira Sans", "Helvetica Neue", Helvetica, Arial, sans-serif;
|
||||||
}
|
}
|
||||||
h1, h2, h3, h4, h5, h6 {
|
h1, h2, h3, h4, h5, h6 {
|
||||||
color: black;
|
color: black;
|
||||||
font-weight: 400;
|
font-weight: 400;
|
||||||
line-height: 1.1;
|
line-height: 1.1;
|
||||||
}
|
}
|
||||||
h1, h2, h3 {
|
h1, h2, h3 {
|
||||||
margin-top: 20px;
|
margin-top: 20px;
|
||||||
margin-bottom: 15px;
|
margin-bottom: 15px;
|
||||||
}
|
}
|
||||||
h1 {
|
h1 {
|
||||||
margin-bottom: 20px;
|
margin-bottom: 20px;
|
||||||
}
|
}
|
||||||
h4, h5, h6 {
|
h4, h5, h6 {
|
||||||
margin-top: 12px;
|
margin-top: 12px;
|
||||||
margin-bottom: 10px;
|
margin-bottom: 10px;
|
||||||
padding: 5px 10px;
|
padding: 5px 10px;
|
||||||
}
|
}
|
||||||
h5, h6 {
|
h5, h6 {
|
||||||
text-decoration: underline;
|
text-decoration: underline;
|
||||||
}
|
}
|
||||||
|
|
||||||
h1 {
|
h1 {
|
||||||
font-size: 28px;
|
font-size: 28px;
|
||||||
font-weight: 500;
|
font-weight: 500;
|
||||||
padding: .1em .4em;
|
padding: .1em .4em;
|
||||||
border-bottom: 2px solid #ddd;
|
border-bottom: 2px solid #ddd;
|
||||||
}
|
}
|
||||||
h1.title {
|
h1.title {
|
||||||
line-height: 1.5em;
|
line-height: 1.5em;
|
||||||
}
|
}
|
||||||
h2 {
|
h2 {
|
||||||
font-size: 26px;
|
font-size: 26px;
|
||||||
padding: .2em .5em;
|
padding: .2em .5em;
|
||||||
border-bottom: 1px solid #ddd;
|
border-bottom: 1px solid #ddd;
|
||||||
}
|
}
|
||||||
h3 {
|
h3 {
|
||||||
font-size: 24px;
|
font-size: 24px;
|
||||||
padding: .2em .7em;
|
padding: .2em .7em;
|
||||||
border-bottom: 1px solid #DDE8FC;
|
border-bottom: 1px solid #DDE8FC;
|
||||||
}
|
}
|
||||||
h4 {
|
h4 {
|
||||||
font-size: 22px;
|
font-size: 22px;
|
||||||
}
|
}
|
||||||
h5 {
|
h5 {
|
||||||
font-size: 20px;
|
font-size: 20px;
|
||||||
}
|
}
|
||||||
h6 {
|
h6 {
|
||||||
font-size: 18px;
|
font-size: 18px;
|
||||||
}
|
}
|
||||||
@media (min-width: 992px) {
|
@media (min-width: 992px) {
|
||||||
h1 {
|
h1 {
|
||||||
font-size: 36px;
|
font-size: 36px;
|
||||||
}
|
}
|
||||||
h2 {
|
h2 {
|
||||||
font-size: 30px;
|
font-size: 30px;
|
||||||
}
|
}
|
||||||
h3 {
|
h3 {
|
||||||
font-size: 26px;
|
font-size: 26px;
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
nav {
|
nav {
|
||||||
column-count: 2;
|
column-count: 2;
|
||||||
-moz-column-count: 2;
|
-moz-column-count: 2;
|
||||||
-webkit-column-count: 2;
|
-webkit-column-count: 2;
|
||||||
font-size: 15px;
|
font-size: 15px;
|
||||||
margin: 0 0 1em 0;
|
margin: 0 0 1em 0;
|
||||||
}
|
}
|
||||||
p {
|
p {
|
||||||
margin: 0 0 1em 0;
|
margin: 0 0 1em 0;
|
||||||
}
|
}
|
||||||
|
|
||||||
strong {
|
strong {
|
||||||
font-weight: bold;
|
font-weight: bold;
|
||||||
}
|
}
|
||||||
|
|
||||||
em {
|
em {
|
||||||
font-style: italic;
|
font-style: italic;
|
||||||
}
|
}
|
||||||
|
|
||||||
footer {
|
footer {
|
||||||
border-top: 1px solid #ddd;
|
border-top: 1px solid #ddd;
|
||||||
font-size: 14px;
|
font-size: 14px;
|
||||||
font-style: italic;
|
font-style: italic;
|
||||||
padding-top: 5px;
|
padding-top: 5px;
|
||||||
margin-top: 3em;
|
margin-top: 3em;
|
||||||
margin-bottom: 1em;
|
margin-bottom: 1em;
|
||||||
}
|
}
|
||||||
|
|
||||||
/* Links layout */
|
/* Links layout */
|
||||||
|
|
||||||
a {
|
a {
|
||||||
text-decoration: none;
|
text-decoration: none;
|
||||||
color: #428BCA;
|
color: #428BCA;
|
||||||
background: transparent;
|
background: transparent;
|
||||||
}
|
}
|
||||||
a:hover, a:focus {
|
a:hover, a:focus {
|
||||||
color: #2A6496;
|
color: #2A6496;
|
||||||
text-decoration: underline;
|
text-decoration: underline;
|
||||||
}
|
}
|
||||||
a:focus {
|
a:focus {
|
||||||
outline: thin dotted #333;
|
outline: thin dotted #333;
|
||||||
outline: 5px auto -webkit-focus-ring-color;
|
outline: 5px auto -webkit-focus-ring-color;
|
||||||
outline-offset: -2px;
|
outline-offset: -2px;
|
||||||
}
|
}
|
||||||
a:hover, a:active {
|
a:hover, a:active {
|
||||||
outline: 0;
|
outline: 0;
|
||||||
}
|
}
|
||||||
|
|
||||||
h1 a:link, h1 a:visited, h2 a:link, h2 a:visited,
|
h1 a:link, h1 a:visited, h2 a:link, h2 a:visited,
|
||||||
|
|
@ -197,34 +197,34 @@ h5 a:hover {text-decoration: none;}
|
||||||
/* Code */
|
/* Code */
|
||||||
|
|
||||||
pre, code {
|
pre, code {
|
||||||
font-family: "Source Code Pro", Menlo, Monaco, Consolas, "DejaVu Sans Mono", monospace;
|
font-family: "Source Code Pro", Menlo, Monaco, Consolas, "DejaVu Sans Mono", monospace;
|
||||||
word-wrap: break-word;
|
word-wrap: break-word;
|
||||||
}
|
}
|
||||||
pre {
|
pre {
|
||||||
border-left: 2px solid #eee;
|
border-left: 2px solid #eee;
|
||||||
white-space: pre-wrap;
|
white-space: pre-wrap;
|
||||||
padding: 14px;
|
padding: 14px;
|
||||||
padding-right: 0;
|
padding-right: 0;
|
||||||
margin: 20px 0;
|
margin: 20px 0;
|
||||||
font-size: 13px;
|
font-size: 15px;
|
||||||
word-break: break-all;
|
word-break: break-all;
|
||||||
}
|
}
|
||||||
code {
|
code {
|
||||||
padding: 0 2px;
|
padding: 0 2px;
|
||||||
color: #8D1A38;
|
color: #8D1A38;
|
||||||
}
|
}
|
||||||
pre code {
|
pre code {
|
||||||
padding: 0;
|
padding: 0;
|
||||||
font-size: inherit;
|
font-size: inherit;
|
||||||
color: inherit;
|
color: inherit;
|
||||||
}
|
}
|
||||||
|
|
||||||
a > code {
|
a > code {
|
||||||
color: #428BCA;
|
color: #428BCA;
|
||||||
}
|
}
|
||||||
|
|
||||||
.section-header > a > code {
|
.section-header > a > code {
|
||||||
color: #8D1A38;
|
color: #8D1A38;
|
||||||
}
|
}
|
||||||
|
|
||||||
/* Code highlighting */
|
/* Code highlighting */
|
||||||
|
|
@ -241,178 +241,221 @@ pre.rust .lifetime { color: #B76514; }
|
||||||
/* The rest */
|
/* The rest */
|
||||||
|
|
||||||
#versioninfo {
|
#versioninfo {
|
||||||
text-align: center;
|
text-align: center;
|
||||||
margin: 0.5em;
|
margin: 0.5em;
|
||||||
font-size: 1.1em;
|
font-size: 1.1em;
|
||||||
}
|
}
|
||||||
@media (min-width: 992px) {
|
@media (min-width: 992px) {
|
||||||
#versioninfo {
|
#versioninfo {
|
||||||
font-size: 0.8em;
|
font-size: 0.8em;
|
||||||
position: fixed;
|
position: fixed;
|
||||||
bottom: 0px;
|
bottom: 0px;
|
||||||
right: 0px;
|
right: 0px;
|
||||||
}
|
}
|
||||||
.white-sticker {
|
.white-sticker {
|
||||||
background-color: #fff;
|
background-color: #fff;
|
||||||
margin: 2px;
|
margin: 2px;
|
||||||
padding: 0 2px;
|
padding: 0 2px;
|
||||||
border-radius: .2em;
|
border-radius: .2em;
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
#versioninfo a.hash {
|
#versioninfo a.hash {
|
||||||
color: gray;
|
color: gray;
|
||||||
font-size: 80%;
|
font-size: 80%;
|
||||||
}
|
}
|
||||||
|
|
||||||
blockquote {
|
blockquote {
|
||||||
color: #000;
|
color: #000;
|
||||||
margin: 20px 0;
|
margin: 20px 0;
|
||||||
padding: 15px 20px;
|
padding: 15px 20px;
|
||||||
background-color: #f2f7f9;
|
background-color: #f2f7f9;
|
||||||
border-top: .1em solid #e5eef2;
|
border-top: .1em solid #e5eef2;
|
||||||
border-bottom: .1em solid #e5eef2;
|
border-bottom: .1em solid #e5eef2;
|
||||||
}
|
}
|
||||||
blockquote p {
|
blockquote p {
|
||||||
font-size: 17px;
|
font-size: 17px;
|
||||||
font-weight: 300;
|
font-weight: 300;
|
||||||
line-height: 1.4;
|
line-height: 1.4;
|
||||||
}
|
}
|
||||||
blockquote p:last-child {
|
blockquote p:last-child {
|
||||||
margin-bottom: 0;
|
margin-bottom: 0;
|
||||||
}
|
}
|
||||||
|
|
||||||
ul, ol {
|
ul, ol {
|
||||||
padding-left: 25px;
|
padding-left: 25px;
|
||||||
}
|
}
|
||||||
ul ul, ol ul, ul ol, ol ol {
|
ul ul, ol ul, ul ol, ol ol {
|
||||||
margin-bottom: 0;
|
margin-bottom: 0;
|
||||||
}
|
}
|
||||||
dl {
|
dl {
|
||||||
margin-bottom: 20px;
|
margin-bottom: 20px;
|
||||||
}
|
}
|
||||||
dd {
|
dd {
|
||||||
margin-left: 0;
|
margin-left: 0;
|
||||||
}
|
}
|
||||||
|
|
||||||
nav ul {
|
nav ul {
|
||||||
list-style-type: none;
|
list-style-type: none;
|
||||||
margin: 0;
|
margin: 0;
|
||||||
padding-left: 0px;
|
padding-left: 0px;
|
||||||
}
|
}
|
||||||
|
|
||||||
/* Only display one level of hierarchy in the TOC */
|
/* Only display one level of hierarchy in the TOC */
|
||||||
nav ul ul {
|
nav ul ul {
|
||||||
display: none;
|
display: none;
|
||||||
}
|
}
|
||||||
|
|
||||||
sub,
|
sub,
|
||||||
sup {
|
sup {
|
||||||
font-size: 75%;
|
font-size: 75%;
|
||||||
line-height: 0;
|
line-height: 0;
|
||||||
position: relative;
|
position: relative;
|
||||||
}
|
}
|
||||||
|
|
||||||
hr {
|
hr {
|
||||||
margin-top: 20px;
|
margin-top: 20px;
|
||||||
margin-bottom: 20px;
|
margin-bottom: 20px;
|
||||||
border: 0;
|
border: 0;
|
||||||
border-top: 1px solid #eeeeee;
|
border-top: 1px solid #eeeeee;
|
||||||
}
|
}
|
||||||
|
|
||||||
table {
|
table {
|
||||||
border-collapse: collapse;
|
border-collapse: collapse;
|
||||||
border-spacing: 0;
|
border-spacing: 0;
|
||||||
overflow-x: auto;
|
overflow-x: auto;
|
||||||
display: block;
|
display: block;
|
||||||
}
|
}
|
||||||
|
|
||||||
table tr.odd {
|
table tr.odd {
|
||||||
background: #eee;
|
background: #eee;
|
||||||
}
|
}
|
||||||
|
|
||||||
table td,
|
table td,
|
||||||
table th {
|
table th {
|
||||||
border: 1px solid #ddd;
|
border: 1px solid #ddd;
|
||||||
padding: 5px;
|
padding: 5px;
|
||||||
}
|
}
|
||||||
|
|
||||||
/* Code snippets */
|
/* Code snippets */
|
||||||
|
|
||||||
pre.rust { position: relative; }
|
pre.rust { position: relative; }
|
||||||
a.test-arrow {
|
a.test-arrow {
|
||||||
background-color: rgba(78, 139, 202, 0.2);
|
background-color: rgba(78, 139, 202, 0.2);
|
||||||
display: inline-block;
|
display: inline-block;
|
||||||
position: absolute;
|
position: absolute;
|
||||||
color: #f5f5f5;
|
color: #f5f5f5;
|
||||||
padding: 5px 10px 5px 10px;
|
padding: 5px 10px 5px 10px;
|
||||||
border-radius: 5px;
|
border-radius: 5px;
|
||||||
font-size: 130%;
|
font-size: 130%;
|
||||||
top: 5px;
|
top: 5px;
|
||||||
right: 5px;
|
right: 5px;
|
||||||
}
|
}
|
||||||
a.test-arrow:hover{
|
a.test-arrow:hover{
|
||||||
background-color: #4e8bca;
|
background-color: #4e8bca;
|
||||||
text-decoration: none;
|
text-decoration: none;
|
||||||
}
|
}
|
||||||
|
|
||||||
.unstable-feature {
|
.unstable-feature {
|
||||||
border: 2px solid red;
|
border: 2px solid red;
|
||||||
padding: 5px;
|
padding: 5px;
|
||||||
}
|
}
|
||||||
|
|
||||||
@media (min-width: 1170px) {
|
@media (min-width: 1170px) {
|
||||||
pre {
|
pre {
|
||||||
font-size: 15px;
|
font-size: 15px;
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
@media print {
|
@media print {
|
||||||
* {
|
* {
|
||||||
text-shadow: none !important;
|
text-shadow: none !important;
|
||||||
color: #000 !important;
|
color: #000 !important;
|
||||||
background: transparent !important;
|
background: transparent !important;
|
||||||
box-shadow: none !important;
|
box-shadow: none !important;
|
||||||
}
|
}
|
||||||
a, a:visited {
|
a, a:visited {
|
||||||
text-decoration: underline;
|
text-decoration: underline;
|
||||||
}
|
}
|
||||||
p a[href]:after {
|
p a[href]:after {
|
||||||
content: " (" attr(href) ")";
|
content: " (" attr(href) ")";
|
||||||
}
|
}
|
||||||
footer a[href]:after {
|
footer a[href]:after {
|
||||||
content: "";
|
content: "";
|
||||||
}
|
}
|
||||||
a[href^="javascript:"]:after, a[href^="#"]:after {
|
a[href^="javascript:"]:after, a[href^="#"]:after {
|
||||||
content: "";
|
content: "";
|
||||||
}
|
}
|
||||||
pre, blockquote {
|
pre, blockquote {
|
||||||
border: 1px solid #999;
|
border: 1px solid #999;
|
||||||
page-break-inside: avoid;
|
page-break-inside: avoid;
|
||||||
}
|
}
|
||||||
@page {
|
@page {
|
||||||
margin: 2cm .5cm;
|
margin: 2cm .5cm;
|
||||||
}
|
}
|
||||||
h1:not(.title), h2, h3 {
|
h1:not(.title), h2, h3 {
|
||||||
border-bottom: 0px none;
|
border-bottom: 0px none;
|
||||||
}
|
}
|
||||||
p, h2, h3 {
|
p, h2, h3 {
|
||||||
orphans: 3;
|
orphans: 3;
|
||||||
widows: 3;
|
widows: 3;
|
||||||
}
|
}
|
||||||
h2, h3 {
|
h2, h3 {
|
||||||
page-break-after: avoid;
|
page-break-after: avoid;
|
||||||
}
|
}
|
||||||
table {
|
table {
|
||||||
border-collapse: collapse !important;
|
border-collapse: collapse !important;
|
||||||
}
|
}
|
||||||
table td, table th {
|
table td, table th {
|
||||||
background-color: #fff !important;
|
background-color: #fff !important;
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
#keyword-table-marker + table thead { display: none; }
|
#keyword-table-marker + table thead { display: none; }
|
||||||
#keyword-table-marker + table td { border: none; }
|
#keyword-table-marker + table td { border: none; }
|
||||||
#keyword-table-marker + table {
|
#keyword-table-marker + table {
|
||||||
margin-left: 2em;
|
margin-left: 2em;
|
||||||
margin-bottom: 1em;
|
margin-bottom: 1em;
|
||||||
|
}
|
||||||
|
|
||||||
|
.error-described {
|
||||||
|
position: relative;
|
||||||
|
}
|
||||||
|
|
||||||
|
.information {
|
||||||
|
position: absolute;
|
||||||
|
left: -25px;
|
||||||
|
margin-top: 7px;
|
||||||
|
z-index: 1;
|
||||||
|
}
|
||||||
|
|
||||||
|
.tooltip {
|
||||||
|
position: relative;
|
||||||
|
display: inline-block;
|
||||||
|
cursor: pointer;
|
||||||
|
}
|
||||||
|
|
||||||
|
.tooltip .tooltiptext {
|
||||||
|
width: 120px;
|
||||||
|
display: none;
|
||||||
|
text-align: center;
|
||||||
|
padding: 5px 3px;
|
||||||
|
border-radius: 6px;
|
||||||
|
margin-left: 5px;
|
||||||
|
top: -5px;
|
||||||
|
left: 105%;
|
||||||
|
z-index: 1;
|
||||||
|
}
|
||||||
|
|
||||||
|
.tooltip:hover .tooltiptext {
|
||||||
|
display: inline;
|
||||||
|
}
|
||||||
|
|
||||||
|
.tooltip .tooltiptext::after {
|
||||||
|
content: " ";
|
||||||
|
position: absolute;
|
||||||
|
top: 50%;
|
||||||
|
left: 13px;
|
||||||
|
margin-top: -5px;
|
||||||
|
border-width: 5px;
|
||||||
|
border-style: solid;
|
||||||
}
|
}
|
||||||
|
|
|
||||||
|
|
@ -109,7 +109,65 @@ impl Formatter for HTMLFormatter {
|
||||||
}
|
}
|
||||||
|
|
||||||
fn footer(&self, output: &mut Write) -> Result<(), Box<Error>> {
|
fn footer(&self, output: &mut Write) -> Result<(), Box<Error>> {
|
||||||
write!(output, "</body>\n</html>")?;
|
write!(output, r##"<script>
|
||||||
|
function onEach(arr, func) {{
|
||||||
|
if (arr && arr.length > 0 && func) {{
|
||||||
|
for (var i = 0; i < arr.length; i++) {{
|
||||||
|
func(arr[i]);
|
||||||
|
}}
|
||||||
|
}}
|
||||||
|
}}
|
||||||
|
|
||||||
|
function hasClass(elem, className) {{
|
||||||
|
if (elem && className && elem.className) {{
|
||||||
|
var elemClass = elem.className;
|
||||||
|
var start = elemClass.indexOf(className);
|
||||||
|
if (start === -1) {{
|
||||||
|
return false;
|
||||||
|
}} else if (elemClass.length === className.length) {{
|
||||||
|
return true;
|
||||||
|
}} else {{
|
||||||
|
if (start > 0 && elemClass[start - 1] !== ' ') {{
|
||||||
|
return false;
|
||||||
|
}}
|
||||||
|
var end = start + className.length;
|
||||||
|
if (end < elemClass.length && elemClass[end] !== ' ') {{
|
||||||
|
return false;
|
||||||
|
}}
|
||||||
|
return true;
|
||||||
|
}}
|
||||||
|
if (start > 0 && elemClass[start - 1] !== ' ') {{
|
||||||
|
return false;
|
||||||
|
}}
|
||||||
|
var end = start + className.length;
|
||||||
|
if (end < elemClass.length && elemClass[end] !== ' ') {{
|
||||||
|
return false;
|
||||||
|
}}
|
||||||
|
return true;
|
||||||
|
}}
|
||||||
|
return false;
|
||||||
|
}}
|
||||||
|
|
||||||
|
onEach(document.getElementsByClassName('rust-example-rendered'), function(e) {{
|
||||||
|
if (hasClass(e, 'compile_fail')) {{
|
||||||
|
e.addEventListener("mouseover", function(event) {{
|
||||||
|
e.previousElementSibling.childNodes[0].style.color = '#f00';
|
||||||
|
}});
|
||||||
|
e.addEventListener("mouseout", function(event) {{
|
||||||
|
e.previousElementSibling.childNodes[0].style.color = '';
|
||||||
|
}});
|
||||||
|
}} else if (hasClass(e, 'ignore')) {{
|
||||||
|
e.addEventListener("mouseover", function(event) {{
|
||||||
|
e.previousElementSibling.childNodes[0].style.color = '#ff9200';
|
||||||
|
}});
|
||||||
|
e.addEventListener("mouseout", function(event) {{
|
||||||
|
e.previousElementSibling.childNodes[0].style.color = '';
|
||||||
|
}});
|
||||||
|
}}
|
||||||
|
}});
|
||||||
|
</script>
|
||||||
|
</body>
|
||||||
|
</html>"##)?;
|
||||||
Ok(())
|
Ok(())
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|
|
||||||
Loading…
Add table
Add a link
Reference in a new issue