>>888
>>894
872です。平常時15センチです。職場のトイレ以外に公衆トイレでもたまに底面に接触することがあります。13センチの方が大丈夫なら、困っているのは、かなり少数派かもしれないですね。苦情を言っても共感を得られなさそうですね…。