diff --git a/agaric/css/agaric.css b/agaric/css/agaric.css
index cbdcd86..61ff169 100644
--- a/agaric/css/agaric.css
+++ b/agaric/css/agaric.css
@@ -10246,11 +10246,13 @@ hr, .titlebar-bigborder, .media.media-comment, .media.media-comment + .media.med
   .is-fixed #logo .logo-color {
     fill: currentColor; }
   .is-fixed + section,
+  .is-fixed + .floating-tabs,
   .is-fixed + .floating-tabs + #main-content + section,
   .is-fixed + .floating-tabs + #main-content + .node > section:first-child {
     padding-top: 3.3125em; }
     @media screen and (min-width: 1024px) {
       .is-fixed + section,
+      .is-fixed + .floating-tabs,
       .is-fixed + .floating-tabs + #main-content + section,
       .is-fixed + .floating-tabs + #main-content + .node > section:first-child {
         padding-top: 5.875em; } }