Version 0.25.2

March 5, 2020

  • Fix links in empty submenu widget titles.
  • Fix margin on top-level lists.