@import url("http://racket-lang.org/gumby-slice.css");
.navsettop, .tocset { top: 60px; }
.versionbox { top: 64px; }