Android開発者向けドキュメントには、非常に大きなヘッダーがあります。Chromiumでフォントサイズを大きくすると、ヘッダーが不快になります（全体が拡大縮小されるため）。
ヘッダーのサイズを小さくするUserScriptを見つけました。Firefoxで動作しますが、Chromium（UserScriptをある程度サポートしています）を使用しています。Chromiumでは、スクリプトはヘッダーの高さを正常に削減しますが、本文は拡張しません。（画面の下部に大きな空白の領域があります。）
スクリプトをChromiumで部分的に機能させるために、2つの変更を加えました。@ includeを@matchに変更し、@requiredjavascriptをスクリプトに挿入します。Chromiumデバッガーでは、最後のif（サイズ変更を行う）はスキップされます。
スクリプトでコンテンツの高さを設定してみました（ifの後）：
$('#doc-content').height('auto');
それは正しいように見えますが、現在はスクロールバーがありません。オーバーフローを追加しても役に立ちませんでした：
$('#doc-content').overflow('scroll');
私は自分が何をしているのかよくわかりませんが（jsとjqueryは初めてです）、ヘッダーを縮小したときにAndroidドキュメントの本文が空のスペースを埋めない理由を他の誰かが理解してくれることを願っています。