Opera9.5のスキンがおかしい。

設定を弄っていると、タブの大きさが変わる。
これを戻すには外観の設定でもう一度スキンを選びなおせばいいのだが、、、。