Real-time collaboration for Jupyter Notebooks, Linux Terminals, LaTeX, VS Code, R IDE, and more,
all in one place. Commercial Alternative to JupyterHub.

Sage Reference Manual

1
/*
2
 * default.css_t
3
 * ~~~~~~~~~~~~~
4
 *
5
 * Sphinx stylesheet -- default theme.
6
 *
7
 * :copyright: Copyright 2007-2014 by the Sphinx team, see AUTHORS.
8
 * :license: BSD, see LICENSE for details.
9
 *
10
 */
11

12
@import url("basic.css");
13

14
/* -- page layout ----------------------------------------------------------- */
15

16
body {
17
    font-family: sans-serif;
18
    font-size: 100%;
19
    background-color: #B8B9F6;
20
    color: #000;
21
    margin: 0;
22
    padding: 0;
23
}
24

25
div.document {
26
    background-color: #EAEAF8;
27
}
28

29
div.documentwrapper {
30
    float: left;
31
    width: 100%;
32
}
33

34
div.bodywrapper {
35
    margin: 0 0 0 230px;
36
}
37

38
div.body {
39
    background-color: #ffffff;
40
    color: #000000;
41
    padding: 0 20px 30px 20px;
42
}
43

44
div.footer {
45
    color: #000000;
46
    width: 100%;
47
    padding: 9px 0 9px 0;
48
    text-align: center;
49
    font-size: 75%;
50
}
51

52
div.footer a {
53
    color: #000000;
54
    text-decoration: underline;
55
}
56

57
div.related {
58
    background-color: #B8B9F6;
59
    line-height: 30px;
60
    color: #000000;
61
}
62

63
div.related a {
64
    color: #090999;
65
}
66

67
div.sphinxsidebar {
68
}
69

70
div.sphinxsidebar h3 {
71
    font-family: 'Trebuchet MS', sans-serif;
72
    color: #000000;
73
    font-size: 1.4em;
74
    font-weight: normal;
75
    margin: 0;
76
    padding: 0;
77
}
78

79
div.sphinxsidebar h3 a {
80
    color: #000000;
81
}
82

83
div.sphinxsidebar h4 {
84
    font-family: 'Trebuchet MS', sans-serif;
85
    color: #000000;
86
    font-size: 1.3em;
87
    font-weight: normal;
88
    margin: 5px 0 0 0;
89
    padding: 0;
90
}
91

92
div.sphinxsidebar p {
93
    color: #000000;
94
}
95

96
div.sphinxsidebar p.topless {
97
    margin: 5px 10px 10px 10px;
98
}
99

100
div.sphinxsidebar ul {
101
    margin: 10px;
102
    padding: 0;
103
    color: #000000;
104
}
105

106
div.sphinxsidebar a {
107
    color: #090999;
108
}
109

110
div.sphinxsidebar input {
111
    border: 1px solid #090999;
112
    font-family: sans-serif;
113
    font-size: 1em;
114
}
115

116

117

118
/* -- hyperlink styles ------------------------------------------------------ */
119

120
a {
121
    color: #45529B;
122
    text-decoration: none;
123
}
124

125
a:visited {
126
    color: #355f7c;
127
    text-decoration: none;
128
}
129

130
a:hover {
131
    text-decoration: underline;
132
}
133

134

135

136
/* -- body styles ----------------------------------------------------------- */
137

138
div.body h1,
139
div.body h2,
140
div.body h3,
141
div.body h4,
142
div.body h5,
143
div.body h6 {
144
    font-family: 'Trebuchet MS', sans-serif;
145
    background-color: #EAEAF8;
146
    font-weight: normal;
147
    color: #20435c;
148
    border-bottom: 1px solid #ccc;
149
    margin: 20px -20px 10px -20px;
150
    padding: 3px 0 3px 10px;
151
}
152

153
div.body h1 { margin-top: 0; font-size: 200%; }
154
div.body h2 { font-size: 160%; }
155
div.body h3 { font-size: 140%; }
156
div.body h4 { font-size: 120%; }
157
div.body h5 { font-size: 110%; }
158
div.body h6 { font-size: 100%; }
159

160
a.headerlink {
161
    color: #c60f0f;
162
    font-size: 0.8em;
163
    padding: 0 4px 0 4px;
164
    text-decoration: none;
165
}
166

167
a.headerlink:hover {
168
    background-color: #c60f0f;
169
    color: white;
170
}
171

172
div.body p, div.body dd, div.body li {
173
    text-align: justify;
174
    line-height: 130%;
175
}
176

177
div.admonition p.admonition-title + p {
178
    display: inline;
179
}
180

181
div.admonition p {
182
    margin-bottom: 5px;
183
}
184

185
div.admonition pre {
186
    margin-bottom: 5px;
187
}
188

189
div.admonition ul, div.admonition ol {
190
    margin-bottom: 5px;
191
}
192

193
div.note {
194
    background-color: #eee;
195
    border: 1px solid #ccc;
196
}
197

198
div.seealso {
199
    background-color: #ffc;
200
    border: 1px solid #ff6;
201
}
202

203
div.topic {
204
    background-color: #eee;
205
}
206

207
div.warning {
208
    background-color: #ffe4e4;
209
    border: 1px solid #f66;
210
}
211

212
p.admonition-title {
213
    display: inline;
214
}
215

216
p.admonition-title:after {
217
    content: ":";
218
}
219

220
pre {
221
    padding: 5px;
222
    background-color: #FFFFE5;
223
    color: #333333;
224
    line-height: 120%;
225
    border: 1px solid #ac9;
226
    border-left: none;
227
    border-right: none;
228
}
229

230
tt {
231
    background-color: #ecf0f3;
232
    padding: 0 1px 0 1px;
233
    font-size: 0.95em;
234
}
235

236
th {
237
    background-color: #ede;
238
}
239

240
.warning tt {
241
    background: #efc2c2;
242
}
243

244
.note tt {
245
    background: #d6d6d6;
246
}
247

248
.viewcode-back {
249
    font-family: sans-serif;
250
}
251

252
div.viewcode-block:target {
253
    background-color: #f4debf;
254
    border-top: 1px solid #ac9;
255
    border-bottom: 1px solid #ac9;
256
}
257