Skip to content

Navigation Menu

Sign in
Appearance settings

Search code, repositories, users, issues, pull requests...

Provide feedback

We read every piece of feedback, and take your input very seriously.

Saved searches

Use saved searches to filter your results more quickly

Appearance settings

Commit 428485e

Browse filesBrowse files
committed
pulled from origin master
2 parents 13361b6 + 0f19442 commit 428485e
Copy full SHA for 428485e
Expand file treeCollapse file tree

15 files changed

+1656
-14
lines changed
Open diff view settings
Binary file not shown.
Collapse file
+99Lines changed: 99 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,99 @@
1+
.book .book-header h1 {
2+
padding-left: 20px;
3+
padding-right: 20px;
4+
}
5+
.book .book-header.fixed {
6+
position: fixed;
7+
right: 0;
8+
top: 0;
9+
left: 0;
10+
border-bottom: 1px solid rgba(0,0,0,.07);
11+
}
12+
span.search-highlight {
13+
background-color: #ffff88;
14+
}
15+
@media (min-width: 600px) {
16+
.book.with-summary .book-header.fixed {
17+
left: 300px;
18+
}
19+
}
20+
@media (max-width: 1240px) {
21+
.book .book-body.fixed {
22+
top: 50px;
23+
}
24+
.book .book-body.fixed .body-inner {
25+
top: auto;
26+
}
27+
}
28+
@media (max-width: 600px) {
29+
.book.with-summary .book-header.fixed {
30+
left: calc(100% - 60px);
31+
min-width: 300px;
32+
}
33+
.book.with-summary .book-body {
34+
transform: none;
35+
left: calc(100% - 60px);
36+
min-width: 300px;
37+
}
38+
.book .book-body.fixed {
39+
top: 0;
40+
}
41+
}
42+
43+
.book .book-body.fixed .body-inner {
44+
top: 50px;
45+
}
46+
.book .book-body .page-wrapper .page-inner section.normal sub, .book .book-body .page-wrapper .page-inner section.normal sup {
47+
font-size: 85%;
48+
}
49+
50+
@media print {
51+
.book .book-summary, .book .book-body .book-header, .fa {
52+
display: none !important;
53+
}
54+
.book .book-body.fixed {
55+
left: 0px;
56+
}
57+
.book .book-body,.book .book-body .body-inner, .book.with-summary {
58+
overflow: visible !important;
59+
}
60+
}
61+
.kable_wrapper {
62+
border-spacing: 20px 0;
63+
border-collapse: separate;
64+
border: none;
65+
margin: auto;
66+
}
67+
.kable_wrapper > tbody > tr > td {
68+
vertical-align: top;
69+
}
70+
.book .book-body .page-wrapper .page-inner section.normal table tr.header {
71+
border-top-width: 2px;
72+
}
73+
.book .book-body .page-wrapper .page-inner section.normal table tr:last-child td {
74+
border-bottom-width: 2px;
75+
}
76+
.book .book-body .page-wrapper .page-inner section.normal table td, .book .book-body .page-wrapper .page-inner section.normal table th {
77+
border-left: none;
78+
border-right: none;
79+
}
80+
.book .book-body .page-wrapper .page-inner section.normal table.kable_wrapper > tbody > tr, .book .book-body .page-wrapper .page-inner section.normal table.kable_wrapper > tbody > tr > td {
81+
border-top: none;
82+
}
83+
.book .book-body .page-wrapper .page-inner section.normal table.kable_wrapper > tbody > tr:last-child > td {
84+
border-bottom: none;
85+
}
86+
87+
div.theorem, div.lemma, div.corollary, div.proposition {
88+
font-style: italic;
89+
}
90+
span.theorem, span.lemma, span.corollary, span.proposition {
91+
font-style: normal;
92+
}
93+
div.proof:after {
94+
content: "\25a2";
95+
float: right;
96+
}
97+
.header-section-number {
98+
padding-right: .5em;
99+
}
Collapse file
+291Lines changed: 291 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,291 @@
1+
/*
2+
* Theme 1
3+
*/
4+
.color-theme-1 .dropdown-menu {
5+
background-color: #111111;
6+
border-color: #7e888b;
7+
}
8+
.color-theme-1 .dropdown-menu .dropdown-caret .caret-inner {
9+
border-bottom: 9px solid #111111;
10+
}
11+
.color-theme-1 .dropdown-menu .buttons {
12+
border-color: #7e888b;
13+
}
14+
.color-theme-1 .dropdown-menu .button {
15+
color: #afa790;
16+
}
17+
.color-theme-1 .dropdown-menu .button:hover {
18+
color: #73553c;
19+
}
20+
/*
21+
* Theme 2
22+
*/
23+
.color-theme-2 .dropdown-menu {
24+
background-color: #2d3143;
25+
border-color: #272a3a;
26+
}
27+
.color-theme-2 .dropdown-menu .dropdown-caret .caret-inner {
28+
border-bottom: 9px solid #2d3143;
29+
}
30+
.color-theme-2 .dropdown-menu .buttons {
31+
border-color: #272a3a;
32+
}
33+
.color-theme-2 .dropdown-menu .button {
34+
color: #62677f;
35+
}
36+
.color-theme-2 .dropdown-menu .button:hover {
37+
color: #f4f4f5;
38+
}
39+
.book .book-header .font-settings .font-enlarge {
40+
line-height: 30px;
41+
font-size: 1.4em;
42+
}
43+
.book .book-header .font-settings .font-reduce {
44+
line-height: 30px;
45+
font-size: 1em;
46+
}
47+
.book.color-theme-1 .book-body {
48+
color: #704214;
49+
background: #f3eacb;
50+
}
51+
.book.color-theme-1 .book-body .page-wrapper .page-inner section {
52+
background: #f3eacb;
53+
}
54+
.book.color-theme-2 .book-body {
55+
color: #bdcadb;
56+
background: #1c1f2b;
57+
}
58+
.book.color-theme-2 .book-body .page-wrapper .page-inner section {
59+
background: #1c1f2b;
60+
}
61+
.book.font-size-0 .book-body .page-inner section {
62+
font-size: 1.2rem;
63+
}
64+
.book.font-size-1 .book-body .page-inner section {
65+
font-size: 1.4rem;
66+
}
67+
.book.font-size-2 .book-body .page-inner section {
68+
font-size: 1.6rem;
69+
}
70+
.book.font-size-3 .book-body .page-inner section {
71+
font-size: 2.2rem;
72+
}
73+
.book.font-size-4 .book-body .page-inner section {
74+
font-size: 4rem;
75+
}
76+
.book.font-family-0 {
77+
font-family: Georgia, serif;
78+
}
79+
.book.font-family-1 {
80+
font-family: "Helvetica Neue", Helvetica, Arial, sans-serif;
81+
}
82+
.book.color-theme-1 .book-body .page-wrapper .page-inner section.normal {
83+
color: #704214;
84+
}
85+
.book.color-theme-1 .book-body .page-wrapper .page-inner section.normal a {
86+
color: inherit;
87+
}
88+
.book.color-theme-1 .book-body .page-wrapper .page-inner section.normal h1,
89+
.book.color-theme-1 .book-body .page-wrapper .page-inner section.normal h2,
90+
.book.color-theme-1 .book-body .page-wrapper .page-inner section.normal h3,
91+
.book.color-theme-1 .book-body .page-wrapper .page-inner section.normal h4,
92+
.book.color-theme-1 .book-body .page-wrapper .page-inner section.normal h5,
93+
.book.color-theme-1 .book-body .page-wrapper .page-inner section.normal h6 {
94+
color: inherit;
95+
}
96+
.book.color-theme-1 .book-body .page-wrapper .page-inner section.normal h1,
97+
.book.color-theme-1 .book-body .page-wrapper .page-inner section.normal h2 {
98+
border-color: inherit;
99+
}
100+
.book.color-theme-1 .book-body .page-wrapper .page-inner section.normal h6 {
101+
color: inherit;
102+
}
103+
.book.color-theme-1 .book-body .page-wrapper .page-inner section.normal hr {
104+
background-color: inherit;
105+
}
106+
.book.color-theme-1 .book-body .page-wrapper .page-inner section.normal blockquote {
107+
border-color: inherit;
108+
}
109+
.book.color-theme-1 .book-body .page-wrapper .page-inner section.normal pre,
110+
.book.color-theme-1 .book-body .page-wrapper .page-inner section.normal code {
111+
background: #fdf6e3;
112+
color: #657b83;
113+
border-color: #f8df9c;
114+
}
115+
.book.color-theme-1 .book-body .page-wrapper .page-inner section.normal .highlight {
116+
background-color: inherit;
117+
}
118+
.book.color-theme-1 .book-body .page-wrapper .page-inner section.normal table th,
119+
.book.color-theme-1 .book-body .page-wrapper .page-inner section.normal table td {
120+
border-color: #f5d06c;
121+
}
122+
.book.color-theme-1 .book-body .page-wrapper .page-inner section.normal table tr {
123+
color: inherit;
124+
background-color: #fdf6e3;
125+
border-color: #444444;
126+
}
127+
.book.color-theme-1 .book-body .page-wrapper .page-inner section.normal table tr:nth-child(2n) {
128+
background-color: #fbeecb;
129+
}
130+
.book.color-theme-2 .book-body .page-wrapper .page-inner section.normal {
131+
color: #bdcadb;
132+
}
133+
.book.color-theme-2 .book-body .page-wrapper .page-inner section.normal a {
134+
color: #3eb1d0;
135+
}
136+
.book.color-theme-2 .book-body .page-wrapper .page-inner section.normal h1,
137+
.book.color-theme-2 .book-body .page-wrapper .page-inner section.normal h2,
138+
.book.color-theme-2 .book-body .page-wrapper .page-inner section.normal h3,
139+
.book.color-theme-2 .book-body .page-wrapper .page-inner section.normal h4,
140+
.book.color-theme-2 .book-body .page-wrapper .page-inner section.normal h5,
141+
.book.color-theme-2 .book-body .page-wrapper .page-inner section.normal h6 {
142+
color: #fffffa;
143+
}
144+
.book.color-theme-2 .book-body .page-wrapper .page-inner section.normal h1,
145+
.book.color-theme-2 .book-body .page-wrapper .page-inner section.normal h2 {
146+
border-color: #373b4e;
147+
}
148+
.book.color-theme-2 .book-body .page-wrapper .page-inner section.normal h6 {
149+
color: #373b4e;
150+
}
151+
.book.color-theme-2 .book-body .page-wrapper .page-inner section.normal hr {
152+
background-color: #373b4e;
153+
}
154+
.book.color-theme-2 .book-body .page-wrapper .page-inner section.normal blockquote {
155+
border-color: #373b4e;
156+
}
157+
.book.color-theme-2 .book-body .page-wrapper .page-inner section.normal pre,
158+
.book.color-theme-2 .book-body .page-wrapper .page-inner section.normal code {
159+
color: #9dbed8;
160+
background: #2d3143;
161+
border-color: #2d3143;
162+
}
163+
.book.color-theme-2 .book-body .page-wrapper .page-inner section.normal .highlight {
164+
background-color: #282a39;
165+
}
166+
.book.color-theme-2 .book-body .page-wrapper .page-inner section.normal table th,
167+
.book.color-theme-2 .book-body .page-wrapper .page-inner section.normal table td {
168+
border-color: #3b3f54;
169+
}
170+
.book.color-theme-2 .book-body .page-wrapper .page-inner section.normal table tr {
171+
color: #b6c2d2;
172+
background-color: #2d3143;
173+
border-color: #3b3f54;
174+
}
175+
.book.color-theme-2 .book-body .page-wrapper .page-inner section.normal table tr:nth-child(2n) {
176+
background-color: #35394b;
177+
}
178+
.book.color-theme-1 .book-header {
179+
color: #afa790;
180+
background: transparent;
181+
}
182+
.book.color-theme-1 .book-header .btn {
183+
color: #afa790;
184+
}
185+
.book.color-theme-1 .book-header .btn:hover {
186+
color: #73553c;
187+
background: none;
188+
}
189+
.book.color-theme-1 .book-header h1 {
190+
color: #704214;
191+
}
192+
.book.color-theme-2 .book-header {
193+
color: #7e888b;
194+
background: transparent;
195+
}
196+
.book.color-theme-2 .book-header .btn {
197+
color: #3b3f54;
198+
}
199+
.book.color-theme-2 .book-header .btn:hover {
200+
color: #fffff5;
201+
background: none;
202+
}
203+
.book.color-theme-2 .book-header h1 {
204+
color: #bdcadb;
205+
}
206+
.book.color-theme-1 .book-body .navigation {
207+
color: #afa790;
208+
}
209+
.book.color-theme-1 .book-body .navigation:hover {
210+
color: #73553c;
211+
}
212+
.book.color-theme-2 .book-body .navigation {
213+
color: #383f52;
214+
}
215+
.book.color-theme-2 .book-body .navigation:hover {
216+
color: #fffff5;
217+
}
218+
/*
219+
* Theme 1
220+
*/
221+
.book.color-theme-1 .book-summary {
222+
color: #afa790;
223+
background: #111111;
224+
border-right: 1px solid rgba(0, 0, 0, 0.07);
225+
}
226+
.book.color-theme-1 .book-summary .book-search {
227+
background: transparent;
228+
}
229+
.book.color-theme-1 .book-summary .book-search input,
230+
.book.color-theme-1 .book-summary .book-search input:focus {
231+
border: 1px solid transparent;
232+
}
233+
.book.color-theme-1 .book-summary ul.summary li.divider {
234+
background: #7e888b;
235+
box-shadow: none;
236+
}
237+
.book.color-theme-1 .book-summary ul.summary li i.fa-check {
238+
color: #33cc33;
239+
}
240+
.book.color-theme-1 .book-summary ul.summary li.done > a {
241+
color: #877f6a;
242+
}
243+
.book.color-theme-1 .book-summary ul.summary li a,
244+
.book.color-theme-1 .book-summary ul.summary li span {
245+
color: #877f6a;
246+
background: transparent;
247+
font-weight: normal;
248+
}
249+
.book.color-theme-1 .book-summary ul.summary li.active > a,
250+
.book.color-theme-1 .book-summary ul.summary li a:hover {
251+
color: #704214;
252+
background: transparent;
253+
font-weight: normal;
254+
}
255+
/*
256+
* Theme 2
257+
*/
258+
.book.color-theme-2 .book-summary {
259+
color: #bcc1d2;
260+
background: #2d3143;
261+
border-right: none;
262+
}
263+
.book.color-theme-2 .book-summary .book-search {
264+
background: transparent;
265+
}
266+
.book.color-theme-2 .book-summary .book-search input,
267+
.book.color-theme-2 .book-summary .book-search input:focus {
268+
border: 1px solid transparent;
269+
}
270+
.book.color-theme-2 .book-summary ul.summary li.divider {
271+
background: #272a3a;
272+
box-shadow: none;
273+
}
274+
.book.color-theme-2 .book-summary ul.summary li i.fa-check {
275+
color: #33cc33;
276+
}
277+
.book.color-theme-2 .book-summary ul.summary li.done > a {
278+
color: #62687f;
279+
}
280+
.book.color-theme-2 .book-summary ul.summary li a,
281+
.book.color-theme-2 .book-summary ul.summary li span {
282+
color: #c1c6d7;
283+
background: transparent;
284+
font-weight: 600;
285+
}
286+
.book.color-theme-2 .book-summary ul.summary li.active > a,
287+
.book.color-theme-2 .book-summary ul.summary li a:hover {
288+
color: #f4f4f5;
289+
background: #252737;
290+
font-weight: 600;
291+
}

0 commit comments

Comments
0 (0)
Morty Proxy This is a proxified and sanitized view of the page, visit original site.