Contact
CoCalc Logo Icon
StoreFeaturesDocsShareSupportNewsAboutSign UpSign In
| Download

Sage Reference Manual

Project: SageManifolds
Views: 697181
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