figure {
    margin: 0px;
}

@media (max-width: 38em) {
    html {
	font-size: 20px;
    }
}

dl.comment.disqus dt {
    color: #9a9a9a;
}

details {
    margin-bottom: 1rem;
}