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
 * Sage stylesheet theme. This stylesheet is heavily borrowed from the
3
 * Sphinx stylesheet default theme distributed as the file
4
 * themes/default/static/default.css_t in Sphinx 0.6.3.
5
 */
6

7
@import url("basic.css");
8

9
/* -- page layout ----------------------------------------------------------- */
10

11
body {
12
    font-family: sans-serif;
13
    font-size: 100%;
14
    background-color: #B8B9F6;
15
    color: #000;
16
    margin: 0;
17
    padding: 0;
18
}
19

20
div.document {
21
    background-color: #EAEAF8;
22
}
23

24
div.documentwrapper {
25
    float: left;
26
    width: 100%;
27
}
28

29
div.bodywrapper {
30
    margin: 0 0 0 230px;
31
}
32

33
div.body {
34
    background-color: #ffffff;
35
    color: #000000;
36
    padding: 0 20px 30px 20px;
37
}
38

39
div.footer {
40
    color: #000000;
41
    width: 100%;
42
    padding: 9px 0 9px 0;
43
    text-align: center;
44
    font-size: 75%;
45
}
46

47
div.footer a {
48
    color: #000000;
49
    text-decoration: underline;
50
}
51

52
div.related {
53
    background-color: #B8B9F6;
54
    line-height: 30px;
55
    color: #000000;
56
}
57

58
div.related a {
59
    color: #090999;
60
}
61

62
div.sphinxsidebar {
63
}
64

65
div.sphinxsidebar h3 {
66
    font-family: 'Trebuchet MS', sans-serif;
67
    color: #000000;
68
    font-size: 1.4em;
69
    font-weight: normal;
70
    margin: 0;
71
    padding: 0;
72
}
73

74
div.sphinxsidebar h3 a {
75
    color: #000000;
76
}
77

78
div.sphinxsidebar h4 {
79
    font-family: 'Trebuchet MS', sans-serif;
80
    color: #000000;
81
    font-size: 1.3em;
82
    font-weight: normal;
83
    margin: 5px 0 0 0;
84
    padding: 0;
85
}
86

87
div.sphinxsidebar p {
88
    color: #000000;
89
}
90

91
div.sphinxsidebar p.topless {
92
    margin: 5px 10px 10px 10px;
93
}
94

95
div.sphinxsidebar ul {
96
    margin: 10px;
97
    padding: 0;
98
    color: #000000;
99
}
100

101
div.sphinxsidebar a {
102
    color: #090999;
103
}
104

105
div.sphinxsidebar input {
106
    border: 1px solid #090999;
107
    font-family: sans-serif;
108
    font-size: 1em;
109
}
110

111
/* -- body styles ----------------------------------------------------------- */
112

113
a {
114
    color: #45529B;
115
    text-decoration: none;
116
}
117

118
a:hover {
119
    text-decoration: underline;
120
}
121

122
div.body p, div.body dd, div.body li {
123
    text-align: justify;
124
    line-height: 130%;
125
}
126

127
div.body h1,
128
div.body h2,
129
div.body h3,
130
div.body h4,
131
div.body h5,
132
div.body h6 {
133
    font-family: 'Trebuchet MS', sans-serif;
134
    background-color: #EAEAF8;
135
    font-weight: normal;
136
    color: #20435c;
137
    border-bottom: 1px solid #ccc;
138
    margin: 20px -20px 10px -20px;
139
    padding: 3px 0 3px 10px;
140
}
141

142
div.body h1 { margin-top: 0; font-size: 200%; }
143
div.body h2 { font-size: 160%; }
144
div.body h3 { font-size: 140%; }
145
div.body h4 { font-size: 120%; }
146
div.body h5 { font-size: 110%; }
147
div.body h6 { font-size: 100%; }
148

149
a.headerlink {
150
    color: #c60f0f;
151
    font-size: 0.8em;
152
    padding: 0 4px 0 4px;
153
    text-decoration: none;
154
}
155

156
a.headerlink:hover {
157
    background-color: #c60f0f;
158
    color: white;
159
}
160

161
div.body p, div.body dd, div.body li {
162
    text-align: justify;
163
    line-height: 130%;
164
}
165

166
div.admonition p.admonition-title + p {
167
    display: inline;
168
}
169

170
div.note {
171
    background-color: #eee;
172
    border: 1px solid #ccc;
173
}
174

175
div.admonition-todo {
176
    background-color: #eee;
177
    border: 1px solid #ccc;
178
}
179

180
div.seealso {
181
    background-color: #ffc;
182
    border: 1px solid #ff6;
183
}
184

185
div.topic {
186
    background-color: #eee;
187
}
188

189
div.warning {
190
    background-color: #ffe4e4;
191
    border: 1px solid #f66;
192
}
193

194
div.hint {
195
    background-color: #D8F6CE;
196
    border: 1px solid #31B404;
197
}
198

199
p.admonition-title {
200
    display: inline;
201
}
202

203
p.admonition-title:after {
204
    content: ":";
205
}
206

207
/**
208
 * Code block.
209
 * The border colour should be a darker shade of the background colour.
210
 * The hex code #E8D898 used below is a pale, light grayish amber.
211
 */
212
pre {
213
    padding: 5px;
214
    background-color: #FFFFE5;
215
    color: #333333;
216
    line-height: 120%;
217
    border: 1px solid #E8D898;
218
    border-left: none;
219
    border-right: none;
220
}
221

222
/**
223
 * Commands or code within text. The hex code #EAEAF8 used below is a
224
 * pale, light grayish blue.
225
 */
226
tt {
227
    background-color: #EAEAF8;
228
    padding: 0 1px 0 1px;
229
    font-size: 0.95em;
230
}
231