How do I change the font for the document map? Right now it takes up too much space on the screen. Thanks.