Gboard の展開 Android キーボードをより適切にカスタマイズするためのサイズ変更