docs
                                
                                 docs copied to clipboard
                                
                                    docs copied to clipboard
                            
                            
                            
                        Sticky header
It would be easier for users to navigate through site. also, it would be great if the header is transparent.
Are you referring to the header of the project's site (https://prometheus.io) or the header of the Prometheus server's web UI (https://demo.do.prometheus.io)?
The header of the web UI is already sticky.
Yeah I am taking about https://prometheus.io
That would fall under prometheus/docs. This repository only contains some of the actual documentation.
I personally think the header is fine as it is now given that most of the navigation you'd want to do is through the side menu, but cc @juliusv for an official opinion.
Alright! .
Alright, read some articles like https://wisdmlabs.com/blog/sticky-navigation-trend/ and I think it can be a good idea (but also is a matter of taste), but it would be especially useful for the actual sidenav menu in the docs under https://prometheus.io/docs/. I like the way Kubernetes does both the side menu and the top header: https://kubernetes.io/docs/tutorials/stateless-application/expose-external-ip-address/. So if someone wants to implement that on prometheus.io, I think that could be interesting to try out.