Removed warning of rustc 1.7.0 complaining about deprecated usage of std::thread...
[rust-101.git] / docs / pycco_custom.css
1 /*--------------------- Typography ----------------------------*/
2
3 @font-face {
4     font-family: 'aller-light';
5     src: url('fonts/aller-light.eot');
6     src: url('fonts/aller-light.eot?#iefix') format('embedded-opentype'),
7          url('fonts/aller-light.woff') format('woff'),
8          url('fonts/aller-light.ttf') format('truetype');
9     font-weight: normal;
10     font-style: normal;
11 }
12
13 /*--------------------- Layout ----------------------------*/
14 body {
15     font-family: 'aller-light', sans-serif;
16     position: relative;
17     display: inline-block;
18     min-height: 100%;
19     min-width: 100%;
20 }
21
22 h1, h2, h3, h4, h5, h6 {
23     line-height: 1.1em;
24 }
25
26 div.docs {
27     max-width: 580px;
28     padding-left: 35px;
29 }
30 #background {
31     position: absolute;
32     height: 100%;
33     left: 640px;
34 }
35 div.code {
36     margin-left: 640px;
37 }
38
39
40 h1, h2, h3, h4, h5, h6 {
41     margin-top: 20px;
42 }
43 div.docs p {
44     margin-bottom: 5px;
45 }
46 div.code {
47     padding-top: 5px;
48     padding-bottom: 3px;
49 }
50
51 @media print {
52     #background {
53         background: none;
54         border: none;
55     }
56     div.docs {
57         max-width: 99%;
58         padding-left: 0px;
59         padding-right: 0px;
60     }
61     div.code {
62         margin: 0px;
63         clear: both;
64     }
65 }
66
67 @media screen and (max-width:1200px) {
68     #background {
69         background: none;
70         border: none;
71     }
72     div.docs {
73         max-width: 99%;
74     }
75     div.code {
76         margin: 0px;
77         clear: both;
78     }
79 }
80
81 /*---------------------- Syntax Highlighting -----------------------------*/
82 body .k { font-weight: bold }                   /* Keyword */
83 body .kd { font-weight: normal }                /* Keyword.Declaration */
84 body .n { color: #19469D }                      /* Name */
85
86 body .mf { color: #40A070 }                     /* Literal.Number.Float */
87 body .mh { color: #40A070 }                     /* Literal.Number.Hex */
88 body .mi { color: #40A070 }                     /* Literal.Number.Integer */
89 body .mo { color: #40A070 }                     /* Literal.Number.Oct */
90 body .il { color: #40A070 }                     /* Literal.Number.Integer.Long */