643a7e394afa2cde655ea7f1de8dfbeab0056ba5
[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 }
20
21 h1, h2, h3, h4, h5, h6 {
22     line-height: 1.1em;
23 }
24
25 div.docs {
26     max-width: 580px;
27     padding-left: 35px;
28 }
29 #background {
30     position: absolute;
31     height: 100%;
32     left: 640px;
33 }
34 div.code {
35     margin-left: 640px;
36 }
37
38
39 h1, h2, h3, h4, h5, h6 {
40     margin-top: 20px;
41 }
42 div.docs p {
43     margin-bottom: 5px;
44 }
45 div.code {
46     padding-top: 5px;
47     padding-bottom: 3px;
48 }
49
50 @media print {
51     #background {
52         background: none;
53         border: none;
54     }
55     div.docs {
56         max-width: 99%;
57         padding-left: 0px;
58         padding-right: 0px;
59     }
60     div.code {
61         margin: 0px;
62         clear: both;
63     }
64 }
65
66 @media screen and (max-width:1000px) {
67     #background {
68         background: none;
69         border: none;
70     }
71     div.docs {
72         max-width: 99%;
73     }
74     div.code {
75         margin: 0px;
76         clear: both;
77     }
78 }
79
80 /*---------------------- Syntax Highlighting -----------------------------*/
81 body .k { font-weight: bold }                   /* Keyword */
82 body .kd { font-weight: normal }                /* Keyword.Declaration */
83 body .n { color: #19469D }                      /* Name */
84
85 body .mf { color: #40A070 }                     /* Literal.Number.Float */
86 body .mh { color: #40A070 }                     /* Literal.Number.Hex */
87 body .mi { color: #40A070 }                     /* Literal.Number.Integer */
88 body .mo { color: #40A070 }                     /* Literal.Number.Oct */
89 body .il { color: #40A070 }                     /* Literal.Number.Integer.Long */