On 07/16/2013 12:11 PM, Sven Barth wrote: > Ehm... you do know that the Android GUI is not based on any HTML? It's > a Java based system... While I learned this only after I phrased this message, OTOH HTML5 also is a Java based system and thus the thought might not be _completely_ wrong. -Michael