Das Problem ist letztendlich, dass das overflow: scroll; in den Code-Tags vom Android-Browser als overflow: none; interpretiert wird. Ich weiß nicht, ob wir da so einfach was machen können, weil das in einem style-Tag ist. Da bringt es leider nichts, wenn wir die Style Sheets ändern. Ich kann nur als Workaround auf die Druck-Version verweisen.