@import url("https://racket-lang.org/gumby-slice-1-2.css");
.navsettop, .tocset { top: 60px; }
.versionbox { top: 64px; }
.hide_when_on_the_web { display: none; }