DPI果然好用啊。

話說不知道從哪次更新之後，notebook的字型就一直很鳥，調到12號字還是有點小，更加上還很醜，因為其實很多相對應的效果都是針對一般預設10號字左右去調的。剛剛才想到，應該是因為DPI差太多的原因吧，於是拿出尺量了一下螢幕的大小，然後在xorg.conf中加入DisplaySize的設定：

Section "Monitor"
    Identifier	"Generic Monitor"
    Option		"DPMS"
    HorizSync	28-49
    VertRefresh	43-72
    DisplaySize	245 185
EndSection

嘿，果然搞定。嚴格說起來，在不同的顯示器底下，理想狀態應該是同一個theme只要調整DPI以後都可以得到相同的視覺效果。Microsoft Windows在一開始就忽略掉DPI的設定，還把它誤導成「調整字型大小」用，實在不是很好的觀念。