Contact
CoCalc Logo Icon
StoreFeaturesDocsShareSupportNewsAboutSign UpSign In
| Download

Sage Reference Manual

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