Вёрстка, CSS, Windows Mobile 5.0. Размер шрифта в IE и Opera Mobile

Корплю над стилями PDA-версии некоего весёлого сайта. Вижу, что IE Win Mobile и Opera Mobile имеют различия в отображении одного и того же кода:

body {
font: 100% Verdana, Arial,sans-serif;
color: #000;
background: #fff;
}

Шрифт в Opera Mobile выглядит 2 раза крупнее, нежели в IE. Оба браузера с настройками по умолчанию. Под катом рабочее решение. Не наступайте на грабли, друзья.


Фильтрую очень просто:

/* opera mobile */
html > body {
font-size: 50%;
}

Поскольку Opera Mobile понимает этот синтаксис, то у всех тегов body уменьшает размер шрифта наполовину.

Кстати, запись вида
body[class] {
font-size: 50%;
}
в качестве фильтра не подходит — IE вполне себе понимает :-)