From fe391a1026d147445dadd49ffd92b6f017e07ded Mon Sep 17 00:00:00 2001
From: Dan Stillman <dstillman@zotero.org>
Date: Mon, 3 Oct 2022 06:47:04 -0400
Subject: [PATCH] Add 15 and 16 as note font size options in menu

https://forums.zotero.org/discussion/100079/notebook-fonts
---
 chrome/content/zotero/zoteroPane.xhtml | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/chrome/content/zotero/zoteroPane.xhtml b/chrome/content/zotero/zoteroPane.xhtml
index 8450bcdb3a..611bad2895 100644
--- a/chrome/content/zotero/zoteroPane.xhtml
+++ b/chrome/content/zotero/zoteroPane.xhtml
@@ -461,6 +461,8 @@
 									<menuitem label="12" type="checkbox"/>
 									<menuitem label="13" type="checkbox"/>
 									<menuitem label="14" type="checkbox"/>
+									<menuitem label="15" type="checkbox"/>
+									<menuitem label="16" type="checkbox"/>
 									<menuitem label="18" type="checkbox"/>
 									<menuitem label="24" type="checkbox"/>
 									<menuitem label="36" type="checkbox"/>