Merge from vscode 1b314ab317fbff7d799b21754326b7d849889ceb

This commit is contained in:
ADS Merger
2020-07-15 23:51:18 +00:00
parent aae013d498
commit 9d3f12d0b7
554 changed files with 15159 additions and 8223 deletions

View File

@@ -11,6 +11,21 @@ html, body {
word-wrap: break-word;
}
body {
padding-top: 1em;
}
/* Reset margin top for elements */
h1, h2, h3, h4, h5, h6,
p, ol, ul, pre {
margin-top: 0;
}
h2, h3, h4, h5, h6 {
font-weight: normal;
margin-bottom: 0.2em;
}
#code-csp-warning {
position: fixed;
top: 0;
@@ -112,6 +127,20 @@ textarea:focus {
outline-offset: -1px;
}
p {
margin-bottom: 1.5em;
}
/* don't space 2 paragraphs too far apart */
p + p {
margin-top: -0.8em;
}
ul,
ol {
margin-bottom: 1.5em;
}
hr {
border: 0;
height: 2px;
@@ -123,9 +152,6 @@ h1 {
line-height: 1.2;
border-bottom-width: 1px;
border-bottom-style: solid;
}
h1, h2, h3 {
font-weight: normal;
}