Font size for page dashes

epicyon-profile.css

@@ -44,6 +44,8 @@
     --border-color: #505050;
     --border-width: 2px;
     --border-width-header: 2px;
+    --font-page-dash-tiny: 8px;
+    --font-page-dash-mobile: 12px;
     --font-size-header: 18px;
     --font-size-header-mobile: 32px;
     --font-size-header-tiny: 13px;
@@ -1850,6 +1852,8 @@ h3 {
     }
     .pageslist mark {
     }
+    .pageslistDash {
+    }
     .voteresult {
         width: var(--voteresult-width);
         height: var(--voteresult-height);
@@ -2642,6 +2646,9 @@ h3 {
     }
     .pageslist mark {
     }
+    .pageslistDash {
+        font-size: var(--font-page-dash-mobile);
+    }
     .voteresult {
         width: var(--voteresult-width-mobile);
         height: var(--voteresult-height-mobile);
@@ -3430,6 +3437,9 @@ h3 {
     }
     .pageslist mark {
     }
+    .pageslistDash {
+        font-size: var(--font-page-dash-tiny);
+    }
     .voteresult {
         width: var(--voteresult-width-tiny);
         height: var(--voteresult-height-tiny);

theme/default/theme.json

@@ -21,6 +21,8 @@
     "cw-style": "normal",
     "cw-weight": "bold",
     "column-right-fg-color-voted-on": "red",
+    "font-page-dash-tiny": "8px",
+    "font-page-dash-mobile": "12px",
     "font-size-header": "18px",
     "font-size-header-mobile": "32px",
     "font-size-header-tiny": "16px",

webapp_timeline.py

@@ -439,7 +439,9 @@ def _page_number_buttons(users_path: str, box_name: str,
     num_str = ''
     for page in range(min_page_number, max_page_number):
         if num_str:
-            num_str += html_hide_from_screen_reader('────')
+            separator_str = \
+                '<label class="pageslistDash">────</label>'
+            num_str += html_hide_from_screen_reader(separator_str)
         aria_page_str = ''
         page_str = ' ' + str(page) + ' '
         curr_page_str = ''