diff --git a/public/docs.html b/public/docs.html
index 6840907..14fd124 100644
--- a/public/docs.html
+++ b/public/docs.html
@@ -18,6 +18,9 @@
.os-panel[hidden] { display: none; }
.copy-wrap { position: relative; }
.copy-wrap button { position: absolute; top: 8px; right: 8px; }
+ /* The button floats over the block, so keep the long one-liners from
+ scrolling underneath it. */
+ .copy-wrap pre.code { padding-right: 76px; }