Update docs/ theme
Attempt to improve storing of markup in Android resources

This seems to be quite tricky as we need to guess what was intended at
this point.