Make TOC a bit more spacey on Android build