これを比較してみると、htmlの "gray" はx11での "darkgray" よりも暗い灰色になっている。