set font size to 12.5px to fix the displaying bug of icon-bookmark-empty in windows