-
Notifications
You must be signed in to change notification settings - Fork 12
Commit
There are no files selected for viewing
Large diffs are not rendered by default.
Large diffs are not rendered by default.
Large diffs are not rendered by default.
Large diffs are not rendered by default.
Large diffs are not rendered by default.
Large diffs are not rendered by default.
Large diffs are not rendered by default.
Large diffs are not rendered by default.
Large diffs are not rendered by default.
Large diffs are not rendered by default.
Large diffs are not rendered by default.
Large diffs are not rendered by default.
Large diffs are not rendered by default.
Large diffs are not rendered by default.
Large diffs are not rendered by default.
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,2 @@ | ||
/* Styles for section anchors */ | ||
a.anchor-section::before {content: '#';font-size: 80%;} |
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,4 @@ | ||
/* Styles for section anchors */ | ||
a.anchor-section {margin-left: 10px; visibility: hidden; color: inherit;} | ||
.hasAnchor:hover a.anchor-section {visibility: visible;} | ||
ul > li > .anchor-section {display: none;} |
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,11 @@ | ||
document.addEventListener('DOMContentLoaded', function () { | ||
// If section divs is used, we need to put the anchor in the child header | ||
const headers = document.querySelectorAll("div.hasAnchor.section[class*='level'] > :first-child") | ||
|
||
headers.forEach(function (x) { | ||
// Add to the header node | ||
if (!x.classList.contains('hasAnchor')) x.classList.add('hasAnchor') | ||
// Remove from the section or div created by Pandoc | ||
x.parentElement.classList.remove('hasAnchor') | ||
}) | ||
}) |
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,105 @@ | ||
.book .book-header h1 { | ||
padding-left: 20px; | ||
padding-right: 20px; | ||
} | ||
.book .book-header.fixed { | ||
position: fixed; | ||
right: 0; | ||
top: 0; | ||
left: 0; | ||
border-bottom: 1px solid rgba(0,0,0,.07); | ||
} | ||
span.search-highlight { | ||
background-color: #ffff88; | ||
} | ||
@media (min-width: 600px) { | ||
.book.with-summary .book-header.fixed { | ||
left: 300px; | ||
} | ||
} | ||
@media (max-width: 1240px) { | ||
.book .book-body.fixed { | ||
top: 50px; | ||
} | ||
.book .book-body.fixed .body-inner { | ||
top: auto; | ||
} | ||
} | ||
@media (max-width: 600px) { | ||
.book.with-summary .book-header.fixed { | ||
left: calc(100% - 60px); | ||
min-width: 300px; | ||
} | ||
.book.with-summary .book-body { | ||
transform: none; | ||
left: calc(100% - 60px); | ||
min-width: 300px; | ||
} | ||
.book .book-body.fixed { | ||
top: 0; | ||
} | ||
} | ||
|
||
.book .book-body.fixed .body-inner { | ||
top: 50px; | ||
} | ||
.book .book-body .page-wrapper .page-inner section.normal sub, .book .book-body .page-wrapper .page-inner section.normal sup { | ||
font-size: 85%; | ||
} | ||
|
||
@media print { | ||
.book .book-summary, .book .book-body .book-header, .fa { | ||
display: none !important; | ||
} | ||
.book .book-body.fixed { | ||
left: 0px; | ||
} | ||
.book .book-body,.book .book-body .body-inner, .book.with-summary { | ||
overflow: visible !important; | ||
} | ||
} | ||
.kable_wrapper { | ||
border-spacing: 20px 0; | ||
border-collapse: separate; | ||
border: none; | ||
margin: auto; | ||
} | ||
.kable_wrapper > tbody > tr > td { | ||
vertical-align: top; | ||
} | ||
.book .book-body .page-wrapper .page-inner section.normal table tr.header { | ||
border-top-width: 2px; | ||
} | ||
.book .book-body .page-wrapper .page-inner section.normal table tr:last-child td { | ||
border-bottom-width: 2px; | ||
} | ||
.book .book-body .page-wrapper .page-inner section.normal table td, .book .book-body .page-wrapper .page-inner section.normal table th { | ||
border-left: none; | ||
border-right: none; | ||
} | ||
.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 { | ||
border-top: none; | ||
} | ||
.book .book-body .page-wrapper .page-inner section.normal table.kable_wrapper > tbody > tr:last-child > td { | ||
border-bottom: none; | ||
} | ||
|
||
div.theorem, div.lemma, div.corollary, div.proposition, div.conjecture { | ||
font-style: italic; | ||
} | ||
span.theorem, span.lemma, span.corollary, span.proposition, span.conjecture { | ||
font-style: normal; | ||
} | ||
div.proof>*:last-child:after { | ||
content: "\25a2"; | ||
float: right; | ||
} | ||
.header-section-number { | ||
padding-right: .5em; | ||
} | ||
#header .multi-author { | ||
margin: 0.5em 0 -0.5em 0; | ||
} | ||
#header .date { | ||
margin-top: 1.5em; | ||
} |
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,18 @@ | ||
div.sourceCode { | ||
position: relative; | ||
} | ||
|
||
.copy-to-clipboard-button { | ||
position: absolute; | ||
right: 0; | ||
top: 0; | ||
visibility: hidden; | ||
} | ||
|
||
.copy-to-clipboard-button:focus { | ||
outline: 0; | ||
} | ||
|
||
div.sourceCode:hover > .copy-to-clipboard-button { | ||
visibility: visible; | ||
} |