/* the front page with no scripting: the source document, on one measure */
.rl-doc { width: min(690px, 92vw); margin: 0 auto; padding: 26px 0 80px; }
.rl-doc > .rl-src + .rl-src { margin-top: 26px; }