diff --git a/doc/style.css b/doc/style.css index cf1c6d5aa9542974af1026ad2f5a5b865d98d7c9..a0c63209876f1b2a32cf596d12616c13ed9f7e8a 100644 --- a/doc/style.css +++ b/doc/style.css @@ -132,24 +132,6 @@ div#topbar { height: 64px; } -/* always show topbar for large screens */ -@media screen and (min-width: 130ex) and (min-height: 900px) { - /* 130ex -> wide enough so that title isn't below buttons */ - - div#topbar { - position: fixed; - z-index: 1; - top: 0; - width: 100%; - height: 63px; - border-bottom: 1px solid #B0BBC5; - } - - div#page { - margin-top: 84px; /* 64+20 to match topbar+H1 */ - } -} - body { text-align: center; }