Texinfoで生成するHTMLのスタイルを修正