2012-01-18 09:58:08 +01:00
|
|
|
body {
|
2013-06-12 02:43:26 +02:00
|
|
|
padding: 1em 6em;
|
|
|
|
margin: 0;
|
|
|
|
margin-bottom: 4em;
|
|
|
|
font-family: "Helvetica Neue", Helvetica, sans-serif;
|
|
|
|
font-size: 12pt;
|
|
|
|
background-color: white;
|
|
|
|
color: black;
|
|
|
|
line-height: 1.6em;
|
|
|
|
min-width: 45em;
|
|
|
|
max-width: 60em;
|
2012-01-18 09:58:08 +01:00
|
|
|
}
|
|
|
|
|
2012-01-19 12:51:20 +01:00
|
|
|
h1 {
|
2013-06-16 17:39:13 +02:00
|
|
|
font-size: 24pt;
|
|
|
|
margin-top: 1.6em;
|
2013-06-12 02:43:26 +02:00
|
|
|
padding-left: 0.4em;
|
|
|
|
line-height: 1.6em;
|
|
|
|
background-color:#FFF2CE;
|
|
|
|
border-radius: 0.2em;
|
2012-01-19 12:51:20 +01:00
|
|
|
}
|
2013-06-12 02:43:26 +02:00
|
|
|
|
2012-10-01 06:35:32 +02:00
|
|
|
h2 {
|
2013-06-16 17:39:13 +02:00
|
|
|
font-size: 16pt;
|
|
|
|
margin-top: 1.6em;
|
|
|
|
padding: 0.2em 0.5em;
|
2013-06-12 02:43:26 +02:00
|
|
|
background-color:#FFF2CE;
|
|
|
|
border-radius: 0.4em;
|
|
|
|
}
|
|
|
|
|
|
|
|
h2 code {
|
|
|
|
color: #097334;
|
2013-06-16 17:39:13 +02:00
|
|
|
font-size: 16pt;
|
2013-06-12 02:43:26 +02:00
|
|
|
}
|
|
|
|
|
|
|
|
h3 {
|
2013-06-16 17:39:13 +02:00
|
|
|
font-size: 14pt;
|
2013-06-12 02:43:26 +02:00
|
|
|
color: black;
|
|
|
|
background-color:#D9E7FF;
|
|
|
|
border-radius: 0.4em;
|
2013-06-16 17:39:13 +02:00
|
|
|
padding: 0.2em 0.5em;
|
2013-06-12 02:43:26 +02:00
|
|
|
}
|
|
|
|
|
|
|
|
h3 code {
|
|
|
|
color: #541800;
|
2013-06-16 17:39:13 +02:00
|
|
|
font-size: 14pt;
|
2013-06-12 02:43:26 +02:00
|
|
|
font-style: italic;
|
|
|
|
}
|
|
|
|
|
|
|
|
h4 {
|
|
|
|
font-size: 11pt;
|
|
|
|
margin-top: 0em;
|
|
|
|
margin-bottom: 0em;
|
|
|
|
}
|
|
|
|
|
|
|
|
code {
|
|
|
|
font-size: 11pt;
|
2012-10-01 06:35:32 +02:00
|
|
|
}
|
2012-01-18 09:58:08 +01:00
|
|
|
|
|
|
|
pre {
|
2013-06-12 02:43:26 +02:00
|
|
|
margin-left: 1.1em;
|
|
|
|
padding: .4em .4em .4em .8em;
|
|
|
|
font-size: 10pt;
|
|
|
|
background-color: #F5F5F5;
|
|
|
|
border-radius: 0.5em;
|
|
|
|
border: 1px solid rgba(0, 0, 0, 0.15);
|
|
|
|
}
|
|
|
|
|
|
|
|
pre.rust {
|
|
|
|
background-color: #F3F6FF;
|
2012-01-18 09:58:08 +01:00
|
|
|
}
|
|
|
|
|
|
|
|
a, a:visited, a:link {
|
2013-06-12 02:43:26 +02:00
|
|
|
text-decoration: none;
|
|
|
|
color: rgb(0, 105, 214);
|
2012-01-18 09:58:08 +01:00
|
|
|
}
|
2012-01-19 12:51:20 +01:00
|
|
|
|
|
|
|
h1 a:link, h1 a:visited, h2 a:link, h2 a:visited,
|
|
|
|
h3 a:link, h3 a:visited { color: black; }
|
|
|
|
|
|
|
|
/* Code highlighting */
|
|
|
|
.cm-s-default span.cm-keyword {color: #708;}
|
|
|
|
.cm-s-default span.cm-atom {color: #219;}
|
|
|
|
.cm-s-default span.cm-number {color: #164;}
|
|
|
|
.cm-s-default span.cm-def {color: #00f;}
|
|
|
|
.cm-s-default span.cm-variable {color: black;}
|
|
|
|
.cm-s-default span.cm-variable-2 {color: #05a;}
|
|
|
|
.cm-s-default span.cm-variable-3 {color: #085;}
|
|
|
|
.cm-s-default span.cm-property {color: black;}
|
|
|
|
.cm-s-default span.cm-operator {color: black;}
|
|
|
|
.cm-s-default span.cm-comment {color: #a50;}
|
|
|
|
.cm-s-default span.cm-string {color: #a11;}
|
|
|
|
.cm-s-default span.cm-string-2 {color: #f50;}
|
|
|
|
.cm-s-default span.cm-meta {color: #555;}
|
|
|
|
.cm-s-default span.cm-error {color: #f00;}
|
|
|
|
.cm-s-default span.cm-qualifier {color: #555;}
|
|
|
|
.cm-s-default span.cm-builtin {color: #30a;}
|
|
|
|
.cm-s-default span.cm-bracket {color: #cc7;}
|
|
|
|
.cm-s-default span.cm-tag {color: #170;}
|
|
|
|
.cm-s-default span.cm-attribute {color: #00c;}
|
2012-06-10 01:37:41 +02:00
|
|
|
|
2012-07-18 01:15:37 +02:00
|
|
|
#versioninfo {
|
|
|
|
position: fixed;
|
|
|
|
bottom: 0px;
|
|
|
|
right: 0px;
|
|
|
|
|
|
|
|
background-color: white;
|
|
|
|
padding: 0.5em;
|
|
|
|
}
|
|
|
|
|
|
|
|
a.lessimportant {
|
|
|
|
color: gray;
|
|
|
|
font-size: 60%;
|
|
|
|
}
|
|
|
|
|
2012-07-08 00:51:11 +02:00
|
|
|
blockquote {
|
|
|
|
color: black;
|
2012-07-08 08:45:28 +02:00
|
|
|
border-left: solid 1px silver;
|
2012-07-08 00:51:11 +02:00
|
|
|
margin: 1em;
|
|
|
|
padding: 0.5em 1em 0.5em 1em;
|
2012-09-23 06:14:58 +02:00
|
|
|
}
|
|
|
|
|
|
|
|
/* Make the table under the tutorial's 'Types' section look nicer */
|
|
|
|
table {
|
|
|
|
border-top: 1px solid silver;
|
|
|
|
border-bottom: 1px solid silver;
|
|
|
|
padding: 0.8em;
|
|
|
|
font-size: smaller;
|
|
|
|
}
|
2012-09-26 00:00:26 +02:00
|
|
|
/* Also for the benefit of the type table */
|
2012-09-23 06:14:58 +02:00
|
|
|
td {
|
|
|
|
padding-right: 1em;
|
|
|
|
}
|
2012-09-26 00:03:20 +02:00
|
|
|
|
|
|
|
/* Only display one level of hierarchy in the TOC */
|
|
|
|
#TOC ul ul {
|
|
|
|
display: none;
|
|
|
|
}
|
2012-10-01 06:35:32 +02:00
|
|
|
|
|
|
|
#TOC ul {
|
|
|
|
list-style: none;
|
|
|
|
padding-left: 0px;
|
2013-03-26 00:41:27 +01:00
|
|
|
}
|
|
|
|
|
|
|
|
/* Adjust list alignment so rustdoc indexes don't align with blockquotes */
|
|
|
|
div.index ul {
|
|
|
|
padding-left: 1em;
|
2013-06-12 02:43:26 +02:00
|
|
|
}
|
|
|
|
|
|
|
|
ul {
|
|
|
|
margin-top: 0em
|
|
|
|
}
|
|
|
|
|
|
|
|
div.section.level3 {
|
|
|
|
margin-left: 1.0em;
|
|
|
|
}
|