Merge branch 'master' into delayed-disqus

This commit is contained in:
Michael Romero 2018-10-26 00:53:23 -07:00 committed by GitHub
commit 934131263b
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
25 changed files with 726 additions and 19 deletions

View file

@ -765,4 +765,9 @@ div.splitbox div.right {
color: #FFF;
background: #0085a1;
border: 1px solid #0085a1;
/* Related posts */
h4.see-also {
margin-top: 20px
}