Skip to content

Commit d0835f6

Browse files
author
Documenter.jl
committed
build based on 6038f79
1 parent 7e8f39a commit d0835f6

File tree

17 files changed

+960
-4
lines changed

17 files changed

+960
-4
lines changed

stable

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1 +1 @@
1-
v1.13.0
1+
v1.13.1

v1

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1 +1 @@
1-
v1.13.0
1+
v1.13.1

v1.13

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1 +1 @@
1-
v1.13.0
1+
v1.13.1

v1.13.1/api.html

Lines changed: 3 additions & 0 deletions
Large diffs are not rendered by default.

v1.13.1/assets/chainrules.css

Lines changed: 78 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,78 @@
1+
/* Links */
2+
3+
a {
4+
color: #4595D1;
5+
}
6+
7+
a:hover, a:focus {
8+
color: #194E82;
9+
}
10+
11+
/* Navigation */
12+
13+
nav.toc ul a:hover,
14+
nav.toc ul.internal a:hover {
15+
color: #FFFFFF;
16+
background-color: #4595D1;
17+
}
18+
19+
nav.toc ul .toctext {
20+
color: #FFFFFF;
21+
}
22+
23+
nav.toc {
24+
box-shadow: none;
25+
color: #FFFFFF;
26+
background-color: #194E82;
27+
}
28+
29+
nav.toc li.current > .toctext {
30+
color: #FFFFFF;
31+
background-color: #4595D1;
32+
border-top-width: 0px;
33+
border-bottom-width: 0px;
34+
}
35+
36+
nav.toc ul.internal a {
37+
color: #194E82;
38+
background-color: #FFFFFF;
39+
}
40+
41+
/* Text */
42+
43+
article#docs a.nav-anchor {
44+
color: #194E82;
45+
}
46+
47+
article#docs blockquote {
48+
font-style: italic;
49+
}
50+
51+
/* Terminology Block */
52+
53+
div.admonition.terminology div.admonition-title:before {
54+
content: "Terminology: ";
55+
font-family: inherit;
56+
font-weight: bold;
57+
}
58+
div.admonition.terminology div.admonition-title {
59+
background-color: #FFEC8B;
60+
}
61+
62+
div.admonition.terminology div.admonition-text {
63+
background-color: #FFFEDD;
64+
}
65+
66+
/* Code */
67+
68+
code .hljs-meta {
69+
color: #4595D1;
70+
}
71+
72+
code .hljs-keyword {
73+
color: #194E82;
74+
}
75+
76+
pre, code {
77+
font-family: "Liberation Mono", "Consolas", "DejaVu Sans Mono", "Ubuntu Mono", "andale mono", "lucida console", monospace;
78+
}

0 commit comments

Comments
 (0)