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
 * basic.css
3
 * ~~~~~~~~~
4
 *
5
 * Sphinx stylesheet -- basic theme.
6
 *
7
 * :copyright: Copyright 2007-2014 by the Sphinx team, see AUTHORS.
8
 * :license: BSD, see LICENSE for details.
9
 *
10
 */
11

12
/* -- main layout ----------------------------------------------------------- */
13

14
div.clearer {
15
    clear: both;
16
}
17

18
/* -- relbar ---------------------------------------------------------------- */
19

20
div.related {
21
    width: 100%;
22
    font-size: 90%;
23
}
24

25
div.related h3 {
26
    display: none;
27
}
28

29
div.related ul {
30
    margin: 0;
31
    padding: 0 0 0 10px;
32
    list-style: none;
33
}
34

35
div.related li {
36
    display: inline;
37
}
38

39
div.related li.right {
40
    float: right;
41
    margin-right: 5px;
42
}
43

44
/* -- sidebar --------------------------------------------------------------- */
45

46
div.sphinxsidebarwrapper {
47
    padding: 10px 5px 0 10px;
48
}
49

50
div.sphinxsidebar {
51
    float: left;
52
    width: 230px;
53
    margin-left: -100%;
54
    font-size: 90%;
55
}
56

57
div.sphinxsidebar ul {
58
    list-style: none;
59
}
60

61
div.sphinxsidebar ul ul,
62
div.sphinxsidebar ul.want-points {
63
    margin-left: 20px;
64
    list-style: square;
65
}
66

67
div.sphinxsidebar ul ul {
68
    margin-top: 0;
69
    margin-bottom: 0;
70
}
71

72
div.sphinxsidebar form {
73
    margin-top: 10px;
74
}
75

76
div.sphinxsidebar input {
77
    border: 1px solid #98dbcc;
78
    font-family: sans-serif;
79
    font-size: 1em;
80
}
81

82
div.sphinxsidebar #searchbox input[type="text"] {
83
    width: 170px;
84
}
85

86
div.sphinxsidebar #searchbox input[type="submit"] {
87
    width: 30px;
88
}
89

90
img {
91
    border: 0;
92
    max-width: 100%;
93
}
94

95
/* -- search page ----------------------------------------------------------- */
96

97
ul.search {
98
    margin: 10px 0 0 20px;
99
    padding: 0;
100
}
101

102
ul.search li {
103
    padding: 5px 0 5px 20px;
104
    background-image: url(file.png);
105
    background-repeat: no-repeat;
106
    background-position: 0 7px;
107
}
108

109
ul.search li a {
110
    font-weight: bold;
111
}
112

113
ul.search li div.context {
114
    color: #888;
115
    margin: 2px 0 0 30px;
116
    text-align: left;
117
}
118

119
ul.keywordmatches li.goodmatch a {
120
    font-weight: bold;
121
}
122

123
/* -- index page ------------------------------------------------------------ */
124

125
table.contentstable {
126
    width: 90%;
127
}
128

129
table.contentstable p.biglink {
130
    line-height: 150%;
131
}
132

133
a.biglink {
134
    font-size: 1.3em;
135
}
136

137
span.linkdescr {
138
    font-style: italic;
139
    padding-top: 5px;
140
    font-size: 90%;
141
}
142

143
/* -- general index --------------------------------------------------------- */
144

145
table.indextable {
146
    width: 100%;
147
}
148

149
table.indextable td {
150
    text-align: left;
151
    vertical-align: top;
152
}
153

154
table.indextable dl, table.indextable dd {
155
    margin-top: 0;
156
    margin-bottom: 0;
157
}
158

159
table.indextable tr.pcap {
160
    height: 10px;
161
}
162

163
table.indextable tr.cap {
164
    margin-top: 10px;
165
    background-color: #f2f2f2;
166
}
167

168
img.toggler {
169
    margin-right: 3px;
170
    margin-top: 3px;
171
    cursor: pointer;
172
}
173

174
div.modindex-jumpbox {
175
    border-top: 1px solid #ddd;
176
    border-bottom: 1px solid #ddd;
177
    margin: 1em 0 1em 0;
178
    padding: 0.4em;
179
}
180

181
div.genindex-jumpbox {
182
    border-top: 1px solid #ddd;
183
    border-bottom: 1px solid #ddd;
184
    margin: 1em 0 1em 0;
185
    padding: 0.4em;
186
}
187

188
/* -- general body styles --------------------------------------------------- */
189

190
a.headerlink {
191
    visibility: hidden;
192
}
193

194
h1:hover > a.headerlink,
195
h2:hover > a.headerlink,
196
h3:hover > a.headerlink,
197
h4:hover > a.headerlink,
198
h5:hover > a.headerlink,
199
h6:hover > a.headerlink,
200
dt:hover > a.headerlink {
201
    visibility: visible;
202
}
203

204
div.body p.caption {
205
    text-align: inherit;
206
}
207

208
div.body td {
209
    text-align: left;
210
}
211

212
.field-list ul {
213
    padding-left: 1em;
214
}
215

216
.first {
217
    margin-top: 0 !important;
218
}
219

220
p.rubric {
221
    margin-top: 30px;
222
    font-weight: bold;
223
}
224

225
img.align-left, .figure.align-left, object.align-left {
226
    clear: left;
227
    float: left;
228
    margin-right: 1em;
229
}
230

231
img.align-right, .figure.align-right, object.align-right {
232
    clear: right;
233
    float: right;
234
    margin-left: 1em;
235
}
236

237
img.align-center, .figure.align-center, object.align-center {
238
  display: block;
239
  margin-left: auto;
240
  margin-right: auto;
241
}
242

243
.align-left {
244
    text-align: left;
245
}
246

247
.align-center {
248
    text-align: center;
249
}
250

251
.align-right {
252
    text-align: right;
253
}
254

255
/* -- sidebars -------------------------------------------------------------- */
256

257
div.sidebar {
258
    margin: 0 0 0.5em 1em;
259
    border: 1px solid #ddb;
260
    padding: 7px 7px 0 7px;
261
    background-color: #ffe;
262
    width: 40%;
263
    float: right;
264
}
265

266
p.sidebar-title {
267
    font-weight: bold;
268
}
269

270
/* -- topics ---------------------------------------------------------------- */
271

272
div.topic {
273
    border: 1px solid #ccc;
274
    padding: 7px 7px 0 7px;
275
    margin: 10px 0 10px 0;
276
}
277

278
p.topic-title {
279
    font-size: 1.1em;
280
    font-weight: bold;
281
    margin-top: 10px;
282
}
283

284
/* -- admonitions ----------------------------------------------------------- */
285

286
div.admonition {
287
    margin-top: 10px;
288
    margin-bottom: 10px;
289
    padding: 7px;
290
}
291

292
div.admonition dt {
293
    font-weight: bold;
294
}
295

296
div.admonition dl {
297
    margin-bottom: 0;
298
}
299

300
p.admonition-title {
301
    margin: 0px 10px 5px 0px;
302
    font-weight: bold;
303
}
304

305
div.body p.centered {
306
    text-align: center;
307
    margin-top: 25px;
308
}
309

310
/* -- tables ---------------------------------------------------------------- */
311

312
table.docutils {
313
    border: 0;
314
    border-collapse: collapse;
315
}
316

317
table.docutils td, table.docutils th {
318
    padding: 1px 8px 1px 5px;
319
    border-top: 0;
320
    border-left: 0;
321
    border-right: 0;
322
    border-bottom: 1px solid #aaa;
323
}
324

325
table.field-list td, table.field-list th {
326
    border: 0 !important;
327
}
328

329
table.footnote td, table.footnote th {
330
    border: 0 !important;
331
}
332

333
th {
334
    text-align: left;
335
    padding-right: 5px;
336
}
337

338
table.citation {
339
    border-left: solid 1px gray;
340
    margin-left: 1px;
341
}
342

343
table.citation td {
344
    border-bottom: none;
345
}
346

347
/* -- other body styles ----------------------------------------------------- */
348

349
ol.arabic {
350
    list-style: decimal;
351
}
352

353
ol.loweralpha {
354
    list-style: lower-alpha;
355
}
356

357
ol.upperalpha {
358
    list-style: upper-alpha;
359
}
360

361
ol.lowerroman {
362
    list-style: lower-roman;
363
}
364

365
ol.upperroman {
366
    list-style: upper-roman;
367
}
368

369
dl {
370
    margin-bottom: 15px;
371
}
372

373
dd p {
374
    margin-top: 0px;
375
}
376

377
dd ul, dd table {
378
    margin-bottom: 10px;
379
}
380

381
dd {
382
    margin-top: 3px;
383
    margin-bottom: 10px;
384
    margin-left: 30px;
385
}
386

387
dt:target, .highlighted {
388
    background-color: #fbe54e;
389
}
390

391
dl.glossary dt {
392
    font-weight: bold;
393
    font-size: 1.1em;
394
}
395

396
.field-list ul {
397
    margin: 0;
398
    padding-left: 1em;
399
}
400

401
.field-list p {
402
    margin: 0;
403
}
404

405
.optional {
406
    font-size: 1.3em;
407
}
408

409
.versionmodified {
410
    font-style: italic;
411
}
412

413
.system-message {
414
    background-color: #fda;
415
    padding: 5px;
416
    border: 3px solid red;
417
}
418

419
.footnote:target  {
420
    background-color: #ffa;
421
}
422

423
.line-block {
424
    display: block;
425
    margin-top: 1em;
426
    margin-bottom: 1em;
427
}
428

429
.line-block .line-block {
430
    margin-top: 0;
431
    margin-bottom: 0;
432
    margin-left: 1.5em;
433
}
434

435
.guilabel, .menuselection {
436
    font-family: sans-serif;
437
}
438

439
.accelerator {
440
    text-decoration: underline;
441
}
442

443
.classifier {
444
    font-style: oblique;
445
}
446

447
abbr, acronym {
448
    border-bottom: dotted 1px;
449
    cursor: help;
450
}
451

452
/* -- code displays --------------------------------------------------------- */
453

454
pre {
455
    overflow: auto;
456
    overflow-y: hidden;  /* fixes display issues on Chrome browsers */
457
}
458

459
td.linenos pre {
460
    padding: 5px 0px;
461
    border: 0;
462
    background-color: transparent;
463
    color: #aaa;
464
}
465

466
table.highlighttable {
467
    margin-left: 0.5em;
468
}
469

470
table.highlighttable td {
471
    padding: 0 0.5em 0 0.5em;
472
}
473

474
tt.descname {
475
    background-color: transparent;
476
    font-weight: bold;
477
    font-size: 1.2em;
478
}
479

480
tt.descclassname {
481
    background-color: transparent;
482
}
483

484
tt.xref, a tt {
485
    background-color: transparent;
486
    font-weight: bold;
487
}
488

489
h1 tt, h2 tt, h3 tt, h4 tt, h5 tt, h6 tt {
490
    background-color: transparent;
491
}
492

493
.viewcode-link {
494
    float: right;
495
}
496

497
.viewcode-back {
498
    float: right;
499
    font-family: sans-serif;
500
}
501

502
div.viewcode-block:target {
503
    margin: -1px -10px;
504
    padding: 0 10px;
505
}
506

507
/* -- math display ---------------------------------------------------------- */
508

509
img.math {
510
    vertical-align: middle;
511
}
512

513
div.body div.math p {
514
    text-align: center;
515
}
516

517
span.eqno {
518
    float: right;
519
}
520

521
/* -- printout stylesheet --------------------------------------------------- */
522

523
@media print {
524
    div.document,
525
    div.documentwrapper,
526
    div.bodywrapper {
527
        margin: 0 !important;
528
        width: 100%;
529
    }
530

531
    div.sphinxsidebar,
532
    div.related,
533
    div.footer,
534
    #top-link {
535
        display: none;
536
    }
537
}
538