Hotlist パネルの文字の大きさ

Hotlist パネルの表題の文字の大きさは、Opera 本体からでは変更が出来ない。Profile\toolbar\ 以下にある toolbar.ini を直に編集する必要がある。news の opera.general に Rijk が投じた記事を紹介しておく。
toolbar.ini 中から [Hotlist Panel Header.content] を探し出し、その項目中、一行目にある Button, , 160= （以下設定により異なる） の 160 という初期値を変更する。数値を小さくすれば、表題の文字も小さくなる。
以下の画像は値を 120 にした際のもの。赤い下線で示してある箇所が変更された文字。

もちろんこれだけで満足はしない。toolbar.ini を探すと、他に 160 が指定されている箇所がもう一つあった。[Mail Header Toolbar.content] である。こちらは 140 に変更してみた絵を貼っておく。