/* Estimated reading time line (injected below h1.page by reading-time.js) */

.doc .reading-time {
  margin: -0.25rem 0 1rem;
  font-size: 0.88889rem;
  color: #666;
}