Book a Demo!
CoCalc Logo Icon
StoreFeaturesDocsShareSupportNewsAboutPoliciesSign UpSign In
Download
81169 views
1
/*--------------------- Layout and Typography ----------------------------*/
2
body {
3
font-family: 'Palatino Linotype', 'Book Antiqua', Palatino, FreeSerif, serif;
4
font-size: 15px;
5
line-height: 22px;
6
color: #252519;
7
margin: 0; padding: 0;
8
}
9
a {
10
color: #261a3b;
11
}
12
a:visited {
13
color: #261a3b;
14
}
15
p {
16
margin: 0 0 15px 0;
17
}
18
h1, h2, h3, h4, h5, h6 {
19
margin: 0px 0 15px 0;
20
}
21
h1 {
22
margin-top: 40px;
23
}
24
hr {
25
border: 0 none;
26
border-top: 1px solid #e5e5ee;
27
height: 1px;
28
margin: 20px 0;
29
}
30
#container {
31
position: relative;
32
}
33
#background {
34
position: fixed;
35
top: 0; left: 525px; right: 0; bottom: 0;
36
background: #f5f5ff;
37
border-left: 1px solid #e5e5ee;
38
z-index: -1;
39
}
40
#jump_to, #jump_page {
41
background: white;
42
-webkit-box-shadow: 0 0 25px #777; -moz-box-shadow: 0 0 25px #777;
43
-webkit-border-bottom-left-radius: 5px; -moz-border-radius-bottomleft: 5px;
44
font: 10px Arial;
45
text-transform: uppercase;
46
cursor: pointer;
47
text-align: right;
48
}
49
#jump_to, #jump_wrapper {
50
position: fixed;
51
right: 0; top: 0;
52
padding: 5px 10px;
53
}
54
#jump_wrapper {
55
padding: 0;
56
display: none;
57
}
58
#jump_to:hover #jump_wrapper {
59
display: block;
60
}
61
#jump_page {
62
padding: 5px 0 3px;
63
margin: 0 0 25px 25px;
64
}
65
#jump_page .source {
66
display: block;
67
padding: 5px 10px;
68
text-decoration: none;
69
border-top: 1px solid #eee;
70
}
71
#jump_page .source:hover {
72
background: #f5f5ff;
73
}
74
#jump_page .source:first-child {
75
}
76
table td {
77
border: 0;
78
outline: 0;
79
}
80
td.docs, th.docs {
81
max-width: 450px;
82
min-width: 450px;
83
min-height: 5px;
84
padding: 10px 25px 1px 50px;
85
overflow-x: hidden;
86
vertical-align: top;
87
text-align: left;
88
}
89
.docs pre {
90
margin: 15px 0 15px;
91
padding-left: 15px;
92
}
93
.docs p tt, .docs p code {
94
background: #f8f8ff;
95
border: 1px solid #dedede;
96
font-size: 12px;
97
padding: 0 0.2em;
98
}
99
.pilwrap {
100
position: relative;
101
}
102
.pilcrow {
103
font: 12px Arial;
104
text-decoration: none;
105
color: #454545;
106
position: absolute;
107
top: 3px; left: -20px;
108
padding: 1px 2px;
109
opacity: 0;
110
-webkit-transition: opacity 0.2s linear;
111
}
112
td.docs:hover .pilcrow {
113
opacity: 1;
114
}
115
td.code, th.code {
116
padding: 14px 15px 16px 25px;
117
width: 100%;
118
vertical-align: top;
119
background: #f5f5ff;
120
border-left: 1px solid #e5e5ee;
121
}
122
pre, tt, code {
123
font-size: 12px; line-height: 18px;
124
font-family: Menlo, Monaco, Consolas, "Lucida Console", monospace;
125
margin: 0; padding: 0;
126
}
127
128
129
/*---------------------- Syntax Highlighting -----------------------------*/
130
td.linenos { background-color: #f0f0f0; padding-right: 10px; }
131
span.lineno { background-color: #f0f0f0; padding: 0 5px 0 5px; }
132
body .hll { background-color: #ffffcc }
133
body .c { color: #408080; font-style: italic } /* Comment */
134
body .err { border: 1px solid #FF0000 } /* Error */
135
body .k { color: #954121 } /* Keyword */
136
body .o { color: #666666 } /* Operator */
137
body .cm { color: #408080; font-style: italic } /* Comment.Multiline */
138
body .cp { color: #BC7A00 } /* Comment.Preproc */
139
body .c1 { color: #408080; font-style: italic } /* Comment.Single */
140
body .cs { color: #408080; font-style: italic } /* Comment.Special */
141
body .gd { color: #A00000 } /* Generic.Deleted */
142
body .ge { font-style: italic } /* Generic.Emph */
143
body .gr { color: #FF0000 } /* Generic.Error */
144
body .gh { color: #000080; font-weight: bold } /* Generic.Heading */
145
body .gi { color: #00A000 } /* Generic.Inserted */
146
body .go { color: #808080 } /* Generic.Output */
147
body .gp { color: #000080; font-weight: bold } /* Generic.Prompt */
148
body .gs { font-weight: bold } /* Generic.Strong */
149
body .gu { color: #800080; font-weight: bold } /* Generic.Subheading */
150
body .gt { color: #0040D0 } /* Generic.Traceback */
151
body .kc { color: #954121 } /* Keyword.Constant */
152
body .kd { color: #954121; font-weight: bold } /* Keyword.Declaration */
153
body .kn { color: #954121; font-weight: bold } /* Keyword.Namespace */
154
body .kp { color: #954121 } /* Keyword.Pseudo */
155
body .kr { color: #954121; font-weight: bold } /* Keyword.Reserved */
156
body .kt { color: #B00040 } /* Keyword.Type */
157
body .m { color: #666666 } /* Literal.Number */
158
body .s { color: #219161 } /* Literal.String */
159
body .na { color: #7D9029 } /* Name.Attribute */
160
body .nb { color: #954121 } /* Name.Builtin */
161
body .nc { color: #0000FF; font-weight: bold } /* Name.Class */
162
body .no { color: #880000 } /* Name.Constant */
163
body .nd { color: #AA22FF } /* Name.Decorator */
164
body .ni { color: #999999; font-weight: bold } /* Name.Entity */
165
body .ne { color: #D2413A; font-weight: bold } /* Name.Exception */
166
body .nf { color: #0000FF } /* Name.Function */
167
body .nl { color: #A0A000 } /* Name.Label */
168
body .nn { color: #0000FF; font-weight: bold } /* Name.Namespace */
169
body .nt { color: #954121; font-weight: bold } /* Name.Tag */
170
body .nv { color: #19469D } /* Name.Variable */
171
body .ow { color: #AA22FF; font-weight: bold } /* Operator.Word */
172
body .w { color: #bbbbbb } /* Text.Whitespace */
173
body .mf { color: #666666 } /* Literal.Number.Float */
174
body .mh { color: #666666 } /* Literal.Number.Hex */
175
body .mi { color: #666666 } /* Literal.Number.Integer */
176
body .mo { color: #666666 } /* Literal.Number.Oct */
177
body .sb { color: #219161 } /* Literal.String.Backtick */
178
body .sc { color: #219161 } /* Literal.String.Char */
179
body .sd { color: #219161; font-style: italic } /* Literal.String.Doc */
180
body .s2 { color: #219161 } /* Literal.String.Double */
181
body .se { color: #BB6622; font-weight: bold } /* Literal.String.Escape */
182
body .sh { color: #219161 } /* Literal.String.Heredoc */
183
body .si { color: #BB6688; font-weight: bold } /* Literal.String.Interpol */
184
body .sx { color: #954121 } /* Literal.String.Other */
185
body .sr { color: #BB6688 } /* Literal.String.Regex */
186
body .s1 { color: #219161 } /* Literal.String.Single */
187
body .ss { color: #19469D } /* Literal.String.Symbol */
188
body .bp { color: #954121 } /* Name.Builtin.Pseudo */
189
body .vc { color: #19469D } /* Name.Variable.Class */
190
body .vg { color: #19469D } /* Name.Variable.Global */
191
body .vi { color: #19469D } /* Name.Variable.Instance */
192
body .il { color: #666666 } /* Literal.Number.Integer.Long */
193