Site menu at top of online docs


#1

Sorry, i know you guys are flooded with jobs right now, but just a heads up:  the translucent site menu at the top of the online docs is really awful.  Especially annoying is how it pops down every time you scroll up the page (i'm on Chrome btw).  But even without that, it's just really jarring to have the top 10% of the page with two layers of text fighting each other. 

 


#2

Thanks, will make sure our web-devs are aware of this!