mirror of
https://gitlab.freedesktop.org/gstreamer/gstreamer.git
synced 2025-02-23 14:36:24 +00:00
58939e10ee
Downloading the latest build of GStreamer-rs from its CI job and running a script to embed the rustoc generated documentation into hotdoc based one. Part-of: <https://gitlab.freedesktop.org/gstreamer/gstreamer/-/merge_requests/8317>
31 lines
444 B
CSS
31 lines
444 B
CSS
body.rustdoc {
|
|
padding-top: 50px;
|
|
}
|
|
|
|
/* Revert hotdoc body font size setting */
|
|
:root {
|
|
font-size: 16px;
|
|
}
|
|
|
|
/* Media queries for responsive behavior */
|
|
@media (max-width: 767px) {
|
|
.gst-navbar-toggle {
|
|
display: block;
|
|
}
|
|
}
|
|
|
|
@media (max-width: 701px) {
|
|
.sidebar {
|
|
padding-top: 50px;
|
|
}
|
|
}
|
|
|
|
@media (min-width: 700px) {
|
|
.sidebar {
|
|
position: sticky;
|
|
top: 50px;
|
|
height: calc(100vh - 50px);
|
|
overflow-y: auto;
|
|
}
|
|
}
|
|
|