Opera 7.2

むむ、Opera の 7.11 と 7.2 でまた CSS の解釈が変わっているっぽい。うちの本家サイトの最新の日記を 7.20 で見ると、ウィンドウ右端にあるボーダーの高さ（長さ）が違うのがわかる。 Mozilla だとちゃんと表示されているので、 CSS の書き方が悪いとは思いたくないのだけれど、要調査かな。