Updated HTML docs

This commit is contained in:
Griatch 2020-06-15 21:52:33 +02:00
parent c62d004150
commit 2909e32ee1
907 changed files with 71133 additions and 187419 deletions

View file

@ -315,9 +315,9 @@ img.align-default, .figure.align-default {
div.sidebar {
margin: 0 0 0.5em 1em;
border: 1px solid #ddb;
padding: 7px 7px 0 7px;
background-color: #ffe;
border: 1px solid #787878;
padding: 5px 7px 7px 15px;
background-color: #f5fdff;
width: 40%;
float: right;
}
@ -649,6 +649,7 @@ td.linenos pre {
border: 0;
background-color: transparent;
color: #aaa;
-webkit-box-shadow: 0px 0px 0px #fff;
}
table.highlighttable {
@ -656,7 +657,7 @@ table.highlighttable {
}
table.highlighttable td {
padding: 0 0.5em 0 0.5em;
/* padding: 0 0.5em 0 0.5em; */
}
div.code-block-caption {
@ -765,4 +766,4 @@ div.math:hover a.headerlink {
#top-link {
display: none;
}
}
}