[UX] Add ToC/Bookmarks settings

- Menu widget: allow specifying the number of items per
  page and the item font size, so we can use other values
  than the default File browser ones
- Menu: fix setDirty when a border is used
- ToC: add item per page and font size settings, make
  Alternative ToC more visible (was previously
  available on long-press on Table of contents)
- Bookmarks: add item per page, font size, size reduction
- Progress bars (Skim widget and footer): allow selecting
  ToC depths from which ticks are made.

frontend/ui/elements/reader_menu_order.lua

@@ -15,6 +15,8 @@ local order = {
         "bookmarks",
         "toggle_bookmark",
         "bookmark_browsing_mode",
+        "navi_settings",
+        "----------------------------",
         "page_map",
         "hide_nonlinear_flows",
         "----------------------------",
@@ -24,6 +26,18 @@ local order = {
         "----------------------------",
         "go_to_previous_location",
     },
+    navi_settings = {
+        "toc_alt_toc",
+        "----------------------------",
+        "toc_ticks_level_ignore",
+        "----------------------------",
+        "toc_items_per_page",
+        "toc_items_font_size",
+        "----------------------------",
+        "bookmarks_items_per_page",
+        "bookmarks_items_font_size",
+        "bookmarks_items_show_more_text",
+    },
     typeset = {
         "set_render_style",
         "style_tweaks",