У меня было такое же разочарование, но если подумать, какое значение следует использовать? Я знаю, что в своем посте вы говорите, что CSS использует «более детализированное значение», но в конечном итоге все сводится к пикселям, и в результате просто выбирается между двумя значениями пикселей. Стандарт CSS решил сделать это одним способом, Android выбрал другой, я не думаю, что любой из этих подходов неправильный, они просто разные.