update docs

This commit is contained in:
2019-05-19 21:31:06 +02:00
parent 019c8cb13a
commit 184e80269b
22 changed files with 1038 additions and 17 deletions

View File

@@ -187,7 +187,7 @@ a {
}
a:hover {
color: #cc3333;
color: #ce537a;
text-decoration: underline;
}
@@ -476,7 +476,7 @@ a.image-reference, a.image-reference:hover {
}
a.reference:hover {
border-bottom: 1px solid #cc3333;
border-bottom: 1px solid #ce537a;
}
a.footnote-reference {
@@ -487,7 +487,7 @@ a.footnote-reference {
}
a.footnote-reference:hover {
border-bottom: 1px solid #cc3333;
border-bottom: 1px solid #ce537a;
}
a:hover tt, a:hover code {