Developer docs much improved on mobile devices

Yes, you're right, our developer docs had a few issues on mobile. We're happy to say that, finally, that is a problem no more. Happy mobile browsing, everyone!