Mobile friendly document page


The current doc page is quite mobile unfriendly. The navigation header occupy a significantly area at the top. (and it’s even worse in landscape mode) You can test without a mobile browser simply by resizing desktop browser windows to a “narrow” portrait size. Could someone fix it?


We plan on fixing the navigation, so it will not take up too much space.