2012-01-18 09:58:08 +01:00
|
|
|
body {
|
|
|
|
padding: 1em;
|
|
|
|
margin: 0;
|
|
|
|
font-family: "Helvetica Neue", Helvetica, sans-serif;
|
|
|
|
}
|
|
|
|
|
|
|
|
body {
|
|
|
|
padding: 1em 6em;
|
2012-01-19 12:51:20 +01:00
|
|
|
max-width: 60em;
|
2012-01-18 09:58:08 +01:00
|
|
|
}
|
|
|
|
|
2012-01-19 12:51:20 +01:00
|
|
|
h1 {
|
|
|
|
font-size: 22pt;
|
|
|
|
margin-top: 2em;
|
|
|
|
border-bottom: 2px solid silver;
|
|
|
|
}
|
2012-01-18 09:58:08 +01:00
|
|
|
h2 { font-size: 17pt; }
|
|
|
|
h3 { font-size: 14pt; }
|
|
|
|
|
|
|
|
pre {
|
|
|
|
margin: 1.1em 0;
|
2012-03-11 00:26:41 +01:00
|
|
|
padding: .4em .4em .4em 2em;
|
2012-01-18 09:58:08 +01:00
|
|
|
font-size: 120%;
|
|
|
|
}
|
|
|
|
|
|
|
|
a, a:visited, a:link {
|
|
|
|
text-decoration: none;
|
|
|
|
color: #00438a;
|
|
|
|
}
|
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
|
|
|
|
|
|
|
h1.title {
|
2012-06-16 21:48:48 +02:00
|
|
|
background-image: url('http://www.rust-lang.org/logos/rust-logo-32x32-blk.png');
|
2012-06-10 01:37:41 +02:00
|
|
|
background-repeat: no-repeat;
|
2012-06-16 21:48:48 +02:00
|
|
|
background-position: right;
|
2012-06-10 01:37:41 +02:00
|
|
|
}
|