GoogleDocsのDocumentの番号付きリストの番号部分のフォントを変更する方法

GoogleDocsのDocumentで、文字のフォントはメニューから変更できるものの、番号付きリストの番号部分のフォントが変更できない。

なので、「編集」の、「CSSを編集」から、
ol {
font-size:8pt;
}
などで、直接変更する。