1 files changed, 355 insertions, 0 deletions
diff --git a/src/doc/rust.css b/src/doc/rust.css
new file mode 100644
index 000000000..d33ab0326
--- /dev/null
+++ b/src/doc/rust.css
@@ -0,0 +1,355 @@
+/* General structure */
+
+body {
+	margin: 0 auto;
+	padding: 0 15px;
+	font-size: 18px;
+	color: #333;
+	line-height: 1.428571429;
+
+	-webkit-box-sizing: unset;
+	-moz-box-sizing: unset;
+	box-sizing: unset;
+}
+@media (min-width: 768px) {
+	body {
+		max-width: 750px;
+	}
+}
+
+h2, h3, h4, h5, h6 {
+	font-weight: 400;
+	line-height: 1.1;
+}
+h1, h2, h3 {
+	margin-top: 20px;
+	margin-bottom: 15px;
+}
+h1 {
+	margin-bottom: 20px;
+	line-height: 1.1;
+}
+h4, h5, h6 {
+	margin-top: 12px;
+	margin-bottom: 10px;
+	padding: 5px 10px;
+}
+h5, h6 {
+	color: black;
+	text-decoration: underline;
+}
+
+h1 {
+	font-size: 28px;
+	font-weight: 500;
+	padding: .1em .4em;
+	border-bottom: 2px solid #ddd;
+}
+h1.title {
+	line-height: 1.5em;
+}
+h2 {
+	font-size: 26px;
+	padding: .2em .5em;
+	border-bottom: 1px solid #ddd;
+}
+h3 {
+	font-size: 24px;
+	padding: .2em .7em;
+	border-bottom: 1px solid #DDE8FC;
+}
+h4 {
+	font-size: 22px;
+	border-bottom: none;
+}
+h5 {
+	font-size: 20px;
+}
+h6 {
+	font-size: 18px;
+}
+@media (min-width: 992px) {
+	h1 {
+		font-size: 36px;
+	}
+	h2 {
+		font-size: 30px;
+	}
+	h3 {
+		font-size: 26px;
+	}
+}
+
+nav {
+	column-count: 2;
+	-moz-column-count: 2;
+	-webkit-column-count: 2;
+	font-size: 15px;
+	margin: 0 0 1em 0;
+}
+p {
+	margin: 0 0 1em 0;
+}
+
+strong {
+	font-weight: bold;
+}
+
+em {
+	font-style: italic;
+}
+
+footer {
+	border-top: 1px solid #ddd;
+	font-size: 14px;
+	font-style: italic;
+	padding-top: 5px;
+	margin-top: 3em;
+	margin-bottom: 1em;
+}
+
+/* Links layout */
+
+a {
+	text-decoration: none;
+	color: #428BCA;
+	background: transparent;
+}
+a:hover, a:focus {
+	color: #2A6496;
+	text-decoration: underline;
+}
+a:focus {
+	outline: thin dotted #333;
+	outline: 5px auto -webkit-focus-ring-color;
+	outline-offset: -2px;
+}
+a:hover, a:active {
+	outline: 0;
+}
+
+h1 a:link, h1 a:visited, h2 a:link, h2 a:visited,
+h3 a:link, h3 a:visited, h4 a:link, h4 a:visited,
+h5 a:link, h5 a:visited {color: black;}
+
+/* Code */
+
+pre, code {
+	word-wrap: break-word;
+}
+pre {
+	border-left: 2px solid #eee;
+	white-space: pre-wrap;
+	padding-right: 0;
+	margin: 20px 0;
+	font-size: 15px;
+	word-break: break-all;
+}
+code {
+	padding: 0 2px;
+	color: #8D1A38;
+}
+pre code {
+	padding: 0;
+	font-size: inherit;
+	color: inherit;
+}
+
+a > code {
+	color: #428BCA;
+}
+
+.section-header > a > code {
+	color: #8D1A38;
+}
+
+#versioninfo {
+	text-align: center;
+	margin: 0.5em;
+	font-size: 1.1em;
+}
+@media (min-width: 992px) {
+	#versioninfo {
+		font-size: 0.8em;
+		position: fixed;
+		bottom: 0px;
+		right: 0px;
+	}
+	.white-sticker {
+		background-color: #fff;
+		margin: 2px;
+		padding: 0 2px;
+		border-radius: .2em;
+	}
+}
+#versioninfo a.hash {
+	color: gray;
+	font-size: 80%;
+}
+
+blockquote {
+	color: #000;
+	margin: 20px 0;
+	padding: 15px 20px;
+	background-color: #f2f7f9;
+	border-top: .1em solid #e5eef2;
+	border-bottom: .1em solid #e5eef2;
+}
+blockquote p {
+	font-size: 17px;
+	font-weight: 300;
+	line-height: 1.4;
+}
+blockquote p:last-child {
+	margin-bottom: 0;
+}
+
+ul ul, ol ul, ul ol, ol ol {
+	margin-bottom: 0;
+}
+dl {
+	margin-bottom: 20px;
+}
+dd {
+	margin-left: 0;
+}
+
+nav ul {
+	list-style-type: none;
+	margin: 0;
+	padding-left: 0px;
+}
+
+/* Only display one level of hierarchy in the TOC */
+nav ul ul {
+	display: none;
+}
+
+sub,
+sup {
+	font-size: 75%;
+	line-height: 0;
+	position: relative;
+}
+
+hr {
+	margin-top: 20px;
+	margin-bottom: 20px;
+	border: 0;
+	border-top: 1px solid #eeeeee;
+}
+
+table {
+	border-collapse: collapse;
+	border-spacing: 0;
+	overflow-x: auto;
+	display: block;
+}
+
+table tr.odd {
+	background: #eee;
+}
+
+table td,
+table th {
+	border: 1px solid #ddd;
+	padding: 5px;
+}
+
+/* Code snippets */
+
+a.test-arrow {
+	color: #f5f5f5
+}
+
+.unstable-feature {
+	border: 2px solid red;
+	padding: 5px;
+}
+
+@media (min-width: 1170px) {
+	pre {
+		font-size: 15px;
+	}
+}
+
+@media print {
+	* {
+		text-shadow: none !important;
+		color: #000 !important;
+		background: transparent !important;
+		box-shadow: none !important;
+	}
+	a, a:visited {
+		text-decoration: underline;
+	}
+	p a[href]:after {
+		content: " (" attr(href) ")";
+	}
+	footer a[href]:after {
+		content: "";
+	}
+	a[href^="javascript:"]:after, a[href^="#"]:after {
+		content: "";
+	}
+	pre, blockquote {
+		border: 1px solid #999;
+		page-break-inside: avoid;
+	}
+	@page {
+		margin: 2cm .5cm;
+	}
+	h1:not(.title), h2, h3 {
+		border-bottom: 0px none;
+	}
+	p, h2, h3 {
+		orphans: 3;
+		widows: 3;
+	}
+	h2, h3 {
+		page-break-after: avoid;
+	}
+	table {
+		border-collapse: collapse !important;
+	}
+	table td, table th {
+		background-color: #fff !important;
+	}
+}
+
+#keyword-table-marker + table thead { display: none; }
+#keyword-table-marker + table td { border: none; }
+#keyword-table-marker + table {
+	margin-left: 2em;
+	margin-bottom: 1em;
+}
+
+.error-described {
+	position: relative;
+}
+
+.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;
+}